4 ms·We have been doing automated theorem proving since 1954.by JohnKemeny 1y agoWe have been doing automated theorem proving since 1954.