Disambiguation evidence for Isabelle/ML via surface form

"Isabelle/ML"

Triples (2)

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

Markus Wenzel → notableWork →
"Isabelle/ML"
↳ resolves to Isabelle/ML
ⓘ
Quickcheck → implementedIn →
"Isabelle/ML"
↳ resolves to Isabelle/ML
ⓘ