Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Using the linearized TBA equations recently obtained in arXiv:1002.1711 we show analytically that the 5-loop anomalous dimension… 
2003
2003
Kapur and Subramaniam [12] defined syntactical classes of equations where inductive validity can be decided automatically… 
2001
2001
Highly Cited
1997
Highly Cited
1997
To quantitatively reveal accumulation patterns of environmentally relevant heavy metals in selected saprophagous or phytophagous… 
Highly Cited
1993
Highly Cited
1993
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic… 
1991
1991
There are many new application fields for automated deduction where we have to apply abductive reasoning. In these applications… 
Highly Cited
1987
Highly Cited
1987
We present matrix proof systems for both constant- and varying-domain versions of the first-order modal logics K, K4, D, D4, T… 
1985
1985
We show that it is natural to extend the concept of database updates to encompass databases with incomplete information. Our…