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