First-Order Interpolation and Interpolating Proof Systems

DOI10.29007/1qb8zbMath1402.03041OpenAlexW2740882120MaRDI QIDQ4645726

Laura Kovács, Andrei Voronkov

Publication date: 10 January 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/1qb8

zbMATH Keywords

interpolationsuperpositionresolution calculus

Mathematics Subject Classification ID

Structure of proofs (03F07) Interpolation, preservation, definability (03C40)

Related Items (1)

Craig interpolation with clausal first-order tableaux

This page was built for publication: First-Order Interpolation and Interpolating Proof Systems