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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
We present in this short communication “E Theorem Prover and Verification of Smart Devices & Protocols Based on IoT Environments… (More)
  • figure I
  • figure II
Is this relevant?
2012
2012
Is that your final answer? The effects of neutral queries on children’s choices Aaron Gonzalez 1 , Patrick Shafto 2 , Elizabeth… (More)
  • figure 1
  • table 1
  • figure 2
Is this relevant?
2012
2012
Over the last 200 years, where, when and how Americans die has changed dramatically. Throughout the 19th and early 20th centuries… (More)
Is this relevant?
Highly Cited
2010
Highly Cited
2010
  • P O O N A
  • 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… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Interpolating provers have a variety of applications in verification, including invariant generation and abstraction refinement… (More)
  • table 1
Is this relevant?
2007
2007
We present an application of a modeling method for distributed systems to a case study of mobile phone camera functionality based… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
In this paper an approach to the exhaustive interpretation of answers is developed. It builds on a proposal brought forward by… (More)
  • figure 1
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Zusammenfassung. Die Berliner Social Support Skalen (BSSS; Schwarzer & Schulz, 2000) unterscheiden sich von anderen… (More)
Is this relevant?
1999
1999
We describe the main characteristics of version 0.61 of the E equational theorem prover. E is based on superposition (with… (More)
Is this relevant?
1984
1984
Method and apparatus for the compression and restraint of blocks of polyurethane foam or similar material to a small percentage… (More)
  • table 1
Is this relevant?