Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Well-formed_formula> ?p ?o. }
Showing items 1 to 47 of
47
with 100 items per page.
- Well-formed_formula abstract "In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word (i.e. a finite sequence of symbols from a given alphabet) that is part of a formal language. A formal language can be considered to be identical to the set containing all and only its formulas.A formula is a syntactic formal object that can be informally given a semantic meaning.".
- Well-formed_formula thumbnail Formal_languages.svg?width=300.
- Well-formed_formula wikiPageExternalLink wffnproof.com.
- Well-formed_formula wikiPageExternalLink formulas.htm.
- Well-formed_formula wikiPageExternalLink wff_intro.html.
- Well-formed_formula wikiPageExternalLink mt9s02.html.
- Well-formed_formula wikiPageID "404582".
- Well-formed_formula wikiPageRevisionID "602523375".
- Well-formed_formula hasPhotoCollection Well-formed_formula.
- Well-formed_formula subject Category:Formal_languages.
- Well-formed_formula subject Category:Logical_expressions.
- Well-formed_formula subject Category:Mathematical_logic.
- Well-formed_formula subject Category:Metalogic.
- Well-formed_formula subject Category:Syntax_(logic).
- Well-formed_formula type Abstraction100002137.
- Well-formed_formula type Appearance104673965.
- Well-formed_formula type Attribute100024264.
- Well-formed_formula type Communication100033020.
- Well-formed_formula type Countenance104679549.
- Well-formed_formula type Expression104679738.
- Well-formed_formula type FormalLanguages.
- Well-formed_formula type Language106282651.
- Well-formed_formula type LogicalExpressions.
- Well-formed_formula type Quality104723816.
- Well-formed_formula comment "In mathematical logic, a well-formed formula, shortly wff, often simply formula, is a word (i.e. a finite sequence of symbols from a given alphabet) that is part of a formal language. A formal language can be considered to be identical to the set containing all and only its formulas.A formula is a syntactic formal object that can be informally given a semantic meaning.".
- Well-formed_formula label "Formula ben formata".
- Well-formed_formula label "Formule logique".
- Well-formed_formula label "Fórmula bem formada".
- Well-formed_formula label "Fórmula bien formada".
- Well-formed_formula label "Logische Formel".
- Well-formed_formula label "Well-formed formula".
- Well-formed_formula label "合式公式".
- Well-formed_formula label "論理式".
- Well-formed_formula sameAs Logische_Formel.
- Well-formed_formula sameAs Fórmula_bien_formada.
- Well-formed_formula sameAs Formule_logique.
- Well-formed_formula sameAs Formula_ben_formata.
- Well-formed_formula sameAs 論理式.
- Well-formed_formula sameAs 논리식.
- Well-formed_formula sameAs Fórmula_bem_formada.
- Well-formed_formula sameAs m.02484v.
- Well-formed_formula sameAs Q655328.
- Well-formed_formula sameAs Q655328.
- Well-formed_formula sameAs Well-formed_formula.
- Well-formed_formula wasDerivedFrom Well-formed_formula?oldid=602523375.
- Well-formed_formula depiction Formal_languages.svg.
- Well-formed_formula isPrimaryTopicOf Well-formed_formula.
