Disambiguation evidence for C memory model via surface form

"C memory model"

Triples (1)

Triples where some other subject referred to this entity as "C memory model".

semantics of C in Isabelle/HOL → hasComponent →
"C memory model"
↳ resolves to C memory model
ⓘ