scientific article; zbMATH DE number 7285578

MaRDI QIDQ5140266

Jannik Vierling, Stefan Hetzl

Publication date: 15 December 2020

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

inductive theorem provingarithmetical theoriescyclic proofsclause logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

Unprovability results for clause set cycles ⋮ Induction and Skolemization in saturation theorem proving

Uses Software

• HipSpec
• Cyclist

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Superposition with structural induction
• Combining induction and saturation-based theorem proving
• Combining Superposition and Induction: A Practical Realization
• Sequent calculi for induction and infinite descent
• Open sentences and the induction axiom
• Rewrite-based Equational Theorem Proving with Selection and Simplification
• Some observations on the logical foundations of inductive theorem proving
• Automating Inductive Proofs Using Theory Exploration

This page was built for publication: