Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Atomic_formula> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples 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 wikiPageLength "3543".
- Atomic_formula wikiPageOutDegree "33".
- Atomic_formula wikiPageRevisionID "675306991".
- Atomic_formula wikiPageWikiLink Atomic_sentence.
- Atomic_formula wikiPageWikiLink Category:Logical_expressions.
- Atomic_formula wikiPageWikiLink Category:Predicate_logic.
- Atomic_formula wikiPageWikiLink Domain_of_discourse.
- Atomic_formula wikiPageWikiLink First-order_logic.
- Atomic_formula wikiPageWikiLink Focusing_(proof_theory).
- Atomic_formula wikiPageWikiLink Formula_(mathematical_logic).
- Atomic_formula wikiPageWikiLink Ground_atom.
- Atomic_formula wikiPageWikiLink Ground_expression.
- Atomic_formula wikiPageWikiLink Ground_term.
- Atomic_formula wikiPageWikiLink Logical_connective.
- Atomic_formula wikiPageWikiLink Mathematical_logic.
- Atomic_formula wikiPageWikiLink Model_theory.
- Atomic_formula wikiPageWikiLink Polarity_(proof_theory).
- Atomic_formula wikiPageWikiLink Predicate_(mathematical_logic).
- Atomic_formula wikiPageWikiLink Predicate_(mathematics).
- Atomic_formula wikiPageWikiLink Predicate_logic.
- Atomic_formula wikiPageWikiLink Proof_theory.
- Atomic_formula wikiPageWikiLink Proposition.
- Atomic_formula wikiPageWikiLink Propositional_calculus.
- Atomic_formula wikiPageWikiLink Propositional_logic.
- Atomic_formula wikiPageWikiLink Propositional_variable.
- Atomic_formula wikiPageWikiLink Quantifier_(logic).
- Atomic_formula wikiPageWikiLink Recursive_definition.
- Atomic_formula wikiPageWikiLink Satisfiability.
- Atomic_formula wikiPageWikiLink Satisfiable.
- Atomic_formula wikiPageWikiLink Signature_(logic).
- Atomic_formula wikiPageWikiLink String_(computer_science).
- Atomic_formula wikiPageWikiLink Structure_(mathematical_logic).
- Atomic_formula wikiPageWikiLink Subformula.
- Atomic_formula wikiPageWikiLink Syntax.
- Atomic_formula wikiPageWikiLink Term_algebra.
- Atomic_formula wikiPageWikiLink Tuple.
- Atomic_formula wikiPageWikiLink Well-formed_formula.
- Atomic_formula wikiPageWikiLinkText "Atomic formula".
- Atomic_formula wikiPageWikiLinkText "atom".
- Atomic_formula wikiPageWikiLinkText "atomic expressions".
- Atomic_formula wikiPageWikiLinkText "atomic formula".
- Atomic_formula wikiPageWikiLinkText "atomic statements".
- Atomic_formula wikiPageWikiLinkText "atomic".
- Atomic_formula wikiPageWikiLinkText "atoms".
- Atomic_formula wikiPageWikiLinkText "logical atoms".
- Atomic_formula hasPhotoCollection Atomic_formula.
- Atomic_formula wikiPageUsesTemplate Template:Cite_book.
- Atomic_formula wikiPageUsesTemplate Template:Reflist.
- Atomic_formula subject Category:Logical_expressions.
- Atomic_formula subject Category:Predicate_logic.
- Atomic_formula hypernym Formula.
- Atomic_formula type Agent.
- 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 sameAs Fórmula_atómica.
- Atomic_formula sameAs Atomistinen_kaava.
- Atomic_formula sameAs Formule_atomique.
- Atomic_formula sameAs Atomska_formula.
- 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 Атом_(логика).
- Atomic_formula sameAs Q2328174.
- Atomic_formula sameAs Q2328174.
- Atomic_formula sameAs 原子公式.
- Atomic_formula wasDerivedFrom Atomic_formula?oldid=675306991.
- Atomic_formula isPrimaryTopicOf Atomic_formula.