Disambiguation evidence for Isabelle/CTT via surface form

"Isabelle/CTT"

Triples (1)

Triples where some other subject referred to this entity as "Isabelle/CTT".

Isabelle → supportsLogic →
"Isabelle/CTT"
↳ resolves to Isabelle/CTT
ⓘ