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