Mathematics in the TPTP World

Abstract