Articles of automated theorem proving