hasFragment

URI: https://gptkb.org/prop/hasFragment
77 triples
GPTKB property
Random triples
Subject Object
gptkb:Broodweaver gptkb:Thread_of_Fury
gptkb:Solar_Warlock gptkb:Ember_of_Blistering
gptkb:linear_logic intuitionistic linear logic
gptkb:First-order_logic gptkb:monadic_first-order_logic
gptkb:Broodweaver Thread of Propagation
gptkb:Dawnblade gptkb:Ember_of_Resolve
gptkb:first-order_logic prenex normal form
gptkb:Broodweaver gptkb:Thread_of_Finality
gptkb:linear_logic exponential linear logic
gptkb:Dawnblade gptkb:Ember_of_Wonder
gptkb:Broodweaver gptkb:Thread_of_Wisdom
gptkb:Broodweaver gptkb:Thread_of_Ascent
gptkb:Shadebinder gptkb:Whisper_of_Rending
gptkb:Shadebinder gptkb:Whisper_of_Conduction
gptkb:Solar_Warlock gptkb:Ember_of_Torches
gptkb:Shadebinder gptkb:Whisper_of_Durance
gptkb:first-order_logic gptkb:monadic_first-order_logic
gptkb:Halpern–Shoham_logic decidable fragments exist
gptkb:Solar_Warlock gptkb:Ember_of_Char
gptkb:Shadebinder gptkb:Whisper_of_Fractures
Please wait…