TY  - RPRT
TI  - Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof
AU  - Christoph Wernhard
PY  - 2021
UR  - https://arxiv.org/abs/2110.11108
ID  - 2110.11108
ER  -