quantifiers

6 triples
GPTKB property

Random triples
Subject Object
gptkb:Computation_Tree_Logic E (there exists a path)
gptkb:CTL* E (there exists a path)
gptkb:Quantified_Boolean_Formula_(QBF) gptkb:military_decoration
gptkb:Quantified_Boolean_Formula_(QBF) existential
gptkb:Computation_Tree_Logic A (for all paths)
gptkb:CTL* A (for all paths)