On interpolation in automated theorem proving
From MaRDI portal
Publication:2352502
DOI10.1007/s10817-014-9314-0zbMath1315.03018MaRDI QIDQ2352502
Maria Paola Bonacina, Moa Johansson
Publication date: 2 July 2015
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-014-9314-0
03B35: Mechanization of proofs and logical operations
03C40: Interpolation, preservation, definability
Uses Software