Keyphrases
- theorem proving
- theorem prover
- automated theorem proving
- proof search
- inference rules
- automated deduction
- first order logic
- vector space
- computer algebra
- robust image watermarking
- real world
- answer set programming
- proof procedure
- cover image
- watermarking algorithm
- data sets
- image quality
- digital images
- pairwise
- databases