@misc{indiciae72e5f69f201a,
  title = {Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument},
  author = {Christoph Benzmüller and David Fuenmayor},
  year = {2020},
  doi = {10.18778/0138-0680.2020.08},
  url = {https://arxiv.org/abs/1910.08955},
  note = {Source identifier: 1910.08955}
}