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