2013
DOI: 10.1007/978-3-642-45221-5_49
|View full text |Cite
|
Sign up to set email alerts
|

System Description: E 1.8

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
115
0

Year Published

2016
2016
2019
2019

Publication Types

Select...
6
4

Relationship

3
7

Authors

Journals

citations
Cited by 152 publications
(115 citation statements)
references
References 13 publications
0
115
0
Order By: Relevance
“…For a short description of E including performance data, see [Sch04]. A more detailed description has been published as [Sch02b], while the most recent published description is [Sch13]. Most papers on E and much more information is available at or a few hops away from the E home page, http://www.eprover.org.…”
Section: Introductionmentioning
confidence: 99%
“…For a short description of E including performance data, see [Sch04]. A more detailed description has been published as [Sch02b], while the most recent published description is [Sch13]. Most papers on E and much more information is available at or a few hops away from the E home page, http://www.eprover.org.…”
Section: Introductionmentioning
confidence: 99%
“…E [23], SPASS [25], and Vampire [18], are based on resolution and an extension called superposition. Studying the resolution calculus is furthermore an integral part of many university courses on logic in computer science.…”
Section: Introductionmentioning
confidence: 99%
“…Most current first-order ATPs, such as E [45], iProver [34], or Vampire [36], output proofs in the TSTP (Thousands of Solutions from Theorem Provers) format [51] from the TPTP initiative [50]. 1 This format has a standard syntax and fixed conventions [53].…”
Section: Current Situationmentioning
confidence: 99%