Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,161,866 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.
2012
2012
CHANGES IN CONCENTRATION OF MINERALS IN FOLLICULAR FLUID OF GROWING FOLLICLES
P. Nandi
,
B. K. Mehta
,
D. Sengupta
2012
Corpus ID: 1790984
The present study was undertaken in goat ovaries to study the changes in mineral content of follicular fluid during growth and…
Expand
Review
2011
Review
2011
Differential Pair Distribution Function applied to Ce1-xGdxO2-x/2 system
M. Allieta
,
M. Brunelli
,
M. Coduri
,
M. Scavini
,
C. Ferrero
2011
Corpus ID: 53353572
The Pair Distribution Function technique based upon X-ray diffraction data is a powerful tool to unveil disorder on the…
Expand
2011
2011
Heavy Metals Accumulation in the Mantle of the Common Cuttlefish Sepia pharaonis from the Arabian Gulf
S. Farraj
,
A. El-Gendy
,
Hamad Al-Yahya
,
M. El-Hedeny
2011
Corpus ID: 56234714
The cuttlefish Sepia pharaonis Ehrenberg 1831, is a preferred marine edible species for the population of the Saudi Arabia…
Expand
2009
2009
AN INTRODUCTION TO NONSTANDARD ANALYSIS
I. Davis
2009
Corpus ID: 50166572
In this paper we give an introduction to nonstandard analysis, starting with an ultrapower construction of the hyperreals. We…
Expand
2000
2000
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security
R. Goré
,
L. Nguyen
Java Card Workshop
2000
Corpus ID: 1658682
We describe an implementation of a Java program to perform automated deduction in propositional multi-modal logics on a Java…
Expand
1998
1998
METRIC SEMANTICS FOR REACTIVE PROBABILISTIC PROCESSES
G. Norman
1998
Corpus ID: 115554560
In this thesis we present three mathematical frameworks for the modelling of reactive probabilistic communicating processes. We…
Expand
1998
1998
Fuzzy Uniication Degree
T. Alsinet
,
L. Godo
1998
Corpus ID: 15647041
This paper constitutes a re nement of the fuzzy uni cation algorithm based on fuzzy compatibility relations, which we have…
Expand
1998
1998
Model considerations on physico-chemical nature of protein-nucleic acid contacts through amino acid carboxylic groups: spectroscopic data
S. P. Samijlenko
,
I. Kolomiets
,
I. Kondratyuk
,
A. V. Stepanyugin
1998
Corpus ID: 88023466
This paper generalizes the results of a series of the works on spectroscopic (IR, UV, NMR, Raman) investigations of complexes of…
Expand
1993
1993
Short CNF in Finitely-Valued Logics
Reiner Hähnle
International Syposium on Methodologies for…
1993
Corpus ID: 31507283
We present a transformation of formulae from arbitrary finitely-valued logics into a conjunctive normal form based on signed…
Expand
1990
1990
Partial Evaluation for Hierarchies of Logic Theories
M. Bugliesi
,
E. Lamma
,
P. Mello
NACLP
1990
Corpus ID: 9665774
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for…
Expand