scientific article; zbMATH DE number 3986670

zbMATH Open0609.68064MaRDI QIDQ3750141FDOQ3750141

Dieter Hutter

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• The automation of proof by mathematical induction
• Induction proofs with partial functions
• scientific article; zbMATH DE number 1614706
• Automatic inductive theorem proving using Prolog
• Combining induction and saturation-based theorem proving

zbMATH Keywords

symbolic evaluationInductive theorem proversresolution prover for simplifying formulas in a goal-directed way

Mathematics Subject Classification ID

Cited In (2)

• Guiding induction proofs
• Proof normalization for resolution and paramodulation

This page was built for publication:

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