A Generalized Resolution Proof Schema and the Pigeonhole Principle.
David M. CernaPublished in: CoRR (2016)
Keyphrases
- automatic theorem proving
- data model
- databases
- database schema
- high resolution
- xml schema
- relational databases
- data mining
- information retrieval
- semantically enriched
- high quality
- query language
- low resolution
- real time
- query interface
- theorem proving
- multiresolution
- multiscale
- image sequences
- case study
- social networks