Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,281,307 papers from all fields of science
Search
Sign In
Create Free Account
CADE ATP System Competition
Known as:
CASC
The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Association for Automated Reasoning
Automated theorem proving
Competitions and prizes in artificial intelligence
Conference on Automated Deduction
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Modelling of Metal Oxide Surge Arresters in Simulation Software DYNAST
Vladislav Síťař
,
Jan Veleba
2017
Corpus ID: 33432141
This paper describes the possibilities for mathematical modelling of gap-less surge arresters in the simulation software DYNAST…
Expand
2012
2012
Response of some rice (Oryza sativa L.) cultivars to germination under salinity stress.
A. Kandil
,
A. Sharief
,
E. Nassar
2012
Corpus ID: 82686469
The purpose of this study was found out to investigate the response of some rice (Oryza sativa L.) cultivars to germination…
Expand
Review
2011
Review
2011
On the metabolic origin of cancer: substances that target tumor metabolism
Maurice Isral
,
L. Schwartz
2011
Corpus ID: 59581180
Work from our group and others clearly suggest the key role of altered metabolism in cancer. The goal of this review is to…
Expand
2011
2011
Problemy eksploatacji elektroenergetycznych sieci rozdzielczych średniego napięcia w aspekcie niezawodności elektroenergetycznej automatyki zabezpieczeniowej
W. Nowak
,
S. Moskwa
,
R. Tarko
2011
Corpus ID: 106518079
Artykuł wpisuje się w problematykę eksploatacji sieci rozdzielczych średniego napięcia w aspekcie prawidłowego działania…
Expand
2008
2008
Transient transformer inrush currents due to closing time- and residual flux measurement-deviations if controlled switching is used (EEUG Meeting 2007: European EMTP-ATP Conference) -- (Applications…
A. Ebner
2008
Corpus ID: 16661245
During energisation of power transformers, transient inrush currents with peaks up to the short-circuit current may arise. Using…
Expand
2007
2007
Complementarity of a Natural Deduction Knowledge-Based Prover and Resolution-Based Provers in Automated Theorem Proving
D. Pastre
2007
Corpus ID: 124928203
Muscadet is a knowledge-based theorem prover based on natural deduction. The results obtained during the CASC competitions of…
Expand
1997
1997
An illustrated descriptive catalogue of the genera Anidrytus Gerstaecker and Epopterus Chevrolat, with descriptions of new species (Coleoptera: Endomychidae)
H. Strohecker
1997
Corpus ID: 73549016
The endomychid beetle genera Anidrytus Gerstaecker and Epopterus Chevrolat have been confused for many years. This paper…
Expand
1996
1996
Atp-lipids - protein anchor and energy source in two dimensions
L. Schmitt
,
R. Tampé
1996
Corpus ID: 67833439
The ubiquitous function of ATP as energy equivalent in nature has resulted in a common folding pattern of ATP-binding proteins…
Expand
1992
1992
Cerambycidae (Coleoptera) of the Canadian Museum of Nature, Ottawa. II. Calliini (Lamiinae)
M. H. M. Galileo
,
U. R. Martins
1992
Corpus ID: 85572233
New species described: Erana piriana,sp. n., from Venezuela; E. tauaira, sp. n., from Colombia; and E. cendira. sp. n., from…
Expand
1986
1986
Nitrate or ammonium nutrition in french bean
S. Chaillou
,
J. Morot-Gaudry
,
C. Lesaint
,
L. Salsac
,
E. Jolivet
Plant and Soil
1986
Corpus ID: 10173530
SummaryBean Plants were grown in a greenhouse in sand irrigated with nutrient solutions containing either 2 mM NO3− or 2 mM NH4…
Expand