Induction in saturation

DOI10.1007/978-3-031-63498-7_2MaRDI QIDQ7034881zbMATH OpenFDO

Authors Laura Kovács, Petra Hozzová, Márton Hajdu, Andrei Voronkov

Publication date 31 January 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-63498-7_2

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• Coming to terms with quantified reasoning
• Continuous reasoning: scaling the impact of formal methods
• scientific article; zbMATH DE number 193479 (Why is no real title available?)
• Induction for SMT solvers
• Induction in saturation-based proof search
• Induction with generalization in superposition reasoning
• Integer induction in saturation
• Superposition with structural induction
• The Imandra Automated Reasoning System (System Description)

Cited in

(1)

• Ground truth: checking \textsc{Vampire} proofs via satisfiability modulo theories

This page was built for publication: Induction in saturation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034881)