SiCoTHEO: Simple competitive parallel theorem provers

DOI10.1007/3-540-61511-3_87MaRDI QIDQ4647520zbMATH OpenOpenAlexFDO

Authors

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_87

zbMATH Keywords

automated deductiontheorem proverunit clausemodel eliminationsearch mode

Mathematics Subject Classification ID

Cites work

• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• SETHEO: A high-performance theorem prover
• SiCoTHEO: Simple competitive parallel theorem provers
• The TPTP problem library

Cited in

(2)

• SiCoTHEO: Simple competitive parallel theorem provers
• SETHEO goes software engineering: application of ATP to software reuse

Describes a project that uses

Uses Software

• SicoTHEO
• TPTP
• SETHEO

This page was built for publication: SiCoTHEO: Simple competitive parallel theorem provers

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