Disambiguation evidence for Isabelle/ZF via surface form

"Isabelle/ZF"

Triples (4)

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

Isabelle → hasComponent →
"Isabelle/ZF"
↳ resolves to Isabelle/ZF
ⓘ
linked to: Isabelle proof assistant
Isabelle/FOL → distributedWith →
"Isabelle/ZF"
↳ resolves to Isabelle/ZF
ⓘ
Isar → usedIn →
"Isabelle/ZF"
↳ resolves to Isabelle/ZF
ⓘ
Isabelle → supportsLogic →
"Isabelle/ZF"
↳ resolves to Isabelle/ZF
ⓘ