| German |
| lexicalization | deu: Satz von Cook |
| French |
| has gloss | fra: Le théorème de Cook est un théorème fondamental de la théorie de la complexité des algorithmes en théorie de l'information. Il a été prouvé en 1971 par Stephen Cook dans un article intitulé The Complexity of Theorem Proving Procedures . |
| lexicalization | fra: Théorème de cook |
| Hebrew |
| has gloss | heb: משפט קוק לוין הוא משפט חשוב בתורת הסיבוכיות שהוכח בשנת 1971 על ידי סטיבן קוק, ובאופן עצמאי בשנת 1973 על ידי לוין. מבוא במדעי המחשב התאורטיים יש חשיבות מרכזית לבעיות שניתן למצוא להן פתרון בזמן סביר (הגדרתו המדויקת של המושג "זמן סביר" היא טכנית, ומסתמכת על הגדרת המושג של מכונת טיורינג). אוסף הבעיות שניתן למצוא להן פתרון בזמן סביר מסומן על ידי האות P. |
| lexicalization | heb: משפט קוק לוין |
| lexicalization | heb: משפט קוק-לוין |
| Italian |
| has gloss | ita: Nella teoria della complessità algoritmica, il Teorema di Cook, dimostrato da Stephen Cook nel suo articolo "Complessità delle Procedure di Dimostrazione dei Teoremi" ("The Complexity of Theorem Proving Procedures") del 1971, afferma che il problema di soddisfacibilità booleana è NP-completo. |
| lexicalization | ita: Teorema di Cook |
| Polish |
| has gloss | pol: Twierdzenie Cooka-Levina – jedno z najważniejszych twierdzeń teorii złożoności obliczeniowej. Podaje ono pierwszy znany problem NP-zupełny. Od momentu jego udowodnienia można było stosować transformacje wielomianowe do dowodzenia NP-zupełności innych problemów decyzyjnych. |
| lexicalization | pol: Twierdzenie Cooka |
| Russian |
| has gloss | rus: Теорема. Задача о выполнимости булевой формулы в КНФ (SAT) является NP-полной. |
| lexicalization | rus: Теорема Кука |
| Castilian |
| has gloss | spa: En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: |
| lexicalization | spa: Teorema de Cook |
| Serbian |
| has gloss | srp: У теорији комплексности, Кук-Левинова теорема (такође позната као Кукова теорема) тврди да је САТ проблем НП-комплетан. То јест, сваки проблем који може бити решен у полиномијалном времену помоћу недетерминистичке Тјурингове машине може бити сведен (у полиномијалном времену) на САТ проблем (одређивање да ли је буловска формула задовољива). |
| lexicalization | srp: Кук-Левинова теорема |
| Turkish |
| has gloss | tur: SAT problemi bir NP-tam sınıfı problemidir. |
| lexicalization | tur: Cook-Levin Teoremi |
