Disambiguation evidence for Isabelle/jEdit via surface form

"Isabelle/jEdit"

Triples (6)

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

Isabelle → hasComponent →
"Isabelle/jEdit"
↳ resolves to Isabelle/jEdit
ⓘ
linked to: Isabelle proof assistant
Isabelle → primaryInterface →
"Isabelle/jEdit"
↳ resolves to Isabelle/jEdit
ⓘ
linked to: Isabelle proof assistant
Markus Wenzel → notableWork →
"Isabelle/jEdit"
↳ resolves to Isabelle/jEdit
ⓘ
Markus Wenzel → softwareProject →
"Isabelle/jEdit"
↳ resolves to Isabelle/jEdit
ⓘ
Isar proof language → executionEnvironment →
"Isabelle/jEdit"
↳ resolves to Isabelle/jEdit
ⓘ
Isabelle → hasInterface →
"Isabelle/jEdit"
↳ resolves to Isabelle/jEdit
ⓘ