Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof.

Christoph Wernhard

Published in: SOQE@KR (2021)

Keyphrases

quantifier elimination
presburger arithmetic
constraint propagation
functional programming
first order logic
cardinality constraints
constraint databases
theorem proving
theorem prover
database
data management
integrity constraints