40 citations · 43 across the 6 of their papers we have counts for
1 paper · 1 filter
Christoph Benzmüller, Bruno Woltzenlogel Paleo
Gödel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has b…