A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
Protein: A PROver with a Theory Extension INterface
[chapter]
1994
Lecture Notes in Computer Science
PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements known for model elimination, PROTEIN also offers a variant of model elimination for case-based reasoning and which does not need contrapositives. PROTEIN is a complete theorem prover for first order clause logic. It is characterized by the following features: -PROTEIN is based on the PTTP implementation technique [Sti88] for model elimination
doi:10.1007/3-540-58156-1_57
fatcat:wpnsodwck5eohicbkaabbd2nnq