@misc{indiciae9b1a92dd1598,
  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},
  url = {https://arxiv.org/abs/2001.04701},
  note = {Source identifier: 2001.04701}
}