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 (3)

Craig interpolation with clausal first-order tableaux ⋮ Choose Your Colour: Tree Interpolation for Quantified Formulas in SMT ⋮ Range-restricted and Horn interpolation through clausal tableaux

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