The Illinois Prover: A General Purpose Resolution Theorem Prover.
Steven GreenbaumDavid A. PlaistedPublished in: CADE (1986)
Keyphrases
- theorem prover
- general purpose
- theorem proving
- automated theorem proving
- automated reasoning
- inference rules
- term rewriting
- computer algebra
- special purpose
- first order logic
- automated deduction
- proof search
- formal proof
- high resolution
- formal semantics
- application specific
- higher order logic
- domain specific
- natural deduction
- boolean algebra
- proof planning
- low resolution
- simulated annealing
- timed automata
- data points
- artificial intelligence
- mathematical knowledge
- state government
- north carolina