Ground Joinability and Connectedness in the Superposition Calculus.

André Duarte Konstantin Korovin

Published in: IJCAR (2022)

Keyphrases

theorem proving
automated theorem proving
automated deduction
neural network
real world
connected components
proof procedure
real time
decision trees
multiscale
data structure
complex objects
algebraic structure
computer algebra