Disambiguation evidence for Isar proof language via surface form
"Isabelle/HOL proof language"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle/HOL proof language".
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
→
describes
→
"Isabelle/HOL proof language"
ⓘ
↳ resolves to Isar proof language