automated theorem proving, automated theorem proving process, TPTP, TPTP Process Instruction language.