PROTEIN: A PROver with a Theory Extension Interface (1994)
Cached
Download Links
- [users.rsise.anu.edu.au]
- [rsise.anu.edu.au]
- DBLP
Other Repositories/Bibliography
by
Peter Baumgartner
,
Ulrich Furbach
| Venue: | AUTOMATED DEDUCTION -- CADE-12, VOLUME 814 OF LNAI |
| Citations: | 40 - 10 self |
BibTeX
@INPROCEEDINGS{Baumgartner94protein:a,
author = {Peter Baumgartner and Ulrich Furbach},
title = {PROTEIN: A PROver with a Theory Extension Interface},
booktitle = {AUTOMATED DEDUCTION -- CADE-12, VOLUME 814 OF LNAI},
year = {1994},
pages = {769--773},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
