Keyphrases
- theorem proving
- first order logic
- automated reasoning
- decision procedures
- theorem prover
- parallel search
- inference rules
- automatic programming
- automated deduction
- equational theories
- consequence finding
- term rewriting
- automated theorem proving
- proof planning
- distributed search
- proof procedure
- geometry theorem proving
- proof search
- logical inference
- search space
- data mining
- combinatorial search