Experiments with a heuristic theorem-proving program for predicate calculus with equality

DOI10.1016/0004-3702(71)90013-0MaRDI QIDQ2551695zbMATH OpenOpenAlexFDO

Authors Lewis M. Norton

Publication date 1971

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0004-3702(71)90013-0

Mathematics Subject Classification ID

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• Completeness of Linear Refutation for Theories with Equality
• Efficiency and Completeness of the Set of Support Strategy in Theorem Proving
• Experiments in automatic learning for a multipurpose hueristic program
• scientific article; zbMATH DE number 3349331 (Why is no real title available?)
• scientific article; zbMATH DE number 3349334 (Why is no real title available?)
• The Unit Proof and the Input Proof in Theorem Proving

Cited in

(5)

• A relaxation approach to splitting in an automatic theorem prover
• Non-resolution theorem proving
• Splitting and reduction heuristics in automatic theorem proving
• The practicality of generating semantic trees for proofs of unsatisfiability
• MRPPS?An interactive refutation proof procedure system for question-answering

This page was built for publication: Experiments with a heuristic theorem-proving program for predicate calculus with equality

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