Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Lindström quantifier
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
unknown
Property
Value
dbo:
wikiPageExternalLink
http://plato.stanford.edu/entries/generalized-quantifiers/
dbo:
wikiPageWikiLink
dbr
:Löwenheim–Skolem_theorem
dbr
:Per_Lindström
dbr
:Generalized_quantifier
dbc
:Quantifier_(logic)
dbr
:Lecture_Notes_in_Computer_Science
dbr
:Compactness_theorem
dbc
:Finite_model_theory
dbr
:Theoria_(philosophy_journal)
dbr
:Power_set
dbr
:Mathematical_logic
dbr
:Lindström's_theorem
dbr
:Query_language
dbr
:Stanford_Encyclopedia_of_Philosophy
dbr
:Logic_in_computer_science
dbr
:Journal_of_Symbolic_Logic
dbr
:Henkin_quantifier
dbr
:Annals_of_Pure_and_Applied_Logic
dbr
:Universal_quantifier
dbr
:Lexicographical_order
dbr
:Existential_quantifier
dbr
:IEEE_Symposium_on_Logic_in_Computer_Science
dbr
:Counting_quantifier
dbr
:Monadic_(arity)
dbr
:Hartig's_quantifier
dbr
:J._Vaananen
dbp:
date
October 2013
(en)
dbp:
reason
The verb-phrase of the preceding sentence seems to be missing.
(en)
The 'a' on the left hand side of ⇔ should have an overline?
(en)
Should be the set of pairs of equal cardinality { : A,B ⊆ M and !A! = !B!} ?
(en)
dbp:
wikiPageUsesTemplate
dbt
:Cite_book
dbt
:Cite_journal
dbt
:Doi
dbt
:Empty_section
dbt
:Clarify
dbt
:Citation
dbt
:ECCC
dbt
:Isbn
dct:
subject
dbc
:Quantifier_(logic)
dbc
:Finite_model_theory
gold:
hypernym
dbr
:Quantifier
rdfs:
label
Lindström quantifier
(en)
owl:
sameAs
freebase
:Lindström quantifier
wikidata
:Lindström quantifier
dbpedia-global
:Lindström quantifier
dbr
:Lindström quantifier
prov:
wasDerivedFrom
wikipedia-en
:Lindström_quantifier?oldid=1284296681&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Lindström_quantifier
is
dbo:
wikiPageRedirects
of
dbr
:Lindstroem_quantifier
dbr
:Lindstrom_quantifier
is
dbo:
wikiPageWikiLink
of
dbr
:Quantifier_(logic)
dbr
:Per_Lindström
dbr
:Generalized_quantifier
dbr
:Counting_quantification
dbr
:Theoria_(philosophy_journal)
dbr
:Lindström's_theorem
dbr
:Branching_quantifier
dbr
:List_of_mathematical_logic_topics
dbr
:Existential_quantification
dbr
:Lindstrom_(disambiguation)
dbr
:Conditional_quantifier
dbr
:Conservativity
dbr
:Lindstroem_quantifier
dbr
:Lindstrom_quantifier
is
foaf:
primaryTopic
of
wikipedia-en
:Lindström_quantifier
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International