Skip to main content
Conference Proceedings

SEMANTIC TREES IN AUTOMATIC THEOREM-PROVING

DOI: 10.1007/978-3-642-81955-1_13
64Citations
Citations of this article
4Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Application of modified version of semantic trees to problem of finding efficient rules of proof for mechanical theorem-proving, from viewpoint of clash resolution using semantic tree for predicate calculus without equality; report on attempts to apply methods of semantic trees to construction of inference systems for predicate calculus with equality.

Cite

CITATION STYLE

APA

KOWALSKI R, & HAYES PJ. (1969). SEMANTIC TREES IN AUTOMATIC THEOREM-PROVING (pp. 87–101). https://doi.org/10.1007/978-3-642-81955-1_13

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free