Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Quantifier_rank> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Quantifier_rank abstract "In mathematical logic, the quantifier rank of a formula is the depth of nesting of its quantifiers. It plays an essential role in model theory.Notice that the quantifier rank is a property of the formula itself (i.e. the expression in a language). Thus two logically equivalent formulae can have different quantifier ranks, when they express the same thing in different ways.".
- Quantifier_rank wikiPageExternalLink thesis.pdf.
- Quantifier_rank wikiPageID "35975525".
- Quantifier_rank wikiPageLength "3243".
- Quantifier_rank wikiPageOutDegree "18".
- Quantifier_rank wikiPageRevisionID "670364559".
- Quantifier_rank wikiPageWikiLink Category:Finite_model_theory.
- Quantifier_rank wikiPageWikiLink Category:Model_theory.
- Quantifier_rank wikiPageWikiLink Category:Predicate_logic.
- Quantifier_rank wikiPageWikiLink Category:Quantification.
- Quantifier_rank wikiPageWikiLink Ehrenfeucht–Fraïssé_game.
- Quantifier_rank wikiPageWikiLink First-order_logic.
- Quantifier_rank wikiPageWikiLink Logical_equivalence.
- Quantifier_rank wikiPageWikiLink Mathematical_logic.
- Quantifier_rank wikiPageWikiLink Model_theory.
- Quantifier_rank wikiPageWikiLink Prenex_normal_form.
- Quantifier_rank wikiPageWikiLink Quantifier_(logic).
- Quantifier_rank wikiPageWikiLink Springer_Publishing.
- Quantifier_rank wikiPageWikiLink Springer_Science+Business_Media.
- Quantifier_rank wikiPageWikiLink Well-formed_formula.
- Quantifier_rank wikiPageWikiLinkText "quantifier rank".
- Quantifier_rank wikiPageUsesTemplate Template:Citation.
- Quantifier_rank subject Category:Finite_model_theory.
- Quantifier_rank subject Category:Model_theory.
- Quantifier_rank subject Category:Predicate_logic.
- Quantifier_rank subject Category:Quantification.
- Quantifier_rank hypernym Depth.
- Quantifier_rank comment "In mathematical logic, the quantifier rank of a formula is the depth of nesting of its quantifiers. It plays an essential role in model theory.Notice that the quantifier rank is a property of the formula itself (i.e. the expression in a language). Thus two logically equivalent formulae can have different quantifier ranks, when they express the same thing in different ways.".
- Quantifier_rank label "Quantifier rank".
- Quantifier_rank sameAs Q7268912.
- Quantifier_rank sameAs Posto_de_quantificadores.
- Quantifier_rank sameAs m.0j_3j8p.
- Quantifier_rank sameAs Q7268912.
- Quantifier_rank wasDerivedFrom Quantifier_rank?oldid=670364559.
- Quantifier_rank isPrimaryTopicOf Quantifier_rank.