Disambiguation evidence for IC3 via surface form
"IC3"
Triples (3)
Triples where some other subject referred to this entity
as "IC3".
IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness
→
shortName
→
"IC3"
ⓘ
↳ resolves to IC3