Skip to search formSkip to main contentSkip to account menu

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 (opens in a new tab)

Related topics

Related topics

11 relations
Automated theorem provingCADE ATP System CompetitionConjunctive normal formCygwin

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… 
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… 
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… 
Highly Cited
2007
Highly Cited
2007
Die Nutzung psychologischer Verfahren der externen Personalauswahl in deutschen Unternehmen Ein Vergleich über 20 Jahre
This paper presents the current practice of using selection instruments in 125 German organizations of different sizes and… 
Highly Cited
2006
Highly Cited
2006
Receiving and providing support in couples dealing with multiple sclerosis: a diary study using an equity perspective
This study examined the effects of daily support exchanges in couples facing multiple sclerosis (MS). Two issues were examined… 
Review
2004
Review
2004
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… 
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 (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)