Disambiguation evidence for Isabelle/FOL via surface form
"Isabelle/FOL"
Triples (2)
Triples where some other subject referred to this entity
as "Isabelle/FOL".
linked to:
Isabelle proof assistant