Increasing the efficiency of automated theorem proving

DOI10.1080/11663081.1995.10510841zbMATH Open0827.68100OpenAlexW2103879019MaRDI QIDQ4835513FDOQ4835513

Authors: G. Aguilera, M. Ojeda, I. P. de Guzmán 

Publication date: 13 December 1995

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1995.10510841

Recommendations

• scientific article; zbMATH DE number 3986666
• Automated theorem proving methods
• Proof simplification and automated theorem proving
• scientific article; zbMATH DE number 4043814
• Another look at automated theorem-proving
• scientific article; zbMATH DE number 49488
• scientific article; zbMATH DE number 1100750
• scientific article; zbMATH DE number 3938595
• scientific article; zbMATH DE number 3881899

zbMATH Keywords

automated theorem prover

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On finding common subtrees
• Automated Theorem Proving: After 25 Years
• Title not available (Why is that?)
• Title not available (Why is that?)
• Generation and Verification of Finite Models and Counterexamples Using an Automated Theorem Prover Answering Two Open Questions
• Seventy-five problems for testing automatic theorem provers

Cited In (10)

• Title not available (Why is that?)
• Improving automation for higher-order proof steps
• Title not available (Why is that?)
• Refinements to depth-first iterative-deepening search in automatic theorem proving
• Title not available (Why is that?)
• Temporal reasoning over linear discrete time
• A multi-clause dynamic deduction algorithm based on standard contradiction separation rule
• A first polynomial non-clausal class in many-valued logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• TAS

This page was built for publication: Increasing the efficiency of automated theorem proving

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