Disambiguation evidence for Isar proof language via surface form
"structured proof language Isar"
Triples (1)
Triples where some other subject referred to this entity
as "structured proof language Isar".