Complexity of theorem-proving procedures : some general properties.
Giuseppe LongoMarisa Venturini ZilliPublished in: RAIRO Theor. Informatics Appl. (1974)
Keyphrases
- theorem proving
- inference rules
- first order logic
- automated reasoning
- decision procedures
- proof planning
- automated deduction
- automatic programming
- parallel search
- consequence finding
- equational theories
- automated theorem proving
- proof procedure
- term rewriting
- theorem prover
- desirable properties
- geometry theorem proving
- distributed search
- logical inference
- timed automata
- combinatorial search
- training data
- predicate calculus
- concept formation
- logic programs