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