@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:Q377276 rdfs:label "مبرهنة كوك وليفين"@ar,
        "teorema de Cook-Levin"@ca,
        "Satz von Cook"@de,
        "Θεώρημα Κουκ-Λέβιν"@el,
        "Cook–Levin theorem"@en,
        "teoremo de Cook-Levin"@eo,
        "teorema de Cook"@es,
        "قضیه کوک لوین"@fa,
        "théorème de Cook"@fr,
        "משפט קוק-לוין"@he,
        "Teorema Cook"@id,
        "teorema di Cook-Levin"@it,
        "クックの定理"@ja,
        "쿡-레빈 정리"@ko,
        "Cook–Levin theorem"@nl,
        "Twierdzenie Cooka"@pl,
        "Teorema de Cook-Levin"@pt,
        "teorema Cook–Levin"@ro,
        "Теорема Кука — Левина"@ru,
        "Cook-Levinov teorem"@sh,
        "Кук-Левинова теорема"@sr,
        "Cook-Levin teoremi"@tr,
        "Теорема Кука — Левіна"@uk,
        "Cook-Levin理論"@zh ;
    schema1:dateModified "2024-11-11T16:59:33+00:00"^^xsd:dateTime ;
    schema1:description "mathematischer Satz"@de,
        "theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist"@en,
        "théorème en informatique théorique"@fr,
        "teorema che afferma che il problema di soddisfacibilità booleana è NP-completo"@it ;
    schema1:version 2273321304 ;
    wikibase:identifiers 3 ;
    wikibase:sitelinks 21 ;
    wikibase:statements 11 ;
    skos:altLabel "Satz von Cook und Levin"@de,
        "Cook's theorem"@en,
        "teorema de Cook-Levin"@es,
        "théorème de Cook-Levin"@fr,
        "teorema di Cook"@it,
        "クック-レビンの定理"@ja,
        "クック–レビンの定理"@ja,
        "Cookov teorem"@sh,
        "證明"@zh ;
    p:P1136 wds:Q377276-08c05c34-4837-c807-9d3d-e413e5b6254e ;
    p:P138 wds:Q377276-6c9a9e62-4254-1443-f895-23cef6baf399,
        wds:Q377276-a423fe2f-4869-c231-5116-097bcb37437b ;
    p:P2579 wds:Q377276-d710ac25-4784-dfad-4870-be866463244a ;
    p:P31 wds:Q377276-e7448f94-4b38-da37-21e7-265fec738745 ;
    p:P361 wds:Q377276-2DB677D8-96B4-4003-AA97-CA42C7BEB7FC ;
    p:P373 wds:Q377276-4f2e5fbc-a0bd-4d9e-850e-709d59f4e0fc ;
    p:P5106 wds:Q377276-108DE2FA-D223-4489-99F3-76CF143FDA02 ;
    p:P6104 wds:Q377276-20F5EB4A-5ACB-4F57-A01F-E5A15B447C2F ;
    p:P6366 wds:Q377276-79E73FB6-8ABB-492D-870A-EB9FAC4445D6 ;
    p:P646 wds:Q377276-DF737E08-AB06-409E-8B6B-C2EB2D12929A ;
    wdtn:P6366 <https://makg.org/entity/206602144> ;
    wdt:P1136 wd:Q92966 ;
    wdt:P138 wd:Q62870,
        wd:Q92966 ;
    wdt:P2579 wd:Q205084 ;
    wdt:P31 wd:Q65943 ;
    wdt:P361 wd:Q944443 ;
    wdt:P373 "Cook-Levin theorem" ;
    wdt:P5106 "cookstheorem" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "206602144" ;
    wdt:P646 "/m/030tgp" .