Reference and TPTP Documents

Reference Documents

• Bibligraphy

• Reverse Index

  ANCES2                           [RR+72]    : SYN032-1.p
  andrews.in                       [OTTER]    : SYN036-1.p
  animals.ver1.in                  [ANL]      : PUZ002-1.p
  AP1.1                            [Qua92]    : SET531-6.p
     ...

TPTP Documents

• History

• ReadMe

• Template for problem submission

• List of TPTP Users