Disambiguation evidence for branching-time temporal logic CTL* via surface form
"Computation Tree Logic star"
Triples (1)
Triples where some other subject referred to this entity
as "Computation Tree Logic star".
CTL*
→
hasFullName
→
"Computation Tree Logic star"
ⓘ
↳ resolves to branching-time temporal logic CTL*