can express

3 triples

GPTKB property

Random triples

Subject	Object
gptkb:full_μ-calculus	gptkb:CTL*
gptkb:full_μ-calculus	LTL
gptkb:full_μ-calculus	gptkb:CTL