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