Disambiguation evidence for Isabelle via surface form

"Isabelle"

Triples (8)

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

Markus Wenzel → softwareProject →
"Isabelle"
↳ resolves to Isabelle
ⓘ
HOL theorem prover → relatedTo →
"Isabelle"
↳ resolves to Isabelle
ⓘ
LCF → influenced →
"Isabelle"
↳ resolves to Isabelle
ⓘ
Isabelle/FOL → partOf →
"Isabelle"
↳ resolves to Isabelle
ⓘ
Quickcheck → integratedInto →
"Isabelle"
↳ resolves to Isabelle
ⓘ
Archive of Formal Proofs → mainTool →
"Isabelle"
↳ resolves to Isabelle
ⓘ
Isabelle/ML → usedIn →
"Isabelle"
↳ resolves to Isabelle
ⓘ
Isabelle/ZF → implementedIn →
"Isabelle"
↳ resolves to Isabelle
ⓘ