Keyphrases
- theorem proving
- theorem prover
- mathematical proofs
- natural deduction
- data sets
- modular neural networks
- modular neural network
- modular structure
- genetic algorithm
- knowledge representation
- databases
- search engine
- computational complexity
- formal proof
- search algorithm
- optimal solution
- mathematical knowledge
- formal proofs
- equational theories
- multimedia