Who Finds the Short Proof? : an Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
Faculty/Professorship: | AI Systems Engineering |
Author(s): | Benzmüller, Christoph ![]() ![]() |
Publisher Information: | arXiv |
Year of publication: | 2022 |
Pages: | 12 |
Language(s): | English |
DOI: | 10.48550/ARXIV.2208.06879 |
URL: | https://arxiv.org/pdf/2208.06879.pdf |
Type: | Preprint |
URI: | https://fis.uni-bamberg.de/handle/uniba/55558 |
Release Date: | 16. September 2022 |

originated at the
University of Bamberg
University of Bamberg