@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:Q339688 rdfs:label "3-سات"@ar,
        "3-SAT"@de,
        "3-satisfiability problem"@en,
        "Bulea 3-plenumebloproblemo"@eo,
        "3-SAT vers clique"@fr,
        "3-satisfiability"@it,
        "3-SAT"@mul,
        "3-SAT"@ru,
        "problem 3-SAT"@sl ;
    schema1:dateModified "2025-06-16T20:28:50+00:00"^^xsd:dateTime ;
    schema1:description "formales Entscheidungsproblem in der Prädikatenlogik"@de,
        "special case of the Boolean satisfiablility problem in conjunctive normal form where each clause has ≤3 literals"@en,
        "problème algorithmique"@fr,
        "problema computazionale"@it ;
    schema1:version 2362207281 ;
    wikibase:identifiers 2 ;
    wikibase:sitelinks 6 ;
    wikibase:statements 9 ;
    skos:altLabel "3SAT"@ar,
        "3سات"@ar,
        "٣-سات"@ar,
        "٣SAT"@ar,
        "٣سات"@ar,
        "3KNF-SAT"@de,
        "3-SAT"@en,
        "3-satisfiability"@en,
        "3CNFSAT"@en,
        "3SAT"@en,
        "3 sat vers clique"@fr,
        "3-SAT"@fr,
        "Problème 3-SAT"@fr,
        "Problème 3SAT"@fr,
        "3-SAT"@it,
        "3SAT"@ru ;
    p:P10374 wds:Q339688-1B5CA275-26C7-4E88-91CD-D84A74C03C40 ;
    p:P1482 wds:Q339688-7567df91-4a71-3e63-2b70-3bb5e152aedc,
        wds:Q339688-f45449db-431e-d16c-fb11-c1d4c9a0cdd1 ;
    p:P18 wds:Q339688-bd217642-4d53-fe0d-b1f6-b0d39a6c186a ;
    p:P2671 wds:Q339688-00FD1597-3E0D-426A-A7AD-45153F3716E7 ;
    p:P31 wds:Q339688-5C697390-1761-4C7A-8BC7-A5992D91B535,
        wds:Q339688-9ff60df8-4f75-cd12-14c9-3fdc07a476d2 ;
    p:P361 wds:Q339688-32a8ee93-431e-cd3d-d97c-69807d3de742 ;
    p:P6564 wds:Q339688-cc0bacd7-4d83-a5ba-9403-f20a793e4d32 ;
    wdtn:P2671 <http://g.co/kg/g/1229kf2b> ;
    wdt:P10374 wd:Q215206 ;
    wdt:P1482 <https://cs.stackexchange.com/tags/3-sat>,
        <https://quantumcomputing.stackexchange.com/tags/3sat-problem> ;
    wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Sat%20reduced%20to%20Clique%20from%20Sipser.svg> ;
    wdt:P2671 "/g/1229kf2b" ;
    wdt:P31 wd:Q215206,
        wd:Q3435924 ;
    wdt:P361 wd:Q1734364 ;
    wdt:P6564 "3sat" .