True quantified Boolean formula
subject: Category:Satisfiability problems
description: problem of deciding the satisfiability of a true quantified Boolean formula
label: TQBF問題 @ja
label: Fórmula booliana completamente quantificada @pt
label: Fórmula booleana cuantificada verdadera @es
label: Erfüllbarkeitsproblem für quantifizierte boolesche Formeln @de
label: Fórmula booliana totalmente quantificada @pt
hypernym: Language
subject: Category:Boolean algebra
subject: Category:PSPACE-complete problems
label: Formule booléenne quantifiée @fr