Keyphrases
- theorem prover
- term rewriting
- formal proof
- formal proofs
- theorem proving
- databases
- rewrite systems
- equational theories
- mathematical proofs
- website
- high level
- similarity measure
- natural deduction
- term rewrite systems
- mathematical knowledge
- active rules
- special case
- preprocessing
- multi agent
- case study
- knowledge base
- learning algorithm
- neural network