Sutcliffe, GeoffSchulz, StephanClaessen, KoenBaumgartner, Peter2015-12-10March 11-19783642287169http://hdl.handle.net/1885/65107The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has been extended to include a typed first-order logic, which in turn has enabled the integration of arithmetic. This paper describes these developments.Keywords: Automated theorem proving; First order logic; First-order form; Artificial intelligence; Theorem proving; Automata theory201210.1007/978-3-642-28717-6_322016-06-14