About: Cook–Levin theorem

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist

thumbnail
Property Value
dbo:description
  • mathematischer Satz (de)
  • theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist (en)
  • teorema che afferma che il problema di soddisfacibilità booleana è NP-completo (it)
  • théorème en informatique théorique (fr)
dbo:thumbnail
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
gold:hypernym
rdfs:label
  • Cook–Levin theorem (en)
  • مبرهنة كوك وليفين (ar)
  • Θεώρημα Κουκ-Λέβιν (el)
  • Satz von Cook (de)
  • Teorema de Cook (es)
  • Théorème de Cook (fr)
  • Teorema Cook (in)
  • Teorema di Cook-Levin (it)
  • 쿡-레빈 정리 (ko)
  • Teorema de Cook-Levin (pt)
  • Twierdzenie Cooka (pl)
  • Теорема Кука — Левина (ru)
  • Теорема Кука — Левіна (uk)
  • Cook-Levin理論 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International