FRINK Linked Data Fragments server

Matches in Wikidata for { <http://www.wikidata.org/entity/Q377276> ?p ?o ?g. }

• Q377276 description "Theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist" @default.
• Q377276 description "Théorème en informatique théorique" @default.
• Q377276 description "mathematischer Satz" @default.
• Q377276 description "teorema che afferma che il problema di soddisfacibilità booleana è NP-completo" @default.
• Q377276 name "Cook-Levin teoremi" @default.
• Q377276 name "Cook-Levinov teorem" @default.
• Q377276 name "Cook-Levin理論" @default.
• Q377276 name "Cook–Levin theorem" @default.
• Q377276 name "Cook–Levin theorem" @default.
• Q377276 name "Satz von Cook" @default.
• Q377276 name "Teorema Cook" @default.
• Q377276 name "Teorema de Cook-Levin" @default.
• Q377276 name "Twierdzenie Cooka" @default.
• Q377276 name "teorema Cook–Levin" @default.
• Q377276 name "teorema de Cook" @default.
• Q377276 name "teorema de Cook-Levin" @default.
• Q377276 name "teorema di Cook" @default.
• Q377276 name "théorème de Cook" @default.
• Q377276 name "Θεώρημα Κουκ-Λέβιν" @default.
• Q377276 name "Кук-Левинова теорема" @default.
• Q377276 name "Теорема Кука — Левина" @default.
• Q377276 name "Теорема Кука — Левіна" @default.
• Q377276 name "משפט קוק-לוין" @default.
• Q377276 name "قضیه کوک لوین" @default.
• Q377276 name "مبرهنة كوك وليفين" @default.
• Q377276 name "クックの定理" @default.
• Q377276 name "쿡-레빈 정리" @default.
• Q377276 type Item @default.
• Q377276 label "Cook-Levin teoremi" @default.
• Q377276 label "Cook-Levinov teorem" @default.
• Q377276 label "Cook-Levin理論" @default.
• Q377276 label "Cook–Levin theorem" @default.
• Q377276 label "Cook–Levin theorem" @default.
• Q377276 label "Satz von Cook" @default.
• Q377276 label "Teorema Cook" @default.
• Q377276 label "Teorema de Cook-Levin" @default.
• Q377276 label "Twierdzenie Cooka" @default.
• Q377276 label "teorema Cook–Levin" @default.
• Q377276 label "teorema de Cook" @default.
• Q377276 label "teorema de Cook-Levin" @default.
• Q377276 label "teorema di Cook" @default.
• Q377276 label "théorème de Cook" @default.
• Q377276 label "Θεώρημα Κουκ-Λέβιν" @default.
• Q377276 label "Кук-Левинова теорема" @default.
• Q377276 label "Теорема Кука — Левина" @default.
• Q377276 label "Теорема Кука — Левіна" @default.
• Q377276 label "משפט קוק-לוין" @default.
• Q377276 label "قضیه کوک لوین" @default.
• Q377276 label "مبرهنة كوك وليفين" @default.
• Q377276 label "クックの定理" @default.
• Q377276 label "쿡-레빈 정리" @default.
• Q377276 altLabel "Cook's theorem" @default.
• Q377276 altLabel "Cookov teorem" @default.
• Q377276 altLabel "Satz von Cook und Levin" @default.
• Q377276 altLabel "teorema de Cook-Levin" @default.
• Q377276 altLabel "théorème de Cook-Levin" @default.
• Q377276 altLabel "クック-レビンの定理" @default.
• Q377276 altLabel "クック–レビンの定理" @default.
• Q377276 altLabel "證明" @default.
• Q377276 prefLabel "Cook-Levin teoremi" @default.
• Q377276 prefLabel "Cook-Levinov teorem" @default.
• Q377276 prefLabel "Cook-Levin理論" @default.
• Q377276 prefLabel "Cook–Levin theorem" @default.
• Q377276 prefLabel "Cook–Levin theorem" @default.
• Q377276 prefLabel "Satz von Cook" @default.
• Q377276 prefLabel "Teorema Cook" @default.
• Q377276 prefLabel "Teorema de Cook-Levin" @default.
• Q377276 prefLabel "Twierdzenie Cooka" @default.
• Q377276 prefLabel "teorema Cook–Levin" @default.
• Q377276 prefLabel "teorema de Cook" @default.
• Q377276 prefLabel "teorema de Cook-Levin" @default.
• Q377276 prefLabel "teorema di Cook" @default.
• Q377276 prefLabel "théorème de Cook" @default.
• Q377276 prefLabel "Θεώρημα Κουκ-Λέβιν" @default.
• Q377276 prefLabel "Кук-Левинова теорема" @default.
• Q377276 prefLabel "Теорема Кука — Левина" @default.
• Q377276 prefLabel "Теорема Кука — Левіна" @default.
• Q377276 prefLabel "משפט קוק-לוין" @default.
• Q377276 prefLabel "قضیه کوک لوین" @default.
• Q377276 prefLabel "مبرهنة كوك وليفين" @default.
• Q377276 prefLabel "クックの定理" @default.
• Q377276 prefLabel "쿡-레빈 정리" @default.
• Q377276 P1136 Q377276-08c05c34-4837-c807-9d3d-e413e5b6254e @default.
• Q377276 P138 Q377276-6c9a9e62-4254-1443-f895-23cef6baf399 @default.
• Q377276 P138 Q377276-a423fe2f-4869-c231-5116-097bcb37437b @default.
• Q377276 P31 Q377276-e7448f94-4b38-da37-21e7-265fec738745 @default.
• Q377276 P373 Q377276-4f2e5fbc-a0bd-4d9e-850e-709d59f4e0fc @default.
• Q377276 P5106 Q377276-108DE2FA-D223-4489-99F3-76CF143FDA02 @default.
• Q377276 P6104 Q377276-20F5EB4A-5ACB-4F57-A01F-E5A15B447C2F @default.
• Q377276 P6366 Q377276-79E73FB6-8ABB-492D-870A-EB9FAC4445D6 @default.
• Q377276 P646 Q377276-DF737E08-AB06-409E-8B6B-C2EB2D12929A @default.
• Q377276 P6366 206602144 @default.
• Q377276 P1136 Q92966 @default.
• Q377276 P138 Q62870 @default.
• Q377276 P138 Q92966 @default.
• Q377276 P31 Q65943 @default.
• Q377276 P373 "Cook-Levin theorem" @default.
• Q377276 P5106 "cookstheorem" @default.
• Q377276 P6104 Q8487137 @default.
• Q377276 P6366 "206602144" @default.

• next