Switch to: References

Citations of:

Rippling: A heuristic for guiding inductive proofs

Alan Bundy, Andrew Stevens, Frank van Harmelen, Andrew Ireland & Alan Smaill

Artificial Intelligence 62 (2):185-253 (1993)

Add citations

You must login to add citations.

Supporting the formal verification of mathematical texts.Claus Zinn - 2006 - Journal of Applied Logic 4 (4):592-621.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 1 citation
Proving theorems by reuse.Christoph Walther & Thomas Kolbe - 2000 - Artificial Intelligence 116 (1-2):17-66.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark
Induction and Skolemization in saturation theorem proving.Stefan Hetzl & Jannik Vierling - 2023 - Annals of Pure and Applied Logic 174 (1):103167.details Mathematical Logic in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 1 citation

1