hasFragment

URI: https://gptkb.org/prop/hasFragment
77 triples
GPTKB property
Random triples
Subject Object
gptkb:Halpern–Shoham_logic decidable fragments exist
gptkb:first-order_predicate_calculus guarded fragment
gptkb:Shadebinder gptkb:Whisper_of_Rending
gptkb:Dawnblade gptkb:Ember_of_Singeing
gptkb:Shadebinder gptkb:Whisper_of_Fissures
gptkb:Broodweaver gptkb:Thread_of_Transmutation
gptkb:Broodweaver gptkb:Thread_of_Finality
gptkb:Shadebinder gptkb:Whisper_of_Torment
gptkb:Dawnblade gptkb:Ember_of_Tempering
gptkb:Shadebinder gptkb:Whisper_of_Durance
gptkb:Broodweaver Thread of Propagation
gptkb:Solar_Warlock gptkb:Ember_of_Tempering
gptkb:Solar_Warlock gptkb:Ember_of_Solace
gptkb:Dawnblade gptkb:Ember_of_Char
gptkb:Solar_Warlock gptkb:Ember_of_Singeing
gptkb:Broodweaver gptkb:Thread_of_Fury
gptkb:Dawnblade gptkb:Ember_of_Wonder
gptkb:Modal_μ-calculus gptkb:alternation-free_μ-calculus
gptkb:Broodweaver gptkb:Thread_of_Wisdom
gptkb:First-order_logic gptkb:monadic_first-order_logic
Please wait…