Disambiguation evidence for Isabelle code generator infrastructure via surface form
"Isabelle code generator infrastructure"
Triples (1)
Triples where some other subject referred to this entity
as "Isabelle code generator infrastructure".
Isabelle/ML
→
integratedWith
→
"Isabelle code generator infrastructure"
ⓘ
↳ resolves to Isabelle code generator infrastructure