CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Problem Libraries for Theorem Proving and Automated Reasoning


   atp/       ATP Problem Library
   tptp/      TPTP: Problem Library for Automated Theorem 
              Proving Systems
This directory contains problem libraries for Theorem Proving and Automated Reasoning.
CD-ROM: Prime Time Freeware for AI, Issue 1-1 Keywords: Automated Reasoning!Problem Libraries, Reasoning!Automated Reasoning, Test Problems, Theorem Proving!Problem Libraries
Last Web update on Mon Feb 13 10:27:26 1995