Finite Quantification in Hierarchic Theorem Proving

DOI10.1007/978-3-319-08587-6_11zbMath1423.68407OpenAlexW1489937864MaRDI QIDQ3192187

Peter Baumgartner, Joshua Bax, Uwe Waldmann

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_11

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (3)

Constraint solving for finite model finding in SMT solvers ⋮ A superposition calculus for abductive reasoning ⋮ Combining induction and saturation-based theorem proving

This page was built for publication: Finite Quantification in Hierarchic Theorem Proving