AC Simplifications and Closure Redundancies in the Superposition Calculus.

André Duarte Konstantin Korovin

Published in: CoRR (2021)

Keyphrases

theorem proving
formal language
automated theorem proving
computer algebra
information content
provably correct
artificial intelligence
database systems
arc consistency
temporal correlation
redundant data