{
  "http://en.wikipedia.org/wiki/Cook\u2013Levin_theorem" : { "http://xmlns.com/foaf/0.1/primaryTopic" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Symposium_on_Theory_of_Computing" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Science_and_technology_in_Ukraine" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Leonid_Levin" : { "https://dbpedia.org/property/knownFor" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/NP-completeness" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cook-Levin_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Descriptive_Complexity" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Circuit_satisfiability_problem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/True_quantified_Boolean_formula" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Non-interactive_zero-knowledge_proof" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/List_of_multiple_discoveries" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Complexity_and_Real_Computation" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/SAT_solver" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/PCP_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Stephen_Cook" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Turing_machine_equivalents" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Stephen_Cook__Stephen_Cook__1" : { "https://dbpedia.org/ontology/knownFor" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/P_versus_NP_problem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Clique_problem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Boolean_satisfiability_problem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Computational_complexity_theory" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cook\u2013Levin_theorem" : { "http://www.w3.org/2002/07/owl#sameAs" : [ { "type" : "uri", "value" : "http://ru.dbpedia.org/resource/\u0422\u0435\u043E\u0440\u0435\u043C\u0430_\u041A\u0443\u043A\u0430_\u2014_\u041B\u0435\u0432\u0438\u043D\u0430" } ,
      { "type" : "uri", "value" : "http://he.dbpedia.org/resource/\u05DE\u05E9\u05E4\u05D8_\u05E7\u05D5\u05E7-\u05DC\u05D5\u05D9\u05DF" } ,
      { "type" : "uri", "value" : "http://fa.dbpedia.org/resource/\u0642\u0636\u06CC\u0647_\u06A9\u0648\u06A9\u2013\u0644\u0648\u06CC\u0646" } ,
      { "type" : "uri", "value" : "http://de.dbpedia.org/resource/Satz_von_Cook" } ,
      { "type" : "uri", "value" : "http://pt.dbpedia.org/resource/Teorema_de_Cook-Levin" } ,
      { "type" : "uri", "value" : "http://fr.dbpedia.org/resource/Th\u00E9or\u00E8me_de_Cook" } ,
      { "type" : "uri", "value" : "http://el.dbpedia.org/resource/\u0398\u03B5\u03CE\u03C1\u03B7\u03BC\u03B1_\u039A\u03BF\u03C5\u03BA-\u039B\u03AD\u03B2\u03B9\u03BD" } ,
      { "type" : "uri", "value" : "http://rdf.freebase.com/ns/m.030tgp" } ,
      { "type" : "uri", "value" : "http://sh.dbpedia.org/resource/Cook-Levinova_teorema" } ,
      { "type" : "uri", "value" : "http://www.wikidata.org/entity/Q377276" } ,
      { "type" : "uri", "value" : "http://simple.dbpedia.org/resource/Cook\u2013Levin_theorem" } ,
      { "type" : "uri", "value" : "http://ar.dbpedia.org/resource/\u0645\u0628\u0631\u0647\u0646\u0629_\u0643\u0648\u0643_\u0648\u0644\u064A\u0641\u064A\u0646" } ,
      { "type" : "uri", "value" : "http://zh.dbpedia.org/resource/Cook-Levin\u7406\u8AD6" } ,
      { "type" : "uri", "value" : "http://id.dbpedia.org/resource/Teorema_Cook" } ,
      { "type" : "uri", "value" : "http://es.dbpedia.org/resource/Teorema_de_Cook" } ,
      { "type" : "uri", "value" : "http://uk.dbpedia.org/resource/\u0422\u0435\u043E\u0440\u0435\u043C\u0430_\u041A\u0443\u043A\u0430_\u2014_\u041B\u0435\u0432\u0456\u043D\u0430" } ,
      { "type" : "uri", "value" : "http://sr.dbpedia.org/resource/\u041A\u0443\u043A-\u041B\u0435\u0432\u0438\u043D\u043E\u0432\u0430_\u0442\u0435\u043E\u0440\u0435\u043C\u0430" } ,
      { "type" : "uri", "value" : "http://it.dbpedia.org/resource/Teorema_di_Cook-Levin" } ,
      { "type" : "uri", "value" : "https://global.dbpedia.org/id/3VFgR" } ,
      { "type" : "uri", "value" : "http://pl.dbpedia.org/resource/Twierdzenie_Cooka" } ,
      { "type" : "uri", "value" : "http://ko.dbpedia.org/resource/\uCFE1-\uB808\uBE48_\uC815\uB9AC" } ,
      { "type" : "uri", "value" : "http://tr.dbpedia.org/resource/Cook-Levin_teoremi" } ,
      { "type" : "uri", "value" : "http://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "http://www.w3.org/2000/01/rdf-schema#label" : [ { "type" : "literal", "value" : "Teorema di Cook-Levin" , "lang" : "it" } ,
      { "type" : "literal", "value" : "\u0422\u0435\u043E\u0440\u0435\u043C\u0430 \u041A\u0443\u043A\u0430 \u2014 \u041B\u0435\u0432\u0438\u043D\u0430" , "lang" : "ru" } ,
      { "type" : "literal", "value" : "Teorema Cook" , "lang" : "in" } ,
      { "type" : "literal", "value" : "\u0645\u0628\u0631\u0647\u0646\u0629 \u0643\u0648\u0643 \u0648\u0644\u064A\u0641\u064A\u0646" , "lang" : "ar" } ,
      { "type" : "literal", "value" : "\u0398\u03B5\u03CE\u03C1\u03B7\u03BC\u03B1 \u039A\u03BF\u03C5\u03BA-\u039B\u03AD\u03B2\u03B9\u03BD" , "lang" : "el" } ,
      { "type" : "literal", "value" : "\u0422\u0435\u043E\u0440\u0435\u043C\u0430 \u041A\u0443\u043A\u0430 \u2014 \u041B\u0435\u0432\u0456\u043D\u0430" , "lang" : "uk" } ,
      { "type" : "literal", "value" : "Cook\u2013Levin theorem" , "lang" : "en" } ,
      { "type" : "literal", "value" : "\uCFE1-\uB808\uBE48 \uC815\uB9AC" , "lang" : "ko" } ,
      { "type" : "literal", "value" : "Teorema de Cook-Levin" , "lang" : "pt" } ,
      { "type" : "literal", "value" : "Teorema de Cook" , "lang" : "es" } ,
      { "type" : "literal", "value" : "Cook-Levin\u7406\u8AD6" , "lang" : "zh" } ,
      { "type" : "literal", "value" : "Satz von Cook" , "lang" : "de" } ,
      { "type" : "literal", "value" : "Th\u00E9or\u00E8me de Cook" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "Twierdzenie Cooka" , "lang" : "pl" } ] ,
    "http://purl.org/dc/terms/subject" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Theorems_in_computational_complexity_theory" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Articles_containing_proofs" } ] ,
    "http://xmlns.com/foaf/0.1/depiction" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/CookLevinCommDiag_svg.svg" } ,
      { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/CookLevin_svg.svg" } ] ,
    "http://www.w3.org/ns/prov#wasDerivedFrom" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Cook\u2013Levin_theorem?oldid=1290159500&ns=0" } ] ,
    "http://purl.org/linguistics/gold/hypernym" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/NP-complete" } ] ,
    "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ { "type" : "uri", "value" : "http://en.wikipedia.org/wiki/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/thumbnail" : [ { "type" : "uri", "value" : "http://commons.wikimedia.org/wiki/Special:FilePath/CookLevinCommDiag_svg.svg?width=300" } ] ,
    "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Theoretical_computer_science" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Symposium_on_Theory_of_Computing" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Oracle_machine" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Nondeterministic_Turing_machine" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Logarithmic_space" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Stephen_Cook" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/PSPACE-complete" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Conjunctive_normal_form" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Reduction_(complexity)" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/NP-completeness" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Boolean_expression" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Decision_problem" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Mathematical_logician" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Leonid_Levin" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Articles_containing_proofs" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Logical_connective" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Computational_complexity_theory" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Polynomial-time_many-one_reduction" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Logical_conjunction" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Turing_Award" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Category:Theorems_in_computational_complexity_theory" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Non-deterministic_algorithm" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Boolean_satisfiability_problem" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Truth_value" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/P_versus_NP_problem" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Richard_Karp" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/USSR" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/File:CookLevin_svg.svg" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/NP_(complexity)" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Boolean_variable" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Complexity_class" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Search_problem" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/If_and_only_if" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Deterministic_Turing_machine" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Robert_Solovay" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Karp's_21_NP-complete_problems" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Polynomial_time" } ] ,
    "https://dbpedia.org/ontology/description" : [ { "type" : "literal", "value" : "th\u00E9or\u00E8me en informatique th\u00E9orique" , "lang" : "fr" } ,
      { "type" : "literal", "value" : "mathematischer Satz" , "lang" : "de" } ,
      { "type" : "literal", "value" : "teorema che afferma che il problema di soddisfacibilit\u00E0 booleana \u00E8 NP-completo" , "lang" : "it" } ,
      { "type" : "literal", "value" : "theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist" , "lang" : "en" } ] ,
    "https://dbpedia.org/property/wikiPageUsesTemplate" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Harvnb" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Reflist" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Short_description" } ,
      { "type" : "uri", "value" : "https://dbpedia.org/resource/Template:Color" } ] } ,
  "https://dbpedia.org/resource/Cook's_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Hamiltonian_complexity" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Proof_that_Boolean_satisfiability_problem_is_NP-complete" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cock-Levin_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cock_Levin" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cock\u2013Levin_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cook's_Theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cook-Levin_Theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cook_levin_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] } ,
  "https://dbpedia.org/resource/Cook_theorem" : { "https://dbpedia.org/ontology/wikiPageWikiLink" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] ,
    "https://dbpedia.org/ontology/wikiPageRedirects" : [ { "type" : "uri", "value" : "https://dbpedia.org/resource/Cook\u2013Levin_theorem" } ] }
}