Extensions to the rippling-out tactic for guiding inductive proofs

DOI10.1007/3-540-52885-7_84zbMath1509.683MaRDI QIDQ6488527

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

Publication date: 28 April 2023

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Extensions to the rippling-out tactic for guiding inductive proofs