Disambiguation evidence for Isar via surface form

"Isar"

Triples (4)

Triples where some other subject referred to this entity as "Isar".

Isabelle → usesProofLanguage →
"Isar"
↳ resolves to Isar
ⓘ
linked to: Isabelle proof assistant
Markus Wenzel → languageDesigned →
"Isar"
↳ resolves to Isar
ⓘ
Isar proof language → shortName →
"Isar"
↳ resolves to Isar
ⓘ
Isabelle → usesLanguage →
"Isar"
↳ resolves to Isar
ⓘ