Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 236,636,637 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.
2017
2017
Letren abiadura Lehen Hezkuntzan: euskarazko batezbestekoak ikasmailaren eta generoaren arabera
Irune Ibarra Lizundia
,
Xabier Etxague Alkalde
,
Juan Etxeberria Murgiondo
2017
Corpus ID: 148650058
EnglishTo achieve effective communication through handwriting, the writing needs to be readable and fluid (Barnett, Henderson…
Expand
2016
2016
„Ich habe mir einfach die Rechenmaschine in meinen Kopf gebaut!“ Zur Entwicklung fachsprachlicher Fähigkeiten bei Grundschulkindern
K. Tiedemann
2016
Corpus ID: 186174126
Im Arithmetikunterricht der Grundschule wird den Lernenden häufig Material angeboten und mit ihm die didaktische Hoffnung…
Expand
Review
2015
Review
2015
Deposited in DRO : 19 August 2015 Version of attached le : Published Version Peer-review status of attached
A. Carrington
,
David I. Gammie
,
J. Page
,
A. M. Shaw
,
J. Hutson
2015
Corpus ID: 33499660
A new potential energy surface for the molecular ion He±H2 is used to predict microwave transitions that may be observable in…
Expand
Review
2010
Review
2010
Insight and Locus of Control as Related to Aggression in Individuals with Severe Mental Illness (SMI)
Bethany L. Ridling
2010
Corpus ID: 18131664
Individuals with severe mental illness (SMI) are often stereotyped as aggressive, although research has shown that the majority…
Expand
Review
2009
Review
2009
An Aerodynamic Evaluation of Parkinsonian Dysarthria : Laryngeal and Supralaryngeal Manifestations *
R. Remez
,
P. Rubin
,
+4 authors
V. Gracco
2009
Corpus ID: 18187242
The speech of individuals with Parkinson's Disease (PD) is characterized by reduced stress, increased rate, monotonic pitch and…
Expand
2007
2007
A Case Study: Applying Lyra in Modeling S60 Camera Functionality
Jukka Honkola
,
Sari Leppänen
,
Pasi Rinne-Rahkola
,
Martti Soderlund
,
Markku Turunen
,
Kimmo Varpaaniemi
European Conference on the Engineering of…
2007
Corpus ID: 12262511
We present an application of a modeling method for distributed systems to a case study of mobile phone camera functionality based…
Expand
2005
2005
Running head: ABDUCTION, DEDUCTION AND INDUCTION Abduction, Deduction, and Induction: Their implications to quantitative methods
Chong Ho Alex Yu
2005
Corpus ID: 16626768
While quantitative methods have been widely applied by social scientists such as sociologists, psychologists, and economists…
Expand
2001
2001
The Design and Implementation of a Compositional Competition-Cooperation Parallel ATP System
G. Sutcliffe
2001
Corpus ID: 18575924
Key concerns in the development of more powerful ATP systems are to provide breadth of coverage – an ability to solve a large…
Expand
1967
1967
The ecological and physiological trends in the saprobiology
V. Sládeček
Hydrobiologia
1967
Corpus ID: 29520800
The discussions dealing with the fundamentals of saprobiology were opened by the criticism of CASPERS & SCHULZ (1960) on the…
Expand
1959
1959
Aufnahmen und Eindringtiefen beim Sprühen von Hausbockbekämpfungsmitteln
G. Becker
,
A. Buro
Holz als Roh- und Werkstoff
1959
Corpus ID: 33612925
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…
Expand