@misc{indiciae9d982f56dce1,
  title = {A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument},
  author = {John Rushby},
  year = {2022},
  doi = {10.1007/978-3-030-43535-6\_13},
  url = {https://arxiv.org/abs/2205.14071},
  note = {Source identifier: 2205.14071}
}