Matches in SemOpenAlex for { <https://semopenalex.org/work/W4213043222> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4213043222 endingPage "941" @default.
- W4213043222 startingPage "902" @default.
- W4213043222 abstract "Abstract One-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential (universal) quantifiers that leave at most one variable free. We investigate this fragment over words and trees, presenting a complete classification of the complexity of its satisfiability problem for various navigational signatures and comparing its expressive power with other important formalisms. These include the two-variable fragment with counting and the unary negation fragment." @default.
- W4213043222 created "2022-02-24" @default.
- W4213043222 creator A5059829668 @default.
- W4213043222 creator A5090488658 @default.
- W4213043222 date "2022-02-19" @default.
- W4213043222 modified "2023-10-17" @default.
- W4213043222 title "One-dimensional fragment over words and trees" @default.
- W4213043222 cites W1483892218 @default.
- W4213043222 cites W1983524017 @default.
- W4213043222 cites W1991981864 @default.
- W4213043222 cites W2003227046 @default.
- W4213043222 cites W2073614038 @default.
- W4213043222 cites W2104419987 @default.
- W4213043222 cites W2131159347 @default.
- W4213043222 cites W2278869178 @default.
- W4213043222 cites W2549023517 @default.
- W4213043222 cites W2552825470 @default.
- W4213043222 cites W3037251419 @default.
- W4213043222 cites W313985849 @default.
- W4213043222 cites W4213219346 @default.
- W4213043222 cites W4241108585 @default.
- W4213043222 cites W4256671182 @default.
- W4213043222 doi "https://doi.org/10.1093/logcom/exac002" @default.
- W4213043222 hasPublicationYear "2022" @default.
- W4213043222 type Work @default.
- W4213043222 citedByCount "0" @default.
- W4213043222 crossrefType "journal-article" @default.
- W4213043222 hasAuthorship W4213043222A5059829668 @default.
- W4213043222 hasAuthorship W4213043222A5090488658 @default.
- W4213043222 hasBestOaLocation W42130432222 @default.
- W4213043222 hasConcept C11413529 @default.
- W4213043222 hasConcept C118615104 @default.
- W4213043222 hasConcept C134306372 @default.
- W4213043222 hasConcept C168773769 @default.
- W4213043222 hasConcept C171018156 @default.
- W4213043222 hasConcept C182365436 @default.
- W4213043222 hasConcept C199360897 @default.
- W4213043222 hasConcept C2185349 @default.
- W4213043222 hasConcept C2524010 @default.
- W4213043222 hasConcept C2776235265 @default.
- W4213043222 hasConcept C33923547 @default.
- W4213043222 hasConcept C41008148 @default.
- W4213043222 hasConcept C6943359 @default.
- W4213043222 hasConcept C78023250 @default.
- W4213043222 hasConceptScore W4213043222C11413529 @default.
- W4213043222 hasConceptScore W4213043222C118615104 @default.
- W4213043222 hasConceptScore W4213043222C134306372 @default.
- W4213043222 hasConceptScore W4213043222C168773769 @default.
- W4213043222 hasConceptScore W4213043222C171018156 @default.
- W4213043222 hasConceptScore W4213043222C182365436 @default.
- W4213043222 hasConceptScore W4213043222C199360897 @default.
- W4213043222 hasConceptScore W4213043222C2185349 @default.
- W4213043222 hasConceptScore W4213043222C2524010 @default.
- W4213043222 hasConceptScore W4213043222C2776235265 @default.
- W4213043222 hasConceptScore W4213043222C33923547 @default.
- W4213043222 hasConceptScore W4213043222C41008148 @default.
- W4213043222 hasConceptScore W4213043222C6943359 @default.
- W4213043222 hasConceptScore W4213043222C78023250 @default.
- W4213043222 hasFunder F4320321108 @default.
- W4213043222 hasFunder F4320322511 @default.
- W4213043222 hasIssue "5" @default.
- W4213043222 hasLocation W42130432221 @default.
- W4213043222 hasLocation W42130432222 @default.
- W4213043222 hasOpenAccess W4213043222 @default.
- W4213043222 hasPrimaryLocation W42130432221 @default.
- W4213043222 hasRelatedWork W2891863042 @default.
- W4213043222 hasRelatedWork W2904498177 @default.
- W4213043222 hasRelatedWork W2955094534 @default.
- W4213043222 hasRelatedWork W2971036089 @default.
- W4213043222 hasRelatedWork W3037251419 @default.
- W4213043222 hasRelatedWork W3201906082 @default.
- W4213043222 hasRelatedWork W4213043222 @default.
- W4213043222 hasRelatedWork W4289115784 @default.
- W4213043222 hasRelatedWork W4289547360 @default.
- W4213043222 hasRelatedWork W4289548531 @default.
- W4213043222 hasVolume "32" @default.
- W4213043222 isParatext "false" @default.
- W4213043222 isRetracted "false" @default.
- W4213043222 workType "article" @default.