DBFW: A Simple DataBase FrameWork for the Evaluation and Maintenance of Automated Theorem Prover Data.
Peter JakobiAndreas WolfPublished in: CSMR (1998)
Keyphrases
- database
- theorem prover
- data sets
- stored data
- data analysis
- knowledge discovery
- databases
- small number
- database systems
- training data
- data structure
- database queries
- automated reasoning
- search algorithm
- relational databases
- xml documents
- data mining techniques
- training examples
- first order logic
- artificial intelligence