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
2008
Highly Cited
2008
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms… 
Highly Cited
2004
Highly Cited
2004
The feature model is a domain/product-line oriented requirements model based on hierarchical structure and explicit variability… 
Highly Cited
1993
Highly Cited
1993
The linear quantifier elimination algorithm for ordered fields in [15] is applicable to a wide range of examplee involving even… 
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… 
Highly Cited
1991
Highly Cited
1991
We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational… 
Highly Cited
1981
Highly Cited
1981
Semantic and logical problems arising in an incomplete information database are investigated. A simple query language is… 
Highly Cited
1963
Highly Cited
1963
Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The…