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

Published in: IJCAR (1) (2024)

Keyphrases

database query languages
theorem proving
consequence finding
high resolution
automated deduction
e learning
search space
sampling rate
proof procedure
automated theorem proving
conflict detection