A Model Generation Style Completeness Proof for Constraint Tableaux with Superposition.

Published in: TABLEAUX (2002)

Keyphrases

theorem proving
decision procedures
proof procedure
automated reasoning
global constraints
theorem prover
sequent calculi
linear constraints
modal logic
neural network
data quality
search space
artificial intelligence
linear logic
automated theorem proving
proof search
data sets