Disambiguation evidence for Zermelo–Fraenkel set theory via surface form
"Isabelle/ZF"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle/ZF".
linked to:
Isabelle proof assistant