Disambiguation evidence for Isabelle/HOL: A Proof Assistant for Higher-Order Logic via surface form
"Isabelle/HOL tutorial and reference manuals"
As object (1)
Triples where some other subject referred to this entity
as "Isabelle/HOL tutorial and reference manuals".
Tobias Nipkow
→
notableWork
→
"Isabelle/HOL tutorial and reference manuals"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic