Disambiguation evidence for IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness via surface form
"IC3 (Incremental Construction of Inductive Clauses for Indubitable Correctness)"
Triples (1)
Triples where some other subject referred to this entity
as "IC3 (Incremental Construction of Inductive Clauses for Indubitable Correctness)".
Ken McMillan
→
notableWork
→
"IC3 (Incremental Construction of Inductive Clauses for Indubitable Correctness)"
ⓘ