Disambiguation evidence for Isabelle proof document model via surface form
"Isabelle proof document model"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle proof document model".
Isar proof language
→
integratedWith
→
"Isabelle proof document model"
ⓘ
↳ resolves to Isabelle proof document model