Disambiguation evidence for Isabelle proof assistant via surface form

"Isabelle/HOL"

Triples (8)

Triples where some other subject referred to this entity as "Isabelle/HOL".

LCF theorem prover → relatedTo →
"Isabelle/HOL"
↳ resolves to Isabelle proof assistant
ⓘ
Isabelle → supportsLogic →
"Isabelle/HOL"
↳ resolves to Isabelle proof assistant
ⓘ
linked to: Isabelle proof assistant
Gerwin Klein → knownFor →
"Isabelle/HOL"
↳ resolves to Isabelle proof assistant
ⓘ
Poly/ML → usedIn →
"Isabelle/HOL"
↳ resolves to Isabelle proof assistant
ⓘ
HOL Light → relatedTo →
"Isabelle/HOL"
↳ resolves to Isabelle proof assistant
ⓘ
HOL4 → relatedTo →
"Isabelle/HOL"
↳ resolves to Isabelle proof assistant
ⓘ
Isabelle/FOL → distributedWith →
"Isabelle/HOL"
↳ resolves to Isabelle proof assistant
ⓘ
semantics of C in Isabelle/HOL → formalisedIn →
"Isabelle/HOL"
↳ resolves to Isabelle proof assistant
ⓘ