Disambiguation evidence for Isabelle/ML via surface form

"Isabelle/ML runtime environment"

Triples (1)

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

Isabelle/ML → executedIn →
"Isabelle/ML runtime environment"
↳ resolves to Isabelle/ML
ⓘ