Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 221,606,337 papers from all fields of science
Search
Sign In
Create Free Account
Atomic formula
Known as:
Atom (disambiguation)
, Atom (logic)
, Atomic
In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
40 relations
Atomic sentence
CTL*
Computation tree logic
Conjunctive query
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The search for a reduction in combinatory logic equivalent to λβ-reduction
J. Seldin
Theoretical Computer Science
2011
Corpus ID: 26764818
Highly Cited
2010
Highly Cited
2010
5-loop Konishi from linearized TBA and the XXX magnet
J. Balog
,
Á. Hegedüs
2010
Corpus ID: 118655799
Using the linearized TBA equations recently obtained in arXiv:1002.1711 we show analytically that the 5-loop anomalous dimension…
Expand
Highly Cited
2005
Highly Cited
2005
Computer-aided molecular design using Tabu search
B. Lin
,
Sunitha Chavali
,
K. Camarda
,
David C. Miller
Computers and Chemical Engineering
2005
Corpus ID: 9757396
2003
2003
Deciding Inductive Validity of Equations
J. Giesl
,
D. Kapur
CADE
2003
Corpus ID: 2153949
Kapur and Subramaniam [12] defined syntactical classes of equations where inductive validity can be decided automatically…
Expand
2001
2001
Solving Numerical Constraints
A. Bockmayr
,
V. Weispfenning
,
M. Maher
Handbook of Automated Reasoning
2001
Corpus ID: 44971405
Highly Cited
1997
Highly Cited
1997
Metal accumulation strategies in saprophagous and phytophagous soil invertebrates: a quantitative comparison
S. Gräff
,
Martin Berkus
,
G. Alberti
,
H. Köhler
Biometals
1997
Corpus ID: 39670493
To quantitatively reveal accumulation patterns of environmentally relevant heavy metals in selected saprophagous or phytophagous…
Expand
Highly Cited
1993
Highly Cited
1993
First order abduction via tableau and sequent calculi
M. C. Mayer
,
F. Pirri
Logic Journal of the IGPL
1993
Corpus ID: 16298027
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic…
Expand
1991
1991
An Inference Rule for Hypothesis Generation
R. Demolombe
,
L. F. D. Cerro
International Joint Conference on Artificial…
1991
Corpus ID: 22703633
There are many new application fields for automated deduction where we have to apply abductive reasoning. In these applications…
Expand
Highly Cited
1987
Highly Cited
1987
Matrix Proof Methods for Modal Logics
L. Wallen
International Joint Conference on Artificial…
1987
Corpus ID: 16010703
We present matrix proof systems for both constant- and varying-domain versions of the first-order modal logics K, K4, D, D4, T…
Expand
1985
1985
A model-theoretic approach to updating logical databases
M. Winslett
ACM SIGACT-SIGMOD-SIGART Symposium on Principles…
1985
Corpus ID: 1914294
We show that it is natural to extend the concept of database updates to encompass databases with incomplete information. Our…
Expand
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)
ACCEPT & CONTINUE