Keyphrases
- theorem prover
- text generation
- theorem proving
- first order logic
- inference rules
- automated reasoning
- term rewriting
- automated deduction
- automated theorem proving
- computer algebra
- higher order logic
- formal proof
- natural language generation
- boolean algebra
- proof search
- natural deduction
- text retrieval
- mathematical knowledge
- information retrieval
- computer algebra systems
- proof planning
- timed automata
- text documents
- artificial intelligence