Who Finds the Short Proof? : an Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
Benzmüller, Christoph; Fuenmayor, David; Steen, Alexander; u. a. (2022): Who Finds the Short Proof? : an Exploration of Variants of Boolos’ Curious Inference using Higher-order Automated Theorem Provers, in: arXiv, doi: 10.48550/ARXIV.2208.06879.
