Random triples
| Subject | Object |
|---|---|
| gptkb:Broodweaver | Thread of Generation |
| gptkb:linear_logic | exponential linear logic |
| gptkb:Shadebinder | gptkb:Whisper_of_Impetus |
| gptkb:Dawnblade | gptkb:Ember_of_Eruption |
| gptkb:Halpern–Shoham_logic | decidable fragments exist |
| gptkb:Comet_Schwassmann-Wachmann-3 | Fragment E |
| gptkb:Broodweaver | gptkb:Thread_of_Continuity |
| gptkb:Solar_Warlock | gptkb:Ember_of_Ashes |
| gptkb:linear_logic | intuitionistic linear logic |
| gptkb:Dawnblade | gptkb:Ember_of_Beams |
| gptkb:Shadebinder | gptkb:Whisper_of_Endurance |
| gptkb:Solar_Warlock | gptkb:Ember_of_Blistering |
| gptkb:Dawnblade | gptkb:Ember_of_Singeing |
| gptkb:linear_logic | additive linear logic |
| gptkb:First-order_logic | two-variable fragment |
| gptkb:Dawnblade | gptkb:Ember_of_Torches |
| gptkb:Dawnblade | gptkb:Ember_of_Blistering |
| gptkb:first-order_logic | prenex normal form |
| gptkb:Solar_Warlock | gptkb:Ember_of_Singeing |
| gptkb:Broodweaver | gptkb:Thread_of_Mind |