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.
2017
2017
Letren abiadura Lehen Hezkuntzan: euskarazko batezbestekoak ikasmailaren eta generoaren arabera
EnglishTo achieve effective communication through handwriting, the writing needs to be readable and fluid (Barnett, Henderson… 
2016
2016
„Ich habe mir einfach die Rechenmaschine in meinen Kopf gebaut!“ Zur Entwicklung fachsprachlicher Fähigkeiten bei Grundschulkindern
Im Arithmetikunterricht der Grundschule wird den Lernenden häufig Material angeboten und mit ihm die didaktische Hoffnung… 
Review
2011
Review
2011
A Simple Sequential Algorithm for Approximating Bayesian Inference
A Simple Sequential Algorithm for Approximating Bayesian Inference Elizabeth Bonawitz, Stephanie Denison, Annie Chen, Alison… 
2007
2007
A Case Study: Applying Lyra in Modeling S60 Camera Functionality
We present an application of a modeling method for distributed systems to a case study of mobile phone camera functionality based… 
2006
2006
Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem
In this paper we study the single machine precedence constrained scheduling problem of minimizing the sum of weighted completion… 
2001
2001
The Design and Implementation of a Compositional Competition-Cooperation Parallel ATP System
Key concerns in the development of more powerful ATP systems are to provide breadth of coverage – an ability to solve a large… 
1999
1999
Lunar mare volcanism
Here we report on new crater size-frequency distribution data for 139 spectrally and morphologically defined basalt units which… 
1988
1988
Morphological characteristics of Dentostomella translucida , a nematode (Oxyuroidea) found in Mongolian gerbils
Dentostomlla translucida Schulz & Krepkorgorskaja (1932) was found in the small intestine of the Mongolian gerbil, Meriones… 
1967
1967
The ecological and physiological trends in the saprobiology
The discussions dealing with the fundamentals of saprobiology were opened by the criticism of CASPERS & SCHULZ (1960) on the… 
1959
1959
Aufnahmen und Eindringtiefen beim Sprühen von Hausbockbekämpfungsmitteln
A *da/; uml :t ~t/g, abe dcr ( ' *elersm:h~t&k, eJ~ ..t lig, emeii~e Ank, aben s~r |'ers~.tchsaus/iihru*G, Schu / z m i t l e la… 
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)