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

Related topics

Related topics

11 relations
Automated theorem provingCADE ATP System CompetitionConjunctive normal formCygwin
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach
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
The TPTP Problem Library and Associated Infrastructure
  • 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
Changing Minds With the Story of Adaptation: Strategies for Teaching Young Children About Natural Selection
ABSTRACT Research Findings: Educational guidelines recommend a delayed, piecemeal approach to instruction on adaptation by… 
Review
2016
Review
2016
Children’s Ability to Learn Evolutionary Explanations for Biological Adaptation
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 for the Symbolic Analysis of Security Protocols
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
Intrinsic Motivation and Academic Achievement What Does Their Relationship Imply for the Classroom Teacher ?
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
The TPTP Problem Library and Associated Infrastructure
  • 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
Quantified Invariant Generation Using an Interpolating Saturation Prover
Interpolating provers have a variety of applications in verification, including invariant generation and abstraction refinement… 
  • table 1
Review
2003
Review
2003
Ontologies for Knowledge Management: An Information Systems Perspective
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
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… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE