CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

SETHEO: SEquential THEOrem prover

areas/reasonng/atp/systems/setheo/
SETHEO (SEquential THEOrem prover) is an automated theorem prover for formulae of predicate logic. SETHEO is based on the calculus of ``connection tableaux''.
Origin:   

   flop.informatik.tu-muenchen.de:/pub/fki/ [131.159.8.35]
   as the files setheo.info and setheo.tar.Z.

Version: 3.0 (26-APR-93) Ports: SETHEO runs on Sun SPARCs only. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Contact: setheo@informatik.tu-muenchen.de Intellektik Attn. M. Moser Technische Universitaet Muenchen Institut fuer Informatik Augustenstr. 46 RGB 8000 Muenchen 2 Germany Keywords: Authors!Moser, Automated Reasoning, Reasoning!Automated Reasoning, SETHEO, Theorem Proving References: ?
Last Web update on Mon Feb 13 10:27:39 1995
AI.Repository@cs.cmu.edu