Skip to search formSkip to main content
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… Expand
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.
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… Expand
Is this relevant?
2014
2014
Acquiring Inductive Constraints from Self-Generated Evidence
Several recent theoretical proposals suggest that young children are rational, constructivist learners (e.g. Gopnik & Wellman… Expand
  • figure 1
  • figure 2
Is this relevant?
2012
2012
Explaining Influences Children's Reliance on Evidence and Prior Knowledge in Causal Induction
Explaining Influences Children’s Reliance on Evidence and Prior Knowledge in Causal Induction Caren M. Walker, Joseph Jay… Expand
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… Expand
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
    • 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
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… Expand
  • table 1
Is this relevant?
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… Expand
Is this relevant?
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… Expand
  • table 1
  • table 2
  • figure 1
  • table 3
  • figure 2
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… Expand
Is this relevant?
1996
1996
VOLATILE CHEMICAL CUE ELICITS MATING BEHAVIO R OF COHABITING MALES OF NEPHILA CLA VA T A (ARANEAE, TETRAGNATHIDAE)
Previous studies have revealed that matings of the spider Nephila clavataare concentrated jus t after the final molt of females… Expand
  • figure 1
  • table 2
  • table 3
Is this relevant?
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