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