scientific article; zbMATH DE number 3986666

zbMATH Open0609.68060MaRDI QIDQ3750137FDOQ3750137

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

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• 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

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)

Cited In (5)

• Increasing the efficiency of automated theorem proving
• Refinements to depth-first iterative-deepening search in automatic theorem proving
• Experiments with discrimination-tree indexing and path indexing for term retrieval
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Title not available (Why is that?)

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)