**CMU Artificial Intelligence Repository**

` `

## Problem Libraries for Theorem Proving and Automated
Reasoning

areas/reasonng/atp/problems/
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

AI.Repository@cs.cmu.edu