Disambiguation evidence for Isabelle/HOL: A Proof Assistant for Higher-Order Logic via surface form
"Isabelle/HOL"
Triples (14)
Triples where some other subject referred to this entity
as "Isabelle/HOL".
Gödel's ontological proof
→
verifiedIn
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Isabelle
→
hasComponent
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
linked to:
Isabelle proof assistant
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
→
about
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Markus Wenzel
→
contributedTo
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
HOL theorem prover
→
influenced
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Isabelle/FOL
→
supersededInPracticeBy
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Sledgehammer
→
supports
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Sledgehammer
→
inputLanguage
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Quickcheck
→
integratedInto
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Isar
→
usedIn
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Archive of Formal Proofs
→
mainTool
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Isar proof language
→
designedFor
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Isabelle
→
supportsLogic
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Isabelle
→
hasComponent
→
"Isabelle/HOL"
ⓘ
↳ resolves to Isabelle/HOL: A Proof Assistant for Higher-Order Logic