Disambiguation evidence for Isabelle C parser via surface form

"Isabelle C parser"

Triples (1)

Triples where some other subject referred to this entity as "Isabelle C parser".

semantics of C in Isabelle/HOL → relatedTo →
"Isabelle C parser"
↳ resolves to Isabelle C parser
ⓘ