Splitting proofs for interpolation

DOI10.1007/978-3-319-63046-5_18zbMath1496.03044arXiv1711.02503OpenAlexW2735696519MaRDI QIDQ2405256

Bernhard Gleiss, Martin Suda, Laura Kovács

Publication date: 22 September 2017

Full work available at URL: https://arxiv.org/abs/1711.02503

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• VAMPIRE
• TPTP
• Yices
• z3
• StarExec

This page was built for publication: Splitting proofs for interpolation