PARTHEO
swMATH ID:  9981 
Software Authors:  Schumann, J., Letz, R. 
Description:  PARTHEO: A highperformance parallel theorem prover. PARTHEO, a sound and complete orparallel theorem prover for firstorder logic is presented. The proof calculus is model elimination. PARTHEO consists of a uniform network of sequential theorem provers communicating via message passing. Each sequential prover is implemented as an extension of Warren’s abstract machine. PARTHEO is written in parallel C and is running on a network of 16 transputers. The paper comprises a description of the system architecture, the theoretical background, details of the implementation, and results of performance measurements. 
Homepage:  http://link.springer.com/chapter/10.1007/3540528857_78 
Related Software:  SETHEO; METEOR; TPTP; SicoTHEO; OTTER; PARTHENON; Isabelle; ACL2; DISCOUNT; EMaLeS; E Theorem Prover; Sledgehammer; VAMPIRE; APS; APS1; Maude; PVS; HOT; Roo; Nuprl 
Cited in:  13 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

PARTHEO: A highperformance parallel theorem prover. Zbl 0708.68076 Schumann, J.; Letz, R. 
1990

all
top 5
Cited by 21 Authors
Cited in 4 Serials
2  Annals of Mathematics and Artificial Intelligence 
1  Theoretical Computer Science 
1  Journal of Automated Reasoning 
1  Cybernetics and Systems Analysis 
Cited in 2 Fields
13  Computer science (68XX) 
1  Mathematical logic and foundations (03XX) 