Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,023,940 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Automated theorem proving
CADE ATP System Competition
Conjunctive normal form
Cygwin
Expand
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…
Expand
2016
2016
Changing Minds With the Story of Adaptation: Strategies for Teaching Young Children About Natural Selection
Natalie A. Emmons
,
Hayley Smith
,
D. Kelemen
Young Children’s Developing Understanding of the…
2016
Corpus ID: 36084776
ABSTRACT Research Findings: Educational guidelines recommend a delayed, piecemeal approach to instruction on adaptation by…
Expand
Review
2016
Review
2016
Children’s Ability to Learn Evolutionary Explanations for Biological Adaptation
Andrew Shtulman
,
Cara Neal
,
Gabrielle Lindquist
Young Children’s Developing Understanding of the…
2016
Corpus ID: 28255937
ABSTRACT Research Findings: Evolution by natural selection is often relegated to the high school curriculum on the assumption…
Expand
Review
2013
Review
2013
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Simon Meier
,
Benedikt Schmidt
,
C. Cremers
,
D. Basin
International Conference on Computer Aided…
2013
Corpus ID: 17458545
The Tamarin prover supports the automated, unbounded, symbolic analysis of security protocols. It features expressive languages…
Expand
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
Corpus ID: 16970107
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…
Expand
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…
Expand
Highly Cited
2007
Highly Cited
2007
Die Nutzung psychologischer Verfahren der externen Personalauswahl in deutschen Unternehmen Ein Vergleich über 20 Jahre
H. Schuler
,
B. Hell
,
S. Trapmann
,
Hagen Schaar
,
Ilkay Boramir
2007
Corpus ID: 144879725
This paper presents the current practice of using selection instruments in 125 German organizations of different sizes and…
Expand
Highly Cited
2006
Highly Cited
2006
Receiving and providing support in couples dealing with multiple sclerosis: a diary study using an equity perspective
A. Kleiboer
,
R. Kuijer
,
J. Hox
,
K. Schreurs
,
J. Bensing
2006
Corpus ID: 55856532
This study examined the effects of daily support exchanges in couples facing multiple sclerosis (MS). Two issues were examined…
Expand
Review
2004
Review
2004
Ontologies for Knowledge Management: An Information Systems Perspective
I. Jurisica
,
J. Mylopoulos
,
E. Yu
Knowledge and Information Systems
2004
Corpus ID: 1436526
Knowledge management research focuses on concepts, methods, and tools supporting the management of human knowledge. The main…
Expand
Highly Cited
2003
Highly Cited
2003
Soziale Unterstützung bei der Krankheitsbewältigung: Die Berliner Social Support Skalen (BSSS)
U. Schulz
,
R. Schwarzer
2003
Corpus ID: 144915718
Zusammenfassung. Die Berliner Social Support Skalen (BSSS; Schwarzer & Schulz, 2000) unterscheiden sich von anderen…
Expand
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)
ACCEPT & CONTINUE