|
gptkb:Generalized_QBF
|
gptkb:military_decoration
|
|
gptkb:First-order_logic
|
existential quantifier
|
|
gptkb:Quantified_SAT
|
gptkb:military_decoration
|
|
gptkb:Quantified_Boolean_Formula
|
Universal quantifier
|
|
gptkb:Quantified_Constraint_Satisfaction_Problem
|
existential quantifier
|
|
gptkb:First-Order_Logic
|
existential quantifier
|
|
gptkb:Generalized_QBF
|
existential
|
|
gptkb:QBF
|
existential quantifier
|
|
gptkb:QBF
|
universal quantifier
|
|
gptkb:Quantified_SAT
|
existential
|
|
gptkb:First-Order_Logic
|
universal quantifier
|
|
gptkb:monadic_first-order_logic
|
yes
|
|
gptkb:First-order_logic
|
universal quantifier
|
|
gptkb:first-order_logic
|
universal quantifier
|
|
gptkb:first-order_logic
|
existential quantifier
|
|
gptkb:Quantified_Constraint_Satisfaction_Problem
|
universal quantifier
|
|
gptkb:Quantified_Boolean_Formula
|
gptkb:Existential_quantifier
|