Conciseness of first-order formulae

Preprint 25025
PDF
Authors: Martina Conte, Moritz Petschick
Project: A6
Submission date: 05 May 2025