Kirchner, DanielDanielKirchner0000-0001-9229-11482024-11-042024-11-0420241610-1987https://fis.uni-bamberg.de/handle/uniba/104324engComputer-Verified Foundations of Metaphysicsarticle10.1007/s13218-024-00834-zhttps://link.springer.com/content/pdf/10.1007/s13218-024-00834-z.pdf