- Referenced in 120 articles
- SETHEO: A high-performance theorem prover. The paper...
- Referenced in 316 articles
- Our current automated deduction system Otter is designed...
- Referenced in 179 articles
- SPASS is an automated theorem prover for first...
- Referenced in 18 articles
- E-SETHEO: An automated3 theorem prover We have...
- Referenced in 44 articles
- Waldmeister is a theorem prover for unit equational...
- Referenced in 14 articles
- A distributed and learning equational prover DISCOUNT. The...
- Referenced in 6 articles
- A semantically guided first-order theorem prover CLIN...
- Referenced in 4 articles
- SPS-parallelism+SETHEO=SPTHEO. This paper describes the...