Disambiguation evidence for Isar proof language via surface form

"Isar proof language"

Triples (9)

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

Isabelle/HOL: A Proof Assistant for Higher-Order Logic → describes →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ
Markus Wenzel → developerOf →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ
Isabelle/FOL → compatibleWith →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ
Isabelle/jEdit → supports →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ
Isabelle/Isar Reference Manual → subject →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ
Isabelle/Isar Reference Manual → associatedWith →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ
Isar proof language → fullName →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ
Isabelle document preparation system → uses →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ
Isabelle → hasComponent →
"Isar proof language"
↳ resolves to Isar proof language
ⓘ