Search

• < Previous
• 1
• Next >

Clause Set Cycles and Induction

In this article we relate a family of methods for automated inductive theorem proving based on cycle detection in saturation-based provers to well-known theories of induction. To this end we introduce the notion of clause set cycles -- a formalism abstracting a certain type of cyclic dependency&nbsp;[&hellip;]