Disambiguation evidence for Isabelle development team via surface form

"Isabelle development team"

Triples (3)

Triples where some other subject referred to this entity as "Isabelle development team".

Isabelle/jEdit → maintainedBy →
"Isabelle development team"
↳ resolves to Isabelle development team
ⓘ
Sledgehammer → maintainedBy →
"Isabelle development team"
↳ resolves to Isabelle development team
ⓘ
Isabelle/ML → maintainedBy →
"Isabelle development team"
↳ resolves to Isabelle development team
ⓘ