Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952314805> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2952314805 abstract "We show that the finite satisfiability problem for the guarded two-variable fragment with counting quantifiers is in EXPTIME. The method employed also yields a simple proof of a result recently obtained by Y. Kazakov, that the satisfiability problem for the guarded two-variable fragment with counting quantifiers is in EXPTIME." @default.
- W2952314805 created "2019-06-27" @default.
- W2952314805 creator A5033570514 @default.
- W2952314805 date "2006-01-26" @default.
- W2952314805 modified "2023-09-23" @default.
- W2952314805 title "Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers" @default.
- W2952314805 cites W1483892218 @default.
- W2952314805 cites W1549008998 @default.
- W2952314805 cites W1608479762 @default.
- W2952314805 cites W1997817571 @default.
- W2952314805 cites W2033040247 @default.
- W2952314805 cites W2103658959 @default.
- W2952314805 cites W2166108892 @default.
- W2952314805 cites W2397664909 @default.
- W2952314805 hasPublicationYear "2006" @default.
- W2952314805 type Work @default.
- W2952314805 sameAs 2952314805 @default.
- W2952314805 citedByCount "0" @default.
- W2952314805 crossrefType "posted-content" @default.
- W2952314805 hasAuthorship W2952314805A5033570514 @default.
- W2952314805 hasConcept C111472728 @default.
- W2952314805 hasConcept C11413529 @default.
- W2952314805 hasConcept C114614502 @default.
- W2952314805 hasConcept C118615104 @default.
- W2952314805 hasConcept C134306372 @default.
- W2952314805 hasConcept C138885662 @default.
- W2952314805 hasConcept C168773769 @default.
- W2952314805 hasConcept C179799912 @default.
- W2952314805 hasConcept C182365436 @default.
- W2952314805 hasConcept C197685441 @default.
- W2952314805 hasConcept C2776235265 @default.
- W2952314805 hasConcept C2780586882 @default.
- W2952314805 hasConcept C33923547 @default.
- W2952314805 hasConcept C41008148 @default.
- W2952314805 hasConcept C56049555 @default.
- W2952314805 hasConcept C6943359 @default.
- W2952314805 hasConceptScore W2952314805C111472728 @default.
- W2952314805 hasConceptScore W2952314805C11413529 @default.
- W2952314805 hasConceptScore W2952314805C114614502 @default.
- W2952314805 hasConceptScore W2952314805C118615104 @default.
- W2952314805 hasConceptScore W2952314805C134306372 @default.
- W2952314805 hasConceptScore W2952314805C138885662 @default.
- W2952314805 hasConceptScore W2952314805C168773769 @default.
- W2952314805 hasConceptScore W2952314805C179799912 @default.
- W2952314805 hasConceptScore W2952314805C182365436 @default.
- W2952314805 hasConceptScore W2952314805C197685441 @default.
- W2952314805 hasConceptScore W2952314805C2776235265 @default.
- W2952314805 hasConceptScore W2952314805C2780586882 @default.
- W2952314805 hasConceptScore W2952314805C33923547 @default.
- W2952314805 hasConceptScore W2952314805C41008148 @default.
- W2952314805 hasConceptScore W2952314805C56049555 @default.
- W2952314805 hasConceptScore W2952314805C6943359 @default.
- W2952314805 hasLocation W29523148051 @default.
- W2952314805 hasOpenAccess W2952314805 @default.
- W2952314805 hasPrimaryLocation W29523148051 @default.
- W2952314805 hasRelatedWork W11556686 @default.
- W2952314805 hasRelatedWork W1483892218 @default.
- W2952314805 hasRelatedWork W1667002571 @default.
- W2952314805 hasRelatedWork W1982412713 @default.
- W2952314805 hasRelatedWork W1993151238 @default.
- W2952314805 hasRelatedWork W1997817571 @default.
- W2952314805 hasRelatedWork W2017018565 @default.
- W2952314805 hasRelatedWork W2189181601 @default.
- W2952314805 hasRelatedWork W2290003855 @default.
- W2952314805 hasRelatedWork W2554629120 @default.
- W2952314805 hasRelatedWork W2558249906 @default.
- W2952314805 hasRelatedWork W2885684586 @default.
- W2952314805 hasRelatedWork W2904498177 @default.
- W2952314805 hasRelatedWork W2950379689 @default.
- W2952314805 hasRelatedWork W2951261477 @default.
- W2952314805 hasRelatedWork W2952781432 @default.
- W2952314805 hasRelatedWork W2964257511 @default.
- W2952314805 hasRelatedWork W3010130519 @default.
- W2952314805 hasRelatedWork W3176334073 @default.
- W2952314805 hasRelatedWork W3205374186 @default.
- W2952314805 isParatext "false" @default.
- W2952314805 isRetracted "false" @default.
- W2952314805 magId "2952314805" @default.
- W2952314805 workType "article" @default.