Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

E theorem prover

Known as: E (disambiguation), E equational theorem prover, Stephan Schulz 
E is a high performance theorem prover for full first-order logic with equality. It is based on the equational superposition calculus and uses a… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
This paper presents a specification of the hybrid ERTMS/ETCS level 3 standard in the framework of the case study proposed for the… 
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 5
Review
2017
Review
2017
  • G. Sutcliffe
  • Journal of Automated Reasoning
  • 2017
  • Corpus ID: 31280466
This paper describes the TPTP problem library and associated infrastructure, from its use of Clause Normal Form (CNF), via the… 
  • figure 1
  • table 2
  • table 3
  • table 4
  • table 4
2016
2016
ABSTRACT Research Findings: Educational guidelines recommend a delayed, piecemeal approach to instruction on adaptation by… 
Review
2016
Review
2016
ABSTRACT Research Findings: Evolution by natural selection is often relegated to the high school curriculum on the assumption… 
Review
2013
Review
2013
The Tamarin prover supports the automated, unbounded, symbolic analysis of security protocols. It features expressive languages… 
  • figure 1
  • table 1
Highly Cited
2010
Highly Cited
2010
L ^ N C O U R A G I N G CHILDREN'S INTRINSIC MOTIVATION CAN HELP THEM TO ACHIEVE ACADEMIC SUCCESS (ADELMAN, 1978; ADELMAN… 
Review
2009
Review
2009
  • G. Sutcliffe
  • Journal of Automated Reasoning
  • 2009
  • Corpus ID: 22380105
This paper describes the First-Order Form (FOF) and Clause Normal Form (CNF) parts of the TPTP problem library, and the… 
  • table 1
  • figure 1
  • table 2
  • table 3
  • table 4
Highly Cited
2008
Highly Cited
2008
Interpolating provers have a variety of applications in verification, including invariant generation and abstraction refinement… 
  • table 1
Review
2003
Review
2003
Knowledge management research focuses on concepts, methods, and tools supporting the management of human knowledge. The main… 
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Highly Cited
2003
Highly Cited
2003
Zusammenfassung. Die Berliner Social Support Skalen (BSSS; Schwarzer & Schulz, 2000) unterscheiden sich von anderen…