Keyphrases
- theorem prover
- natural deduction
- theorem proving
- automated theorem proving
- first order logic
- proof search
- inference rules
- formal proof
- proof planning
- johnson lindenstrauss
- database
- cut elimination
- sequent calculus
- image processing
- data mining
- probability distribution
- special case
- web services
- decision making
- social networks
- mathematical proofs
- data sets