What Is This?

This is an HTML+RDFa representation of metadata describing this Web-addressable resource.

Why Is This Important?

The property (attributes and values pairs) links on this page unveil a different kind of link, one which enables the following on HTTP networks such as the Web:

  1. Unambiguous identity for entities (aka. strong identifiers)
  2. Implicit binding of an entity and its metadata via strong identifiers
  3. Multiple metadata representations that enable a variety of presentations
  4. High precision Search and Find queries that simply use the metadata documents (by referencing entity URIs) as the query's Data Source Name

How Do I Discover Alternative Metadata Representations?

This document exposes metadata in the following formats: (X)HTML+RDFa, Turtle, N3, RDF/JSON, or RDF/XML. In the most basic form, you can simply view the (X)HTML source markup of this page, and go directly to the <head/> section which contains a <link/> tag with relationship and type properties for each format.

In addition, you can also explicitly request a desired metadata representation for a given resource via HTTP GET requests that use the entity's strong identifier as the call target.

How Can I Expose My Web Resources In This Manner?

Simply include the following in the <head/> section of your (static or dynamically generated) (X)HTML page:

<link rel="alternate" title="My Data in RDF Linked Data form"
type="application/rdf+xml"
href="http://linkeddata.uriburner.com/about/id/<this-page-URL>/>"

How Is This Related To The Linked Data Meme?

As stated above, the links in this page expose strong identifiers for its primary topic, secondary topics, attributes, and some values. These links, via implicit association, act as conduits to their metadata-bearing documents, in a variety formats.

[OpenLink Software]

About: Quantifier (logic) - Wikipedia

An Entity of Type : Thing, from Data Source : https://en.m.wikipedia.org/wiki/Quantifier_(logic), within Data Space : dev.restore.ovi.cnr.it:8890

  • References
  • Referenced By
content

og:title
  • Quantifier (logic) - Wikipedia
og:type
  • website
Title
  • Quantifier (logic) - Wikipedia
links to
  • https://en.m.wikipedia.org/wiki/Help:Maintenance_template_removal
  • https://en.m.wikipedia.org/wiki/Portal:Philosophy
  • https://en.m.wikipedia.org/wiki/Mathematical_analysis
  • https://en.m.wikipedia.org/wiki/Abstract_algebra
  • https://search.worldcat.org/issn/1431-4657
  • http://plato.stanford.edu/entries/logic-classical/
  • https://en.m.wikipedia.org/wiki/Bertrand_Russell
  • https://en.m.wikipedia.org/wiki/Mathematical_theory
  • https://en.m.wikipedia.org/wiki/Natural_number
  • https://en.m.wikipedia.org/wiki/Fermat%27s_Last_Theorem
  • https://en.m.wikipedia.org/wiki/Real_number
  • https://en.m.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory
  • https://en.m.wikipedia.org/wiki/Peano_arithmetic
  • https://en.m.wikipedia.org/wiki/David_Hilbert
  • https://en.m.wikipedia.org/wiki/Model_theory
  • https://en.m.wikipedia.org/wiki/Summation
  • https://en.m.wikipedia.org/wiki/Logical_disjunction
  • https://en.m.wikipedia.org/wiki/Alfred_Tarski
  • https://en.m.wikipedia.org/wiki/Augustus_De_Morgan
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy
  • https://foundation.wikimedia.org/wiki/...uage/Policy:Universal_Code_of_Conduct
  • https://developer.wikimedia.org
  • https://stats.wikimedia.org/#/en.wikipedia.org
  • https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement
  • https://www.mediawiki.org/
  • https://creativecommons.org/licenses/by-sa/4.0/deed.en
  • https://foundation.m.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use
  • https://en.m.wikipedia.org/wiki/Main_Page
  • https://en.m.wikipedia.org/wiki/Special:Random
  • https://en.m.wikipedia.org/wiki/Special:Nearby
  • https://donate.wikimedia.org/?wmf_sour...ipedia.org&uselang=en&wmf_key=minerva
  • https://en.m.wikipedia.org/wiki/Wikipedia:About
  • https://en.m.wikipedia.org/wiki/Wikipedia:General_disclaimer
  • https://en.m.wikipedia.org/wiki/Wikipedia:Citation_needed
  • https://en.m.wikipedia.org/wiki/ISSN_(identifier)
  • https://en.m.wikipedia.org/wiki/Wikipedia:Accuracy_dispute#Disputed_statement
  • https://en.wikipedia.org/wiki/Wikipedia:Contact_us
  • https://en.m.wikipedia.org/wiki/Wayback_Machine
  • https://en.m.wikipedia.org/wiki/Thoralf_Skolem
  • https://en.m.wikipedia.org/wiki/Section_sign
  • https://en.m.wikipedia.org/wiki/Doi_(identifier)
  • https://en.m.wikipedia.org/wiki/ISBN_(identifier)
  • https://en.m.wikipedia.org/wiki/S2CID_(identifier)
  • https://en.m.wikipedia.org/wiki/Wikipedia:Please_clarify
  • https://en.m.wikipedia.org/wiki/Computer_programming
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)
  • https://en.m.wikipedia.org/wiki/Quantifier_shift
  • https://en.m.wikipedia.org/wiki/Alonzo_Church
  • https://en.m.wikipedia.org/wiki/Noun_phrases
  • https://www.wikimedia.org/
  • https://en.m.wikipedia.org/wiki/Natural_language
  • https://en.m.wikipedia.org/wiki/Pronoun
  • https://en.m.wikipedia.org/wiki/Algorithm
  • https://en.m.wikipedia.org/wiki/E
  • https://en.m.wikipedia.org/wiki/Gottlob_Frege
  • https://en.m.wikipedia.org/wiki/Domain_of_discourse
  • https://en.m.wikipedia.org/wiki/Logical_equivalence
  • https://en.m.wikipedia.org/wiki/Contraposition
  • https://es.wikipedia.org/wiki/Cuantificador
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#
  • https://en.m.wikipedia.org/w/index.php...Login&returnto=Quantifier+%28logic%29
  • https://en.m.wikipedia.org/w/index.php...tions&returnto=Quantifier+%28logic%29
  • https://en.m.wikipedia.org/wiki/Talk:Quantifier_(logic)
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#p-lang
  • https://en.m.wikipedia.org/w/index.php?title=Quantifier_(logic)&action=edit
  • https://en.m.wikipedia.org/wiki/Quantifier_(disambiguation)
  • https://en.m.wikipedia.org/wiki/Open_formula
  • https://en.m.wikipedia.org/wiki/Subformula
  • https://en.m.wikipedia.org/wiki/Dual_(mathematics)
  • https://en.m.wikipedia.org/wiki/Andrzej_Mostowski
  • https://en.m.wikipedia.org/wiki/Unifor...uity#Definition_of_uniform_continuity
  • https://en.m.wikipedia.org/wiki/Unifor...y#Definition_of_(ordinary)_continuity
  • https://en.m.wikipedia.org/wiki/Quanti...o_logical_conjunction_and_disjunction
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Infinite_domain_of_discourse
  • https://en.m.wikipedia.org/wiki/Quanti...lgebraic_approaches_to_quantification
  • https://en.m.wikipedia.org/wiki/Quanti...logic)#Order_of_quantifiers_(nesting)
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Equivalent_expressions
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Quantifier_elimination
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Range_of_quantification
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Formal_semantics
  • https://en.m.wikipedia.org/wiki/Quanti...,_multal_and_other_degree_quantifiers
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Other_quantifiers
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#History
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#See_also
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#References
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Bibliography
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#External_links
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=1
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=2
  • https://en.m.wikipedia.org/wiki/Talk:Q...logic)#Infinite_vs_uncountable_domain
  • https://en.m.wikipedia.org/wiki/Disjunction_(logic)
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=3
  • https://en.m.wikipedia.org/wiki/Ernst_Schr%C3%B6der_(mathematician)
  • https://en.m.wikipedia.org/wiki/Leon_Henkin
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=4
  • https://en.m.wikipedia.org/wiki/%E2%88%80
  • https://en.m.wikipedia.org/wiki/%E2%88%83
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-1
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-2
  • https://en.m.wikipedia.org/wiki/Inclusive_or
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-3
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-4
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-5
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-6
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-7
  • https://en.m.wikipedia.org/wiki/Type_(type_theory)
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=5
  • https://en.m.wikipedia.org/wiki/Prenex_normal_form#Example
  • https://en.m.wikipedia.org/wiki/Quantifier_rank
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=6
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=7
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-FOOTNOTEBrown2002-8
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Nesting
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=8
  • https://en.m.wikipedia.org/wiki/Vacuously_true
  • https://en.m.wikipedia.org/w/index.php...ntifier_(logic)&action=edit§ion=9
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-9
  • https://en.m.wikipedia.org/w/index.php...tifier_(logic)&action=edit§ion=10
  • https://en.m.wikipedia.org/wiki/Measurable
  • https://en.m.wikipedia.org/w/index.php...tifier_(logic)&action=edit§ion=11
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-10
  • https://en.m.wikipedia.org/wiki/Set-builder_notation
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-11
  • https://en.m.wikipedia.org/w/index.php...tifier_(logic)&action=edit§ion=12
  • https://en.m.wikipedia.org/wiki/Alethic_modalities
  • https://en.m.wikipedia.org/wiki/George_Bentham
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-12
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_note-13
  • https://en.m.wikipedia.org/w/index.php...Howard_Mitchell&action=edit&redlink=1
  • https://en.m.wikipedia.org/wiki/Leopold_Loewenheim
  • https://en.m.wikipedia.org/wiki/Intuitionistic_type_theory
  • https://en.m.wikipedia.org/wiki/William_Ernest_Johnson
  • https://en.m.wikipedia.org/w/index.php...neous_reasoning&action=edit&redlink=1
  • https://en.m.wikipedia.org/wiki/Logical_graph
  • https://en.m.wikipedia.org/w/index.php...tifier_(logic)&action=edit§ion=13
  • https://en.m.wikipedia.org/wiki/Absolute_generality
  • https://en.m.wikipedia.org/wiki/Conditional_quantifier
  • https://en.m.wikipedia.org/wiki/Counting_quantification
  • https://en.m.wikipedia.org/wiki/Eventually_(mathematics)
  • https://en.m.wikipedia.org/wiki/Lindstr%C3%B6m_quantifier
  • https://en.m.wikipedia.org/w/index.php...tifier_(logic)&action=edit§ion=14
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-1
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-2
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-3
  • https://en.m.wikipedia.org/wiki/Special:BookSources/0-444-88074-7
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-4
  • https://en.m.wikipedia.org/wiki/Special:BookSources/978-1-139-03190-5
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-5
  • https://en.m.wikipedia.org/wiki/Special:BookSources/0-201-02988-X
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-6
  • https://en.m.wikipedia.org/wiki/Special:BookSources/3-540-05819-2
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-7
  • https://en.m.wikipedia.org/wiki/Quanti...logic)#cite_ref-FOOTNOTEBrown2002_8-0
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#CITEREFBrown2002
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-9
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-10
  • https://en.m.wikipedia.org/wiki/E._C._R._Hehner
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-11
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-12
  • https://en.m.wikipedia.org/wiki/Special:BookSources/1-85506-029-9
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#cite_ref-13
  • https://en.m.wikipedia.org/wiki/Special:BookSources/978-0-19-929125-0
  • https://en.m.wikipedia.org/w/index.php...tifier_(logic)&action=edit§ion=15
  • https://en.m.wikipedia.org/wiki/Special:BookSources/0-521-83182-2
  • https://en.m.wikipedia.org/w/index.php...tifier_(logic)&action=edit§ion=16
  • https://en.m.wikipedia.org/wiki/University_of_Hawaii_at_Manoa
  • https://en.wikipedia.org/w/index.php?title=Quantifier_(logic)&oldid=1287973949
  • https://en.m.wikipedia.org/w/index.php?title=Quantifier_(logic)&action=history
  • https://en.wikipedia.org/w/index.php?t...gic)&mobileaction=toggle_view_desktop
  • https://en.m.wikipedia.org/wiki/Principia_Mathematica
  • https://en.m.wikipedia.org/wiki/Binary_digit
  • https://en.m.wikipedia.org/wiki/Wikipedia:Manual_of_Style/Lead_section
  • https://en.m.wikipedia.org/wiki/A
  • https://en.m.wikipedia.org/wiki/Mathematics
  • https://en.m.wikipedia.org/wiki/Stanford_Encyclopedia_of_Philosophy
  • https://en.m.wikipedia.org/wiki/Charles_Sanders_Peirce
  • https://en.m.wikipedia.org/wiki/Term_logic
  • https://en.m.wikipedia.org/wiki/Mathematical_logic
  • https://en.m.wikipedia.org/wiki/Kurt_G%C3%B6del
  • https://en.m.wikipedia.org/wiki/Giuseppe_Peano
  • https://en.m.wikipedia.org/wiki/Theoretical_computer_science
  • https://vi.wikipedia.org/wiki/L%C6%B0%E1%BB%A3ng_t%E1%BB%AB_(logic)
  • https://en.m.wikipedia.org/wiki/Type_system
  • https://en.m.wikipedia.org/wiki/Sir_William_Hamilton,_9th_Baronet
  • https://en.m.wikipedia.org/wiki/Jean_van_Heijenoort
  • https://ar.wikipedia.org/wiki/%D9%85%D9%83%D9%85%D9%85
  • https://bg.wikipedia.org/wiki/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D1%80
  • https://ca.wikipedia.org/wiki/Quantificador_(l%C3%B2gica)
  • https://cs.wikipedia.org/wiki/Kvantifik%C3%A1tor
  • https://da.wikipedia.org/wiki/Kvantor
  • https://de.wikipedia.org/wiki/Quantor
  • https://et.wikipedia.org/wiki/Kvantifikatsioon_(loogika)
  • https://eo.wikipedia.org/wiki/Kvantizanto
  • https://eu.wikipedia.org/wiki/Zenbatzaile_(logika)
  • https://fa.wikipedia.org/wiki/%D8%B3%D9%88%D8%B1_(%D9%85%D9%86%D8%B7%D9%82)
  • https://fr.wikipedia.org/wiki/Quantification_(logique)
  • https://gl.wikipedia.org/wiki/Cuantificador_(l%C3%B3xica)
  • https://hy.wikipedia.org/wiki/%D5%94%D...6%D5%BF%D5%B8%D6%80%D5%B6%D5%A5%D6%80
  • https://hr.wikipedia.org/wiki/Logi%C4%8Dki_kvantifikator
  • https://io.wikipedia.org/wiki/Quantifikanto_(logiko)
  • https://id.wikipedia.org/wiki/Kuantifer_(logika)
  • https://ia.wikipedia.org/wiki/Quantificator
  • https://it.wikipedia.org/wiki/Quantificatore
  • https://he.wikipedia.org/wiki/%D7%9B%D7%9E%D7%AA
  • https://kk.wikipedia.org/wiki/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D1%80
  • https://ky.wikipedia.org/wiki/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D1%80
  • https://hu.wikipedia.org/wiki/Kvantor_(logika)
  • https://ms.wikipedia.org/wiki/Pengkuantitian
  • https://nl.wikipedia.org/wiki/Kwantor_(logica)
  • https://ja.wikipedia.org/wiki/%E9%87%8F%E5%8C%96%E5%AD%90
  • https://nn.wikipedia.org/wiki/Kvantor
  • https://pl.wikipedia.org/wiki/Kwantyfikator
  • https://pt.wikipedia.org/wiki/Quantifica%C3%A7%C3%A3o
  • https://ru.wikipedia.org/wiki/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D1%80
  • https://simple.wikipedia.org/wiki/Logical_quantifier
  • https://sk.wikipedia.org/wiki/Kvantifik%C3%A1tor_(logika)
  • https://sr.wikipedia.org/wiki/Kvantifikator_(logika)
  • https://sv.wikipedia.org/wiki/Kvantifikator
  • https://tr.wikipedia.org/wiki/Niceleme_(mant%C4%B1k)
  • https://uk.wikipedia.org/wiki/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D1%80
  • https://zh-yue.wikipedia.org/wiki/%E9%...%E6%95%B8%E7%90%86%E9%82%8F%E8%BC%AF)
  • https://zh.wikipedia.org/wiki/%E9%87%8...%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91)
  • https://en.wikipedia.org/w/index.php?title=Quantifier_(logic)&action=edit
  • https://en.wikipedia.org/w/index.php?title=Quantifier_elimination&action=edit
  • https://www.csm.ornl.gov/~sheldon/ds/sec1.6.html
  • https://www.whitman.edu/mathematics/higher_math_online/section01.02.html
  • https://doi.org/10.1017%2Fcbo9781139031905
  • https://doi.org/10.1007%2Fbf01071084
  • https://search.worldcat.org/issn/0011-4235
  • https://api.semanticscholar.org/CorpusID:121409759
  • http://www.cs.utoronto.ca/~hehner/aPToP
  • https://books.google.com/books?id=PrYUDAAAQBAJ&pg=PA34
  • https://www.usna.edu/CS/qepcadweb/B/QE.html
  • https://en.wiktionary.org/wiki/quantification
  • https://www.encyclopediaofmath.org/index.php?title=Quantifier
  • https://web.archive.org/web/2000030114....hawaii.edu/~ramsey/Logic/ForAll.html
  • http://www.math.hawaii.edu/~ramsey/Logic/ForAll.html
  • http://plato.stanford.edu/entries/generalized-quantifiers/
  • http://www.stanford.edu/group/nasslli/courses/peters-wes/PWbookdraft2-3.pdf
  • https://web.archive.org/web/2012071618...courses/peters-wes/PWbookdraft2-3.pdf
  • https://en.m.wikipedia.org/wiki/Formal_language
  • https://en.m.wikipedia.org/wiki/Jan_van_Leeuwen
  • https://en.m.wikipedia.org/wiki/Negation
  • https://en.m.wikipedia.org/wiki/Logical_conjunction
  • https://en.m.wikipedia.org/wiki/Hans_Reichenbach
  • https://en.m.wikipedia.org/wiki/Encyclopedia_of_Mathematics
  • https://en.m.wikipedia.org/wiki/Willard_Van_Orman_Quine
  • https://en.m.wikipedia.org/wiki/European_Mathematical_Society
  • https://en.m.wikipedia.org/wiki/Boolean_function
  • https://en.m.wikipedia.org/wiki/Alfred_North_Whitehead
  • https://en.m.wikipedia.org/wiki/Polyadic_algebra
  • https://en.m.wikipedia.org/wiki/Scope_(logic)
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)#Notation
  • https://en.m.wikipedia.org/wiki/Existential_quantifier
  • https://en.m.wikipedia.org/wiki/Free_variable
  • https://en.m.wikipedia.org/wiki/Logical_theory
  • https://en.m.wikipedia.org/wiki/Finite_set
  • https://en.m.wikipedia.org/wiki/Uniqueness_quantification
  • https://en.m.wikipedia.org/wiki/First-order_logic
  • https://en.m.wikipedia.org/wiki/Existential_graph
  • https://en.m.wikipedia.org/wiki/First-order_predicate_calculus
  • https://en.m.wikipedia.org/wiki/Higher-order_logic
  • https://en.m.wikipedia.org/wiki/Even_number
  • https://en.m.wikipedia.org/wiki/Axiomatic_set_theory
  • https://en.m.wikipedia.org/wiki/Continuous_function
  • https://en.m.wikipedia.org/wiki/Almost_all
  • https://en.m.wikipedia.org/wiki/Real_numbers
  • https://en.m.wikipedia.org/wiki/Fubini%27s_theorem
  • https://en.m.wikipedia.org/wiki/Gentzen
  • https://en.m.wikipedia.org/wiki/Modulo_(jargon)
  • https://en.m.wikipedia.org/wiki/Universal_quantifier
  • https://en.m.wikipedia.org/wiki/Free_variables_and_bound_variables
  • https://en.m.wikipedia.org/wiki/Cylindric_algebra
  • https://en.m.wikipedia.org/wiki/Relation_algebra
  • https://en.m.wikipedia.org/wiki/Prenex_normal_form
  • https://en.m.wikipedia.org/wiki/Wilhelm_Ackermann
  • https://en.m.wikipedia.org/wiki/Per_Lindstr%C3%B6m
  • https://en.m.wikipedia.org/wiki/Branching_quantifier
  • https://en.m.wikipedia.org/wiki/Bounded_quantifier
  • https://en.m.wikipedia.org/wiki/Jon_Barwise
  • https://en.m.wikipedia.org/wiki/John_Etchemendy
  • https://en.m.wikipedia.org/wiki/Principles_of_Mathematical_Logic
  • https://en.m.wikipedia.org/wiki/Commutativity
  • https://en.m.wikipedia.org/wiki/Closure_operator
  • https://en.m.wikipedia.org/wiki/Uncountable_set
  • https://en.m.wikipedia.org/wiki/Second-order_logic
  • https://en.m.wikipedia.org/wiki/Well-formed_formula
  • https://en.m.wikipedia.org/wiki/Paul_Halmos
  • https://en.m.wikipedia.org/wiki/Syntax_(logic)
  • https://en.m.wikipedia.org/wiki/Interpretation_(logic)
  • https://en.m.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem
  • https://en.m.wikipedia.org/wiki/Predicate_(mathematical_logic)
  • https://en.m.wikipedia.org/wiki/Per_Martin-L%C3%B6f
  • https://en.m.wikipedia.org/wiki/Semantic_domain
  • https://en.m.wikipedia.org/wiki/Logically_equivalent
  • https://en.m.wikipedia.org/wiki/Probability_measure
  • https://en.m.wikipedia.org/wiki/Classical_logic
xhv:alternate
  • http://dev.restore.ovi.cnr.it:8890/abo...?title=Quantifier_(logic)&action=edit
  • https://en.m.wikipedia.org/w/index.php?title=Quantifier_(logic)&action=edit
xhv:icon
xhv:license
  • Deed - Attribution-ShareAlike 4.0 International - Creative Commons
xhv:stylesheet
  • http://dev.restore.ovi.cnr.it:8890/abo...=site.styles&only=styles&skin=minerva
  • http://dev.restore.ovi.cnr.it:8890/abo....client.init&only=styles&skin=minerva
primary topic
  • https://en.m.wikipedia.org/wiki/Quantifier_(logic)
Alternative Linked Data Views: Facets | iSPARQL | ODE     Raw Linked Data formats: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD
This material is Open Knowledge   W3C Semantic Web Technology     This material is Open Knowledge Creative Commons License Valid XHTML + RDFa
This work is licensed under a Creative Commons Attribution-Share Alike 3.0 Unported License.
OpenLink Virtuoso version 07.20.3231, on Linux (x86_64-generic_glibc25-linux-gnu), Single Edition