Disambiguation evidence for Poly/ML via surface form
"Poly/ML (runtime)"
Triples (1)
Triples where some other subject referred to this entity
as "Poly/ML (runtime)".
surface form:
Isabelle