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) |