A Proof of Beigel's Cardinality Conjecture.

Published in: J. Symb. Log. (1992)

Keyphrases

theorem prover
theorem proving
proof planning
cardinality constraints
geometry theorem proving
database
data structure
expert systems
integrity constraints
modal logic
formal proof