Termination of theorem proving by reuse

DOI10.1007/3-540-61511-3_72zbMath1412.68241OpenAlexW1534959140MaRDI QIDQ4647503

Thomas Kolbe, Christoph Walther

Publication date: 15 January 2019

Published in: Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61511-3_72

Mathematics Subject Classification ID

Related Items (2)

Termination of theorem proving by reuse ⋮ Plagiator — A learning prover

Uses Software

• PLAGIATOR
• SPIKE

Cites Work

• Unnamed Item
• Unnamed Item
• Termination of rewriting
• Computational approaches to analogical reasoning: A comparative analysis
• A theory of abstraction
• Productive use of failure in inductive proof
• Proving termination with multiset orderings
• Termination of theorem proving by reuse

This page was built for publication: Termination of theorem proving by reuse