scientific article; zbMATH DE number 3986666

MaRDI QIDQ3750137zbMATHFDO

Authors R. Butler, Ewing Lusk, William McCune, Ross A. Overbeek

Publication date 1986

zbMATH Keywords

compactionmultiprocessingdatabase indexingclause compilationimplementation of high-performance automated theorem proving systemsSam's Lemma

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to computer science (68-04)

Recommendations

• scientific article; zbMATH DE number 4164187
• The search efficiency of theorem proving strategies
• scientific article; zbMATH DE number 1037485
• Increasing the efficiency of automated theorem proving
• SETHEO: A high-performance theorem prover

Cited in

(5)

• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Experiments with discrimination-tree indexing and path indexing for term retrieval
• Refinements to depth-first iterative-deepening search in automatic theorem proving
• Increasing the efficiency of automated theorem proving
• scientific article; zbMATH DE number 1748586 (Why is no real title available?)

This page was built for publication:

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