FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2552825470> ?p ?o ?g. }

• W2552825470 endingPage "38" @default.
• W2552825470 startingPage "1" @default.
• W2552825470 abstract "Verification of properties expressed in the two-variable fragment of first-order logic FO 2 has been investigated in a number of contexts. The satisfiability problem for FO 2 over arbitrary structures is known to be NEXPTIME-complete, with satisfiable formulas having exponential-sized models. Over words, where FO 2 is known to have the same expressiveness as unary temporal logic, satisfiability is again NEXPTIME-complete. Over finite labelled ordered trees, FO 2 has the same expressiveness as navigational XPath, a popular query language for XML documents. Prior work on XPath and FO 2 gives a 2EXPTIME bound for satisfiability of FO 2 over trees. This work contains a comprehensive analysis of the complexity of FO 2 on trees, and on the size and depth of models. We show that different techniques are required depending on the vocabulary used, whether the trees are ranked or unranked, and the encoding of labels on trees. We also look at a natural restriction of FO 2 , its guarded version, GF 2 . Our results depend on an analysis of types in models of FO 2 formulas, including techniques for controlling the number of distinct subtrees, the depth, and the size of a witness to satisfiability for FO 2 sentences over finite trees." @default.
• W2552825470 created "2016-11-30" @default.
• W2552825470 creator A5004165473 @default.
• W2552825470 creator A5037774973 @default.
• W2552825470 creator A5039613878 @default.
• W2552825470 creator A5051899958 @default.
• W2552825470 creator A5068165188 @default.
• W2552825470 creator A5068443996 @default.
• W2552825470 creator A5090488658 @default.
• W2552825470 date "2016-11-11" @default.
• W2552825470 modified "2023-10-13" @default.
• W2552825470 title "Complexity of Two-Variable Logic on Finite Trees" @default.
• W2552825470 cites W1483892218 @default.
• W2552825470 cites W1518197906 @default.
• W2552825470 cites W1536964483 @default.
• W2552825470 cites W1573061520 @default.
• W2552825470 cites W1983524017 @default.
• W2552825470 cites W1991981864 @default.
• W2552825470 cites W1992955510 @default.
• W2552825470 cites W1997160698 @default.
• W2552825470 cites W2005612348 @default.
• W2552825470 cites W2017018565 @default.
• W2552825470 cites W2025535135 @default.
• W2552825470 cites W2030359223 @default.
• W2552825470 cites W2036564813 @default.
• W2552825470 cites W2124580444 @default.
• W2552825470 cites W2131159347 @default.
• W2552825470 cites W2611888112 @default.
• W2552825470 doi "https://doi.org/10.1145/2996796" @default.
• W2552825470 hasPublicationYear "2016" @default.
• W2552825470 type Work @default.
• W2552825470 sameAs 2552825470 @default.
• W2552825470 citedByCount "8" @default.
• W2552825470 countsByYear W25528254702017 @default.
• W2552825470 countsByYear W25528254702019 @default.
• W2552825470 countsByYear W25528254702020 @default.
• W2552825470 countsByYear W25528254702021 @default.
• W2552825470 countsByYear W25528254702022 @default.
• W2552825470 countsByYear W25528254702023 @default.
• W2552825470 crossrefType "journal-article" @default.
• W2552825470 hasAuthorship W2552825470A5004165473 @default.
• W2552825470 hasAuthorship W2552825470A5037774973 @default.
• W2552825470 hasAuthorship W2552825470A5039613878 @default.
• W2552825470 hasAuthorship W2552825470A5051899958 @default.
• W2552825470 hasAuthorship W2552825470A5068165188 @default.
• W2552825470 hasAuthorship W2552825470A5068443996 @default.
• W2552825470 hasAuthorship W2552825470A5090488658 @default.
• W2552825470 hasBestOaLocation W25528254702 @default.
• W2552825470 hasConcept C111919701 @default.
• W2552825470 hasConcept C11413529 @default.
• W2552825470 hasConcept C114614502 @default.
• W2552825470 hasConcept C118615104 @default.
• W2552825470 hasConcept C168773769 @default.
• W2552825470 hasConcept C179799912 @default.
• W2552825470 hasConcept C197685441 @default.
• W2552825470 hasConcept C2776235265 @default.
• W2552825470 hasConcept C2780213375 @default.
• W2552825470 hasConcept C33923547 @default.
• W2552825470 hasConcept C41008148 @default.
• W2552825470 hasConcept C55348073 @default.
• W2552825470 hasConcept C56049555 @default.
• W2552825470 hasConcept C78023250 @default.
• W2552825470 hasConcept C80444323 @default.
• W2552825470 hasConcept C8797682 @default.
• W2552825470 hasConceptScore W2552825470C111919701 @default.
• W2552825470 hasConceptScore W2552825470C11413529 @default.
• W2552825470 hasConceptScore W2552825470C114614502 @default.
• W2552825470 hasConceptScore W2552825470C118615104 @default.
• W2552825470 hasConceptScore W2552825470C168773769 @default.
• W2552825470 hasConceptScore W2552825470C179799912 @default.
• W2552825470 hasConceptScore W2552825470C197685441 @default.
• W2552825470 hasConceptScore W2552825470C2776235265 @default.
• W2552825470 hasConceptScore W2552825470C2780213375 @default.
• W2552825470 hasConceptScore W2552825470C33923547 @default.
• W2552825470 hasConceptScore W2552825470C41008148 @default.
• W2552825470 hasConceptScore W2552825470C55348073 @default.
• W2552825470 hasConceptScore W2552825470C56049555 @default.
• W2552825470 hasConceptScore W2552825470C78023250 @default.
• W2552825470 hasConceptScore W2552825470C80444323 @default.
• W2552825470 hasConceptScore W2552825470C8797682 @default.
• W2552825470 hasFunder F4320322511 @default.
• W2552825470 hasIssue "4" @default.
• W2552825470 hasLocation W25528254701 @default.
• W2552825470 hasLocation W25528254702 @default.
• W2552825470 hasOpenAccess W2552825470 @default.
• W2552825470 hasPrimaryLocation W25528254701 @default.
• W2552825470 hasRelatedWork W1492864441 @default.
• W2552825470 hasRelatedWork W1503593284 @default.
• W2552825470 hasRelatedWork W2005612348 @default.
• W2552825470 hasRelatedWork W2043435342 @default.
• W2552825470 hasRelatedWork W2092103258 @default.
• W2552825470 hasRelatedWork W2396492462 @default.
• W2552825470 hasRelatedWork W2552825470 @default.
• W2552825470 hasRelatedWork W2904498177 @default.
• W2552825470 hasRelatedWork W3089623425 @default.
• W2552825470 hasRelatedWork W4289115784 @default.
• W2552825470 hasVolume "17" @default.
• W2552825470 isParatext "false" @default.

• next