Disambiguation evidence for IC3 model checking algorithm via surface form
"IC3 with interpolation"
Triples (1)
Triples where some other subject referred to this entity
as "IC3 with interpolation".
IC3 model checking algorithm
→
hasVariant
→
"IC3 with interpolation"
ⓘ
↳ resolves to IC3 model checking algorithm