Keyphrases
- theorem prover
- natural deduction
- theorem proving
- first order logic
- related words
- inference rules
- n gram
- higher order logic
- real time
- batch processing
- text documents
- knowledge representation
- word meaning
- proper nouns
- word sense disambiguation
- language model
- semantic relationships
- word segmentation
- word recognition
- text mining
- scheduling problem
- english words
- keywords