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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
ABSTRACT Research Findings: Educational guidelines recommend a delayed, piecemeal approach to instruction on adaptation by… Expand
Is this relevant?
2014
2014
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 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 Aaron Gonzalez 1 , Patrick Shafto 2 , Elizabeth… Expand
Is this relevant?
Highly Cited
2010
Highly Cited
2010
  • 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
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
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
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
Zusammenfassung. Die Berliner Social Support Skalen (BSSS; Schwarzer & Schulz, 2000) unterscheiden sich von anderen… Expand
Is this relevant?
1996
1996
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?