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