hasFragment

URI: https://gptkb.org/prop/hasFragment
77 triples
GPTKB property
Random triples
Subject Object
gptkb:Solar_Warlock gptkb:Ember_of_Char
gptkb:Halpern–Shoham_logic decidable fragments exist
gptkb:Modal_μ-calculus gptkb:propositional_μ-calculus
gptkb:Shadebinder gptkb:Whisper_of_Durance
gptkb:Dawnblade gptkb:Ember_of_Beams
gptkb:Dawnblade gptkb:Ember_of_Combustion
gptkb:First-order_logic guarded fragment
gptkb:linear_logic multiplicative linear logic
gptkb:Dawnblade gptkb:Ember_of_Blistering
gptkb:Shadebinder gptkb:Whisper_of_Refraction
gptkb:Solar_Warlock gptkb:Ember_of_Tempering
gptkb:Dawnblade gptkb:Ember_of_Char
gptkb:First-order_logic two-variable fragment
gptkb:Shadebinder gptkb:Whisper_of_Hedrons
gptkb:Dawnblade gptkb:Ember_of_Wonder
gptkb:Dawnblade gptkb:Ember_of_Searing
gptkb:Broodweaver gptkb:Thread_of_Binding
gptkb:Solar_Warlock gptkb:Ember_of_Singeing
gptkb:Dawnblade gptkb:Ember_of_Benevolence
gptkb:Broodweaver Thread of Propagation
Please wait…