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  ; Fuenmayor Pelaez, David  ; Steen, Alexander; Sutcliffe, Geoff
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