GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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