CODE: A powerful prover for problems of condensed detachment

DOI10.1007/3-540-63104-6_25MaRDI QIDQ5234708zbMATH OpenOpenAlexFDO

Authors Dirk Fuchs, Matthias 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)

Cites work

• An automatic theorem prover for substitution and detachment systems
• Experiments in the heuristic use of past proof experience
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 1348483 (Why is no real title available?)
• scientific article; zbMATH DE number 1552512 (Why is no real title available?)
• scientific article; zbMATH DE number 3335866 (Why is no real title available?)
• Meeting the challenge of fifty years of logic
• Searching for circles of pure proofs
• The TPTP problem library

Cited in

(3)

• Evaluating general purpose automated theorem proving systems
• CoDe
• Investigations into proof structures

Describes a project that uses

Uses Software

• OTTER
• TPTP
• SCOTT

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5234708)