Disambiguation evidence for linear temporal logic via surface form
"LTL with past operators"
Triples (1)
Triples where some other subject referred to this entity
as "LTL with past operators".
linear temporal logic
→
hasVariant
→
"LTL with past operators"
ⓘ
↳ resolves to linear temporal logic