Random triples
| Subject | Object |
|---|---|
| gptkb:first-order_predicate_calculus | prenex normal form |
| gptkb:Solar_Warlock | gptkb:Ember_of_Solace |
| gptkb:linear_logic | additive linear logic |
| gptkb:Comet_Schwassmann-Wachmann-3 | Fragment G |
| gptkb:first-order_predicate_calculus | guarded fragment |
| gptkb:Broodweaver | gptkb:Thread_of_Isolation |
| gptkb:Broodweaver | gptkb:Thread_of_Wisdom |
| gptkb:Solar_Warlock | gptkb:Ember_of_Blistering |
| gptkb:Shadebinder | gptkb:Whisper_of_Shards |
| gptkb:Shadebinder | gptkb:Whisper_of_Bonds |
| gptkb:Broodweaver | Thread of Propagation |
| gptkb:Halpern–Shoham_logic | decidable fragments exist |
| gptkb:Solar_Warlock | gptkb:Ember_of_Ashes |
| gptkb:Shadebinder | gptkb:Whisper_of_Fractures |
| gptkb:Dawnblade | gptkb:Ember_of_Searing |
| gptkb:Dawnblade | gptkb:Ember_of_Beams |
| gptkb:Broodweaver | Thread of Generation |
| gptkb:first-order_predicate_calculus | gptkb:monadic_first-order_logic |
| gptkb:Shadebinder | gptkb:Whisper_of_Impetus |
| gptkb:Solar_Warlock | gptkb:Ember_of_Eruption |