Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Bounded_quantifier> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Bounded_quantifier wikiPageID "5824808".
- Bounded_quantifier wikiPageLength "5793".
- Bounded_quantifier wikiPageOutDegree "26".
- Bounded_quantifier wikiPageRevisionID "607157910".
- Bounded_quantifier wikiPageWikiLink Arithmetical_hierarchy.
- Bounded_quantifier wikiPageWikiLink Axiom_schema_of_predicative_separation.
- Bounded_quantifier wikiPageWikiLink Category:Computability_theory.
- Bounded_quantifier wikiPageWikiLink Category:Proof_theory.
- Bounded_quantifier wikiPageWikiLink Category:Quantification.
- Bounded_quantifier wikiPageWikiLink Computability_theory.
- Bounded_quantifier wikiPageWikiLink Constructive_set_theory.
- Bounded_quantifier wikiPageWikiLink Context-sensitive_grammar.
- Bounded_quantifier wikiPageWikiLink ELEMENTARY.
- Bounded_quantifier wikiPageWikiLink Impredicativity.
- Bounded_quantifier wikiPageWikiLink Kripke-Platek_set_theory.
- Bounded_quantifier wikiPageWikiLink Kripke–Platek_set_theory.
- Bounded_quantifier wikiPageWikiLink Levy_hierarchy.
- Bounded_quantifier wikiPageWikiLink Lévy_hierarchy.
- Bounded_quantifier wikiPageWikiLink Mathematical_logic.
- Bounded_quantifier wikiPageWikiLink Peano_Arithmetic.
- Bounded_quantifier wikiPageWikiLink Peano_arithmetic.
- Bounded_quantifier wikiPageWikiLink Peano_axioms.
- Bounded_quantifier wikiPageWikiLink Polynomial_hierarchy.
- Bounded_quantifier wikiPageWikiLink Primitive_recursive.
- Bounded_quantifier wikiPageWikiLink Primitive_recursive_function.
- Bounded_quantifier wikiPageWikiLink Recursion_theory.
- Bounded_quantifier wikiPageWikiLink Second-order_arithmetic.
- Bounded_quantifier wikiPageWikiLink Sentence_(logic).
- Bounded_quantifier wikiPageWikiLink Sentence_(mathematical_logic).
- Bounded_quantifier wikiPageWikiLink Subtyping.
- Bounded_quantifier wikiPageWikiLink System_F.
- Bounded_quantifier wikiPageWikiLink System_F-sub.
- Bounded_quantifier wikiPageWikiLink Type_theory.
- Bounded_quantifier wikiPageWikiLink Typed_lambda_calculus.
- Bounded_quantifier wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Bounded_quantifier wikiPageWikiLinkText "Bounded quantifier".
- Bounded_quantifier wikiPageWikiLinkText "bounded existential formula".
- Bounded_quantifier wikiPageWikiLinkText "bounded formulas".
- Bounded_quantifier wikiPageWikiLinkText "bounded quantification".
- Bounded_quantifier wikiPageWikiLinkText "bounded quantifier".
- Bounded_quantifier wikiPageWikiLinkText "bounded".
- Bounded_quantifier hasPhotoCollection Bounded_quantifier.
- Bounded_quantifier wikiPageUsesTemplate Template:About.
- Bounded_quantifier wikiPageUsesTemplate Template:Cite_book.
- Bounded_quantifier subject Category:Computability_theory.
- Bounded_quantifier subject Category:Proof_theory.
- Bounded_quantifier subject Category:Quantification.
- Bounded_quantifier type Proof.
- Bounded_quantifier comment "In the study of formal theories in mathematical logic, bounded quantifiers are often added to a language in addition to the standard quantifiers "∀" and "∃". Bounded quantifiers differ from "∀" and "∃" in that bounded quantifiers restrict the range of the quantified variable.".
- Bounded_quantifier label "Bounded quantifier".
- Bounded_quantifier sameAs Quantificador_Delimitado.
- Bounded_quantifier sameAs m.0f7g4r.
- Bounded_quantifier sameAs Q4949986.
- Bounded_quantifier sameAs Q4949986.
- Bounded_quantifier wasDerivedFrom Bounded_quantifier?oldid=607157910.
- Bounded_quantifier isPrimaryTopicOf Bounded_quantifier.