Disambiguation evidence for Twelf via surface form

"Edinburgh Logical Framework"

Triples (1)

Triples where some other subject referred to this entity as "Edinburgh Logical Framework".

Twelf → basedOn →
"Edinburgh Logical Framework"
↳ resolves to Twelf
ⓘ