@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q1350285 rdfs:label "Erfüllbarkeitsproblem für quantifizierte boolesche Formeln"@de,
        "true quantified Boolean formula"@en,
        "fórmula booleana cuantificada verdadera"@es,
        "formule booléenne quantifiée"@fr,
        "TQBF"@he,
        "formula booleana quantificata"@it,
        "TQBF問題"@ja,
        "Fórmula booleana totalmente quantificada"@pt,
        "prava kvantificirana Boolova formula"@sl,
        "TQBF Problemi"@tr ;
    schema1:dateModified "2025-02-06T08:32:39+00:00"^^xsd:dateTime ;
    schema1:description "problem of deciding the satisfiability of a true quantified Boolean formula"@en ;
    schema1:version 2307704992 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 9 ;
    wikibase:statements 5 ;
    skos:altLabel "QBF"@de,
        "QSAT"@de,
        "Quantifizierte boolesche Formel"@de,
        "TQBF"@de,
        "QSAT"@en,
        "Quantified SAT"@en,
        "TQBF"@en,
        "formula booleana cuantificada verdadera"@es,
        "problema de la formula booleana cuantificada"@es,
        "problema de la fórmula booleana cuantificada"@es,
        "QBF"@it ;
    p:P10283 wds:Q1350285-F485471D-3631-4897-901D-6FBFFE9FAAA0 ;
    p:P31 wds:Q1350285-4D2DFBE9-DF5F-4097-A4A6-F50B1E714C36,
        wds:Q1350285-CD0D82DD-2320-4CB5-B057-3B982B283A0F ;
    p:P6366 wds:Q1350285-35BDB346-3F7A-416C-A381-672F2404D31E ;
    p:P646 wds:Q1350285-ACFC0986-FD67-4FB6-BA13-2816ACF771DD ;
    wdtn:P6366 <https://makg.org/entity/200415742> ;
    wdt:P10283 "C200415742" ;
    wdt:P31 wd:Q1350299,
        wd:Q3262192 ;
    wdt:P6366 "200415742" ;
    wdt:P646 "/m/088ksf" .