Login / Signup
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof.
Christoph Wernhard
Published in:
CoRR (2021)
Keyphrases
</>
quantifier elimination
presburger arithmetic
constraint propagation
functional programming
constraint databases
first order logic
cardinality constraints
theorem proving
database
theorem prover
algebraic structure