Induction with generalization in superposition reasoning

DOI10.1007/978-3-030-53518-6_8MaRDI QIDQ6828138zbMATH OpenFDO

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

Publication date 20 January 2021

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-53518-6_8

Mathematics Subject Classification ID

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

Cited in

(5)

• Automating induction by reflection
• Rewriting and inductive reasoning
• Lemma discovery and strategies for automated induction
• Synthesis of recursive programs in saturation
• Induction in saturation

This page was built for publication: Induction with generalization in superposition reasoning

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