Disambiguation evidence for semantics of C in Isabelle/HOL via surface form
"C verification framework in Isabelle"
Triples (1)
Triples where some other subject referred to this entity
as "C verification framework in Isabelle".
semantics of C in Isabelle/HOL
→
relatedTo
→
"C verification framework in Isabelle"
ⓘ
↳ resolves to semantics of C in Isabelle/HOL