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