@article{asimplifiedsupremebeingnecessarilyexists,
  title = {A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological Argument},
  author = {Christoph Benzmüller},
  year = {2020},
  eprint = {2001.04701},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2001.04701v9},
}