hasFragment

URI: https://gptkb.org/prop/hasFragment
77 triples
GPTKB property
Random triples
Subject Object
gptkb:Broodweaver gptkb:Thread_of_Wisdom
gptkb:Solar_Warlock gptkb:Ember_of_Ashes
gptkb:Halpern–Shoham_logic decidable fragments exist
gptkb:Shadebinder gptkb:Whisper_of_Rime
gptkb:first-order_logic prenex normal form
gptkb:Dawnblade gptkb:Ember_of_Blistering
gptkb:First-order_logic two-variable fragment
gptkb:Dawnblade gptkb:Ember_of_Char
gptkb:Comet_Schwassmann-Wachmann-3 Fragment C
gptkb:Comet_Schwassmann-Wachmann-3 Fragment G
gptkb:Shadebinder gptkb:Whisper_of_Hedrons
gptkb:Dawnblade gptkb:Ember_of_Mercy
gptkb:Shadebinder gptkb:Whisper_of_Hunger
gptkb:Shadebinder gptkb:Whisper_of_Torment
gptkb:Broodweaver gptkb:Thread_of_Continuity
gptkb:Shadebinder gptkb:Whisper_of_Rending
gptkb:Solar_Warlock gptkb:Ember_of_Empyrean
gptkb:Solar_Warlock gptkb:Ember_of_Benevolence
gptkb:Dawnblade gptkb:Ember_of_Benevolence
gptkb:Dawnblade gptkb:Ember_of_Resolve