This HTML5 document contains 270 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dahttp://da.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
dbpedia-svhttp://sv.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
n31http://dbpedia.org/resource/Stanford/
dbpedia-fihttp://fi.dbpedia.org/resource/
dbpedia-hyhttp://hy.dbpedia.org/resource/
dbrhttp://dbpedia.org/resource/
dbpedia-ethttp://et.dbpedia.org/resource/
dbpedia-kyhttp://ky.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
n17http://www.maths.unsw.edu.au/~jim/
rdfshttp://www.w3.org/2000/01/rdf-schema#
dbpedia-cshttp://cs.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbphttp://dbpedia.org/property/
dbpedia-eohttp://eo.dbpedia.org/resource/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbpedia-idhttp://id.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-huhttp://hu.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
dbpedia-thhttp://th.dbpedia.org/resource/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-nlhttp://nl.dbpedia.org/resource/
goldhttp://purl.org/linguistics/gold/
yago-reshttp://yago-knowledge.org/resource/
dbpedia-globalhttps://global.dbpedia.org/id/
n13http://sw.cyc.com/concept/
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-cahttp://ca.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
dbpedia-simplehttp://simple.dbpedia.org/resource/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
dbpedia-eshttp://es.dbpedia.org/resource/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Cyc
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:System_F
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Let_expression
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Proof_of_impossibility
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:P_versus_NP_problem
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Polish_notation
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Inference_engine
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:True_quantified_Boolean_formula
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Trivialism
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Empty_product
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Parametric_polymorphism
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Deductive_lambda_calculus
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:List_of_mathematical_symbols_by_subject
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Counterexample
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universe_(mathematics)
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Resolution_(logic)
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Function_object
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Intuitionistic_type_theory
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:First-order_logic
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universal_closure
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universal_quantification
owl:sameAs
dbpedia-cs:Univerzální_kvantifikátor dbpedia-it:Quantificatore_universale_(simbolo) dbpedia-fa:سور_عمومی n13:Mx4rvWybQ5wpEbGdrcN5Y29ycA dbpedia-sv:Allkvantifikator dbpedia-de:Allaussage dbpedia-id:Kuantifikasi_semesta dbpedia-zh:全称量化 dbpedia-hy:Ընդհանրության_քվանտոր dbpedia-da:Alkvantor dbpedia-es:Cuantificador_universal dbpedia-ca:Quantificador_universal dbpedia-hu:Univerzális_kvantifikáció dbpedia-uk:Квантор_загальності dbpedia-sk:Všeobecný_kvantifikátor dbpedia-ky:Квантор_жалпылыгы dbpedia-pt:Quantificação_universal dbpedia-fi:Universaalikvanttori dbpedia-pl:Kwantyfikator_ogólny dbpedia-vi:Lượng_từ_với_mọi dbpedia-ja:全称記号 dbpedia-eo:Universala_kvantizanto dbpedia-ru:Квантор_всеобщности dbpedia-global:JPhR freebase:m.0k3dw dbpedia-nl:Universaliteit wikidata:Q126695 dbpedia-ko:보편_양화사 yago-res:Universal_quantification dbpedia-simple:Universal_quantifier dbpedia-et:Üldisuskvantor dbpedia-th:ตัวบ่งปริมาณสำหรับทุกตัว
rdfs:label
Allkvantifikator Quantificação universal 보편 양화사 Quantificador universal Allaussage Kuantifikasi semesta Квантор всеобщности Universal quantification Universaliteit Cuantificador universal Universala kvantizanto Kwantyfikator ogólny Квантор загальності 全称記号 全称量化 Quantificatore universale (simbolo) Univerzální kvantifikátor
dbp:name
Universal quantification
prov:wasDerivedFrom
wikipedia-en:Universal_quantification?oldid=1276350853&ns=0
dbo:description
simbolo matematico utilizzato per indicare la frase \per ogni\ условие, которое верно для всех обозначенных элементов تحديد كمي منطقي يشير إلى أن بيان صالح لجميع الكائنات type kvantor og logisk konstant indicador en la lógica formal que sirve para indicar que cierta característica se encuentra en todos los elementos de un conjunto matematický symbol logical quantification stating that a statement holds for all objects type de quantificateur, une constante logique interprétée comme « étant donné », « pour tout », « quel que soit » การบ่งปริมาณที่ระบุว่าข้อความบางอย่างเป็นจริงสำหรับทุกสิ่งที่สนใจ tip de cuantificator din logica matematică jenis kuantifikasi dari konstanta logika ditafsirkan sebagai \diberikan apa saja\ atau \untuk semua\ Aussage über alle Elemente eines bestimmten Gegenstandsbereichs Bere ondoren datorren proposizioa unibertsoaren elementu guztietarako egiazkoa dela adierazteko, logikan erabiltzen den sinboloa. ∀ du ikurra, eta guztiek, guztietarako, edozein edo bakoitza irakur daiteke
dbo:wikiPageExternalLink
n17:proofs.html
dbo:wikiPageWikiLink
dbr:True_(logic) dbr:Sans-serif dbr:Sheffer_stroke dbr:Logical_assertion dbr:Logical_constant dbr:Powerset dbr:Material_nonimplication dbr:Valuation_(logic) dbr:James_Franklin_(philosopher) dbr:Category_theory dbr:Logical_conjunction dbr:Inverse_image dbr:Element_(mathematics) dbr:Formal_logic dbr:Free_variable dbr:A_K_Peters dbr:Mathematical_logic dbr:Logical_conditional dbr:Propositional_function dbr:Bertrand_Russell dbr:Symbol_(formal) dbr:Power_set dbr:Gerhard_Gentzen dbr:A dbr:Negation dbr:Domain_of_discourse dbr:False_(logic) dbr:Binary_relation dbr:Giuseppe_Peano dbr:Presheaf_category dbr:Logical_connective dbr:Universal_instantiation dbr:List_of_logic_symbols dbc:Quantifier_(logic) dbr:First-order_logic dbr:Left_adjoint dbr:Quantification_(logic) dbr:Quantifier_(logic) dbr:Satisfiability dbr:Property_(philosophy) dbr:Logically_equivalent dbr:Rule_of_inference dbr:Logical_disjunction dbr:Converse_implication dbr:Vacuous_truth dbr:Turned_A dbr:Existential_quantifier dbr:LaTeX dbr:Predicate_(mathematical_logic) dbr:Logical_NOR dbr:Right_adjoint dbc:Logical_expressions dbr:Converse_nonimplication dbr:Interpretation_(logic) dbr:Natural_number dbr:Counterexample dbr:Functor dbr:Scope_(logic) dbr:Universal_generalization dbr:Set_(mathematics) dbr:Unicode dbr:Elementary_topos dbr:Composite_number dbr:Predicate_variable dbr:Existential_quantification dbr:Material_conditional dbc:Logic_symbols
dct:subject
dbc:Logical_expressions dbc:Quantifier_(logic) dbc:Logic_symbols
foaf:isPrimaryTopicOf
wikipedia-en:Universal_quantification
dbp:statement
is true when is true for all values of .
dbp:wikiPageUsesTemplate
dbt:Wiktionary-inline dbt:Cite_book dbt:Unichar dbt:Infobox_mathematical_statement dbt:Reflist dbt:Common_logical_symbols dbt:For dbt:Short_description dbt:Mathematical_logic dbt:Mvar dbt:Math
dbp:field
dbr:Mathematical_logic
dbp:type
dbr:Quantifier_(logic)
gold:hypernym
dbr:Quantifier
Subject Item
wikipedia-en:Universal_quantification
foaf:primaryTopic
dbr:Universal_quantification
Subject Item
dbr:Logical_consequence
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Algebraic_logic
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Type_theory
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Skolem_normal_form
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Vacuous_truth
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Ricci_calculus
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Turn_A_Gundam
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Alternating_finite_automaton
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:For_each
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Formula_game
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Statistical_relational_learning
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Everything_(disambiguation)
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Horn_clause
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Knowledge_representation_and_reasoning
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:English_determiners
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Logical_conjunction
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Index_of_philosophy_articles_(A–C)
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Index_of_philosophy_articles_(R–Z)
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Paracompact_space
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:McCarthy_Formalism
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Inequality_(mathematics)
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Index_of_logic_articles
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:A
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Existence
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:All
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Dependent_type
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Foreach_loop
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Logical_truth
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Every
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Rado_graph
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Hypothesis
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Karl_Popper
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Turned_A
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Intersection_(set_theory)
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Attempto_Controlled_English
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Scientific_method
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Fuzzy_set
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Rete_algorithm
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Barber_paradox
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universal_algebra
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:List_of_logic_symbols
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Bound_variable_pronoun
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Domain_relational_calculus
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Logical_form
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Loop_variant
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Prenex_normal_form
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Existential_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Nonstandard_analysis
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Finite_model_property
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Glossary_of_mathematical_symbols
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Binary_function
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Curry–Howard_correspondence
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Open_formula
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Conjunctive_query
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Tarski's_axioms
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Tarski–Kuratowski_algorithm
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Domain_of_discourse
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Equaliser_(mathematics)
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Dependence_logic
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Bare_nouns
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:SQL_syntax
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Stanford_Extended_ASCII
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:ANY
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universal_quantifier
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universal_vertex
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
n31:ITS_character_set
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Indeterminate_pronoun
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Rayo's_number
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:TLA+
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Given_any
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:For_All
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:For_all
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:For_any
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:For_every
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Forall
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:All_(logic)
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Logical_universal
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universal_operator
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universal_quantifiers
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universally_quantified
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Universally_quantify
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification
Subject Item
dbr:Upside_Down_A
dbo:wikiPageRedirects
dbr:Universal_quantification
dbo:wikiPageWikiLink
dbr:Universal_quantification