Disambiguation evidence for Isabelle document preparation system via surface form
"Isabelle document preparation system"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle document preparation system".
Markus Wenzel
→
developerOf
→
"Isabelle document preparation system"
ⓘ
↳ resolves to Isabelle document preparation system