Who finds the short proof?

DOI10.1093/JIGPAL/JZAC082MaRDI QIDQ6639602

Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe

Publication date: 15 November 2024

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

zbMATH Keywords

comprehensioncut-introductionhigher-order automated theorem provingBoolos' curious inferencespeedup of proofs

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

Lemmas: generation, selection, application

This page was built for publication: Who finds the short proof?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6639602)