scientific article
From MaRDI portal
Publication:2751366
zbMath0994.03006MaRDI QIDQ2751366
Publication date: 27 August 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automated theorem provinginductive theorem provinginductionless inductionproof by consistencyinductive completioninductive saturationminimal Herbrand models
Related Items
Sound generalizations in mathematical induction, Reducing equational theories for the decision of static equivalence, Proving termination by dependency pairs and inductive theorem proving, Mechanically certifying formula-based Noetherian induction reasoning, Proving weak properties of rewriting, A Decidable Class of Nested Iterated Schemata, Perfect Discrimination Graphs: Indexing Terms with Integer Exponents, Termination Analysis by Dependency Pairs and Inductive Theorem Proving, Combining induction and saturation-based theorem proving, Schematic Cut Elimination and the Ordered Pigeonhole Principle, Induction in saturation-based proof search, Analysis of the Collision Resistance of RadioGatúnUsing Algebraic Techniques, Inductive proof search modulo, A Tableaux-Based Decision Procedure for Multi-parameter Propositional Schemata, Induction and Skolemization in saturation theorem proving, Finite reasons for safety
