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

Related topics

Related topics

11 relations
Automated theorem provingCADE ATP System CompetitionConjunctive normal formCygwin
(More)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Protocol / s Verification in the context of IoT based on E Theorem Prover
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
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
Death and Dying in the Contemporary United States: What are the Psychological Implications of Anticipated Death?
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
Intrinsic Motivation and Academic Achievement What Does Their Relationship Imply for the Classroom Teacher ?
  • 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
Quantified Invariant Generation Using an Interpolating Saturation Prover
Interpolating provers have a variety of applications in verification, including invariant generation and abstraction refinement… (More)
  • table 1
Is this relevant?
2007
2007
A Case Study: Applying Lyra in Modeling S60 Camera Functionality
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
Pragmatic Meaning and Non-monotonic Reasoning: The Case of Exhaustive Interpretation
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
Soziale Unterstützung bei der Krankheitsbewältigung: Die Berliner Social Support Skalen (BSSS)
Zusammenfassung. Die Berliner Social Support Skalen (BSSS; Schwarzer & Schulz, 2000) unterscheiden sich von anderen… (More)
Is this relevant?
1999
1999
System Abstract: E 0.61
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
Student use of an interactive theorem prover
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?