@misc{indiciaee918101a15ea,
  title = {Gödel's and Scott's Variants of the Ontological Argument in Lean 4 and TPTP THF},
  author = {Christoph Benzmüller},
  year = {2026},
  url = {https://arxiv.org/abs/2609.26806},
  note = {Source identifier: 2609.26806}
}