Superposition-based Equality Handling for Analytic Tableaux.

Published in: J. Autom. Reason. (2007)

Keyphrases

three dimensional
modal logic
automated reasoning
databases
neural network
feature selection
high level
computational complexity
probability distribution
functional dependencies
theorem proving
decision procedures