Kirchner, DanielDanielKirchner0000-0001-9229-11482025-02-042025-02-042025https://fis.uni-bamberg.de/handle/uniba/106098-engMetaphysics004Computer-Verified Foundations of Metaphysicsarticleurn:nbn:de:bvb:473-irb-1060980