Keyphrases
- theorem prover
- natural deduction
- theorem proving
- inference rules
- n gram
- related words
- noun phrases
- higher order logic
- sequent calculus
- english words
- unknown words
- text documents
- first order logic
- formal methods
- linguistic information
- machine learning
- word sense disambiguation
- text recognition
- information retrieval systems
- proper nouns
- keywords