First-order definable counting-only queries (Q5919275): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Normalize DOI. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1007/s10472-019-09652-8 / rank | |||
Property / cites work | |||
Property / cites work: Q4864249 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4282593 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4172944 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On logics with two variables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite Variable Logics in Descriptive Complexity Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Calculi for symmetric queries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: First-order definable counting-only queries / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5144680 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complexity results for classes of quantificational formulas / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elements of finite model theory. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the expressive power of the relational algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4223096 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4955349 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DECOMPOSING GENERALIZED QUANTIFIERS / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q127483181 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1007/S10472-019-09652-8 / rank | |||
Normal rank |
Latest revision as of 19:15, 17 December 2024
scientific article; zbMATH DE number 7141250
Language | Label | Description | Also known as |
---|---|---|---|
English | First-order definable counting-only queries |
scientific article; zbMATH DE number 7141250 |
Statements
First-order definable counting-only queries (English)
0 references
9 December 2019
0 references
bag of sets
0 references
counting-only query
0 references
first-order definable query
0 references
satisfiability
0 references