Integer induction in saturation
type: Item
instance of: scholarly article
title: Integer induction in saturation
DOI: 10.1007/978-3-030-79876-5_21
author: Petra Hozzová
author: Laura Kovács
author: Andrei Voronkov
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437089
describes a project that uses: Imandra
describes a project that uses: Zeno
describes a project that uses: VAMPIRE
describes a project that uses: SMT-LIB
describes a project that uses: z3
describes a project that uses: AVATAR
describes a project that uses: CVC4
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 21
OpenAlex ID: W3166201525
cites work: TIP: Tons of Inductive Problems
cites work: Automating Inductive Proofs Using Theory Exploration
cites work: Superposition with structural induction
cites work: Theorem Proving in Higher Order Logics
cites work: Induction with generalization in superposition reasoning
cites work: Coming to terms with quantified reasoning
cites work: The Imandra Automated Reasoning System (System Description)
cites work: Making theory reasoning simpler
cites work: Induction in saturation-based proof search
cites work: Induction for SMT Solvers
cites work: Zeno: An Automated Prover for Properties of Recursive Data Structures
cites work: AVATAR: The Architecture for First-Order Theorem Provers
description: scientific article; zbMATH DE number 7437089