hasFragment

URI: https://gptkb.org/prop/hasFragment
77 triples
GPTKB property
Random triples
Subject Object
gptkb:Modal_μ-calculus gptkb:propositional_μ-calculus
gptkb:Broodweaver Thread of Rebirth
gptkb:Modal_μ-calculus gptkb:alternation-free_μ-calculus
gptkb:Shadebinder gptkb:Whisper_of_Rending
gptkb:Broodweaver gptkb:Thread_of_Finality
gptkb:first-order_predicate_calculus guarded fragment
gptkb:Dawnblade gptkb:Ember_of_Mercy
gptkb:Dawnblade gptkb:Ember_of_Blistering
gptkb:Solar_Warlock gptkb:Ember_of_Char
gptkb:Dawnblade gptkb:Ember_of_Ashes
gptkb:linear_logic multiplicative linear logic
gptkb:Shadebinder gptkb:Whisper_of_Fissures
gptkb:linear_logic exponential linear logic
gptkb:Shadebinder gptkb:Whisper_of_Durance
gptkb:Shadebinder gptkb:Whisper_of_Shards
gptkb:Broodweaver gptkb:Thread_of_Transmutation
gptkb:First-order_logic guarded fragment
gptkb:Shadebinder gptkb:Whisper_of_Hedrons
gptkb:Solar_Warlock gptkb:Ember_of_Singeing
gptkb:Shadebinder gptkb:Whisper_of_Conduction