Disambiguation evidence for IC3 algorithm via surface form

"IC3 algorithm"

Triples (2)

Triples where some other subject referred to this entity as "IC3 algorithm".

Kenneth McMillan → notableConcept →
"IC3 algorithm"
↳ resolves to IC3 algorithm
ⓘ
Aaron R. Bradley → hasAcademicSpecialization →
"IC3 algorithm"
↳ resolves to IC3 algorithm
ⓘ