On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus.

Published in: CoRR (2024)

Keyphrases

database query languages
theorem proving
consequence finding
high resolution
computer algebra
proof procedure
information systems
database
learning algorithm
low resolution
expressive power
real numbers
temporal resolution
provably correct