Random triples
| Subject | Object |
|---|---|
| gptkb:First-order_logic | guarded fragment |
| gptkb:Solar_Warlock | gptkb:Ember_of_Tempering |
| gptkb:Halpern–Shoham_logic | decidable fragments exist |
| gptkb:Comet_Schwassmann-Wachmann-3 | Fragment E |
| gptkb:linear_logic | intuitionistic linear logic |
| gptkb:Dawnblade | gptkb:Ember_of_Benevolence |
| gptkb:Solar_Warlock | gptkb:Ember_of_Singeing |
| gptkb:Broodweaver | Thread of Rebirth |
| gptkb:Dawnblade | gptkb:Ember_of_Beams |
| gptkb:Shadebinder | gptkb:Whisper_of_Hedrons |
| gptkb:Dawnblade | gptkb:Ember_of_Empyrean |
| gptkb:Shadebinder | gptkb:Whisper_of_Torment |
| gptkb:Broodweaver | Thread of Generation |
| gptkb:First-order_logic | two-variable fragment |
| gptkb:Shadebinder | gptkb:Whisper_of_Durance |
| gptkb:Modal_μ-calculus | gptkb:propositional_μ-calculus |
| gptkb:Shadebinder | gptkb:Whisper_of_Conduction |
| gptkb:Modal_μ-calculus | gptkb:alternation-free_μ-calculus |
| gptkb:Solar_Warlock | gptkb:Ember_of_Ashes |
| gptkb:Dawnblade | gptkb:Ember_of_Tempering |