Disambiguation evidence for Interpolation and SAT-based model checking via surface form
"Interpolation and SAT-based model checking"
Triples (2)
Triples where some other subject referred to this entity
as "Interpolation and SAT-based model checking".
Kenneth McMillan
→
notableWork
→
"Interpolation and SAT-based model checking"
ⓘ
↳ resolves to Interpolation and SAT-based model checking
Interpolation and SAT-based model checking
→
hasTitle
→
"Interpolation and SAT-based model checking"
ⓘ
↳ resolves to Interpolation and SAT-based model checking