Keyphrases
- theorem prover
- automated theorem proving
- proof search
- theorem proving
- first order logic
- automated reasoning
- inference rules
- proof planning
- computer algebra
- left ventricle
- higher order logic
- term rewriting
- description logics
- proof procedure
- timed automata
- tagged mri
- formal semantics
- formal proof
- mathematical knowledge
- expert systems
- linear logic
- predicate calculus