SETHEO: A high-performance theorem prover

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Journal of Automated Reasoning

Abbreviated Title: J Autom Reasoning

Publisher: Springer Science and Business Media LLC

ISSN (Print): 0168-7433

ISSN (Electronic): 1573-0670

Publication date Created: April 1992

Publication date (Print): April 1992

Volume: 8

Issue: 2

Article

DOI: 10.1007/BF00244282

SO-VID: 386365dd-eeec-49d5-8811-423b661b5eea

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.