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".
Kenneth McMillan
→
notableWork
→
"IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness"
ⓘ