Disambiguation evidence for linear temporal logic via surface form
"linear temporal logic"
Triples (1)
Triples where some other subject referred to this entity
as "linear temporal logic".
Temporal Logic of Actions
→
comparedWith
→
"linear temporal logic"
ⓘ
↳ resolves to linear temporal logic