scientific article

zbMATH Open0609.68064MaRDI QIDQ3750141FDOQ3750141

Dieter Hutter

Publication date: 1986

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

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

   Recommendations

• The automation of proof by mathematical induction 👍 👎
• Induction proofs with partial functions 👍 👎
• Title not available (Why is that?) 👍 👎
• Automatic inductive theorem proving using Prolog 👍 👎
• Combining induction and saturation-based theorem proving 👍 👎

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)