Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Lindström_quantifier> ?p ?o }
Showing triples 1 to 56 of
56
with 100 triples per page.
- Lindström_quantifier abstract "In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. They are a generalization of first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages.".
- Lindström_quantifier wikiPageExternalLink pdf.
- Lindström_quantifier wikiPageExternalLink generalized-quantifiers.
- Lindström_quantifier wikiPageID "8030626".
- Lindström_quantifier wikiPageLength "7629".
- Lindström_quantifier wikiPageOutDegree "25".
- Lindström_quantifier wikiPageRevisionID "678398247".
- Lindström_quantifier wikiPageWikiLink Annals_of_Pure_and_Applied_Logic.
- Lindström_quantifier wikiPageWikiLink Arity.
- Lindström_quantifier wikiPageWikiLink Branching_quantifier.
- Lindström_quantifier wikiPageWikiLink Category:Finite_model_theory.
- Lindström_quantifier wikiPageWikiLink Category:Quantification.
- Lindström_quantifier wikiPageWikiLink Compactness_theorem.
- Lindström_quantifier wikiPageWikiLink Counting_quantification.
- Lindström_quantifier wikiPageWikiLink Existential_quantification.
- Lindström_quantifier wikiPageWikiLink Generalized_quantifier.
- Lindström_quantifier wikiPageWikiLink Hartigs_quantifier.
- Lindström_quantifier wikiPageWikiLink J._Vaananen.
- Lindström_quantifier wikiPageWikiLink Journal_of_Symbolic_Logic.
- Lindström_quantifier wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Lindström_quantifier wikiPageWikiLink Lexicographical_order.
- Lindström_quantifier wikiPageWikiLink Lindstrxc3xb6ms_theorem.
- Lindström_quantifier wikiPageWikiLink Logic_in_computer_science.
- Lindström_quantifier wikiPageWikiLink Löwenheim–Skolem_theorem.
- Lindström_quantifier wikiPageWikiLink Mathematical_logic.
- Lindström_quantifier wikiPageWikiLink Per_Lindström.
- Lindström_quantifier wikiPageWikiLink Power_set.
- Lindström_quantifier wikiPageWikiLink Query_language.
- Lindström_quantifier wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Lindström_quantifier wikiPageWikiLink Symposium_on_Logic_in_Computer_Science.
- Lindström_quantifier wikiPageWikiLink Theoria_(philosophy_journal).
- Lindström_quantifier wikiPageWikiLink Universal_quantification.
- Lindström_quantifier wikiPageWikiLinkText "Lindström quantifier".
- Lindström_quantifier date "October 2013".
- Lindström_quantifier reason "Should be the set of pairs of equal cardinality { : A,B ⊆ M and !A! = !B!} ?".
- Lindström_quantifier reason "The 'a' on the left hand side of ⇔ should have an overline?".
- Lindström_quantifier reason "The verb-phrase of the preceding sentence seems to be missing.".
- Lindström_quantifier wikiPageUsesTemplate Template:Citation.
- Lindström_quantifier wikiPageUsesTemplate Template:Cite_book.
- Lindström_quantifier wikiPageUsesTemplate Template:Cite_journal.
- Lindström_quantifier wikiPageUsesTemplate Template:Clarify.
- Lindström_quantifier wikiPageUsesTemplate Template:Doi.
- Lindström_quantifier wikiPageUsesTemplate Template:ECCC.
- Lindström_quantifier wikiPageUsesTemplate Template:Empty_section.
- Lindström_quantifier subject Category:Finite_model_theory.
- Lindström_quantifier subject Category:Quantification.
- Lindström_quantifier hypernym Quantifier.
- Lindström_quantifier type Diacritic.
- Lindström_quantifier type Redirect.
- Lindström_quantifier comment "In mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. They are a generalization of first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages.".
- Lindström_quantifier label "Lindström quantifier".
- Lindström_quantifier sameAs Q6552938.
- Lindström_quantifier sameAs m.026p3hq.
- Lindström_quantifier sameAs Q6552938.
- Lindström_quantifier wasDerivedFrom Lindström_quantifier?oldid=678398247.
- Lindström_quantifier isPrimaryTopicOf Lindström_quantifier.