The TPTP Convention for New Symbol Names

This page describes the TPTP convention for the names of new symbols that are introduced by ATP systems when processing a TPTP problem.

If you are interested in the history and motivations behind this convention, read the source of this web page.