CODE: A powerful prover for problems of condensed detachment

DOI10.1007/3-540-63104-6_25zbMath1430.68405OpenAlexW1501565997MaRDI QIDQ5234708

Matthias Fuchs, Dirk Fuchs

Publication date: 1 October 2019

Published in: Automated Deduction—CADE-14 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63104-6_25

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

CoDe ⋮ Evaluating general purpose automated theorem proving systems

Uses Software

• OTTER
• TPTP
• SCOTT

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Meeting the challenge of fifty years of logic
• An automatic theorem prover for substitution and detachment systems
• Searching for circles of pure proofs
• Experiments in the heuristic use of past proof experience
• The TPTP problem library

This page was built for publication: CODE: A powerful prover for problems of condensed detachment