Induction with generalization in superposition reasoning
From MaRDI portal
Publication:2219385
DOI10.1007/978-3-030-53518-6_8zbMath1455.68248arXiv2103.03607OpenAlexW3001530932MaRDI QIDQ2219385
Márton Hajdu, Andrei Voronkov, Petra Hozzová, Laura Kovács, Johannes Schoisswohl, Stefan Szeider, Hanna Lachnitt
Publication date: 20 January 2021
Full work available at URL: https://arxiv.org/abs/2103.03607
Paths and cycles (05C38) Signed and weighted graphs (05C22) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (6)
Inductive benchmarks for automated reasoning ⋮ Getting saturated with induction ⋮ Lemmaless induction in trace logic ⋮ Integer induction in saturation ⋮ Unprovability results for clause set cycles ⋮ Induction and Skolemization in saturation theorem proving
Uses Software
This page was built for publication: Induction with generalization in superposition reasoning
