Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Atomic_formula> ?p ?o. }
Showing items 1 to 35 of
35
with 100 items per page.
- Atomic_formula abstract "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 contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic. Compound formulas are formed by combining the atomic formulas using the logical connectives.The precise form of atomic formulas depends on the logic under consideration; for propositional logic, for example, the atomic formulas are the propositional variables. For predicate logic, the atoms are predicate symbols together with their arguments, each argument being a term. In model theory, atomic formula are merely strings of symbols with a given signature, which may or may not be satisfiable with respect to a given model.".
- Atomic_formula wikiPageID "4472066".
- Atomic_formula wikiPageRevisionID "582587434".
- Atomic_formula hasPhotoCollection Atomic_formula.
- Atomic_formula subject Category:Logical_expressions.
- Atomic_formula subject Category:Predicate_logic.
- Atomic_formula type Abstraction100002137.
- Atomic_formula type Appearance104673965.
- Atomic_formula type Attribute100024264.
- Atomic_formula type Countenance104679549.
- Atomic_formula type Expression104679738.
- Atomic_formula type LogicalExpressions.
- Atomic_formula type Quality104723816.
- Atomic_formula comment "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 contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms are thus the simplest well-formed formulas of the logic.".
- Atomic_formula label "Atomic formula".
- Atomic_formula label "Atoom (logica)".
- Atomic_formula label "Formule atomique".
- Atomic_formula label "Formuła atomowa".
- Atomic_formula label "Fórmula atómica".
- Atomic_formula label "Fórmula atômica".
- Atomic_formula label "Атом (логика)".
- Atomic_formula label "原子公式".
- Atomic_formula label "原子論理式".
- Atomic_formula sameAs Fórmula_atómica.
- Atomic_formula sameAs Formule_atomique.
- Atomic_formula sameAs 原子論理式.
- Atomic_formula sameAs Atoom_(logica).
- Atomic_formula sameAs Formuła_atomowa.
- Atomic_formula sameAs Fórmula_atômica.
- Atomic_formula sameAs m.0c4c4f.
- Atomic_formula sameAs Q2328174.
- Atomic_formula sameAs Q2328174.
- Atomic_formula sameAs Atomic_formula.
- Atomic_formula wasDerivedFrom Atomic_formula?oldid=582587434.
- Atomic_formula isPrimaryTopicOf Atomic_formula.