Disambiguation evidence for Kenneth L. McMillan via surface form
"Kenneth L. McMillan"
Triples (3)
Triples where some other subject referred to this entity
as "Kenneth L. McMillan".
Symbolic Model Checking
→
associatedWithResearcher
→
"Kenneth L. McMillan"
ⓘ
↳ resolves to Kenneth L. McMillan
IC3: Incremental Construction of Inductive Clauses for Indubitable Correctness
→
introducedBy
→
"Kenneth L. McMillan"
ⓘ
↳ resolves to Kenneth L. McMillan
Interpolation and SAT-based model checking
→
author
→
"Kenneth L. McMillan"
ⓘ
↳ resolves to Kenneth L. McMillan