Disambiguation evidence for LTL via surface form

"LTLf"

Triples (1)

Triples where some other subject referred to this entity as "LTLf".

linear temporal logic → hasVariant →
"LTLf"
↳ resolves to LTL
ⓘ