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