1 paper · 1 filter
Jeffrey Uhlmann
In this note we observe that automated theorem provers (ATPs) that recursively enumerate theorems in a particular way will fail to identify some valid theorems for a reason that is…