Automated theorem proving (ATP) encompasses a range of computational techniques for establishing the validity of logical statements within formal systems. These systems employ proof calculi—such as ...