مبرهنة كوك وليفين (Q3086800)

من Marefa data

Theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	مبرهنة كوك وليفين	لا يوجد وصف
الإنجليزية	Cook–Levin theorem	Theorem that Boolean satisfiability is NP-complete and therefore that NP-complete problems exist	Cook's theorem

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

named after ^{الإنجليزية}

ستيفن كوك

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Leonid Levin ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

مبرهنات رياضية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Commons category ^{الإنجليزية}

Cook-Levin theorem

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٧ وصلات)

مجلوبة من «https://data.marefa.org/w/index.php?title=Q3086800&oldid=47928490»