| German |
| has gloss | deu: In der Komplexitätstheorie ist das Erfüllbarkeitsproblem für quantifizierte boolesche Formeln (oft nur kurz QBF oder QSAT) eine Verallgemeinerung des Erfüllbarkeitsproblems der Aussagenlogik. Es untersucht, ob eine mit Quantoren versehene aussagenlogische Formel erfüllbar oder wahr ist. Es ist das kanonische PSPACE-vollständige Problem. |
| lexicalization | deu: Erfüllbarkeitsproblem für quantifizierte boolesche Formeln |
| Castilian |
| lexicalization | spa: Problema de la formula booleana cuantificada |
| lexicalization | spa: Problema de la fórmula booleana cuantificada |
| Turkish |
| has gloss | tur: Boolean Formülü içerisinde; boolean değişkenleri, sabitler 0,1} ve işlemler \land, \lor, \lnot} içeren formüllerdir. Bu formüller : \forall (bütün hepsi) ve \exists (en az bir) belirleyicileri ekleyerek daha genel bir yapıya sokabiliriz. \forall x Q ifadesi bütün x değişkenleri için Q formülü doğrudur anlamı taşımaktadır. Benzer bir şekilde; \exists x Q ifadesi ise bazı x değişkenleri için Q formülü doğrudur anlamı taşımaktadır. |
| lexicalization | tur: TQBF Problemi |