Keyphrases
- automatically extracted
- text extraction
- automatically extracting
- theorem prover
- text retrieval
- free text
- textual data
- theorem proving
- information retrieval
- text data
- computational linguistics
- information retrieval systems
- data sets
- information extraction
- case study
- learning algorithm
- genetic algorithm
- text processing
- databases