FRINK Linked Data Fragments server

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

• W1569275717 endingPage "357" @default.
• W1569275717 startingPage "343" @default.
• W1569275717 abstract "It is well-known that every first-order property on words is expressible using at most three variables. The subclass of properties expressible with only two variables is also quite interesting and wellstudied. We prove precise structure theorems that characterize the exact expressive power of first-order logic with two variables on words. Our results apply to FO2[<] and FO 2[<; Suc], the latter of which includes the binary successor relation in addition to the linear ordering on string positions.For both languages, our structuretheorems showexactly whatis expressible using a given quantifier depth, n, and using m blocks of alternating quantifiers, for any m ≤ n. Using these characterizations, we prove, among other results, that there is a strict hierarchy of alternating quantifiers for both languages. The question whether there was such a hierarchy had been completely open. As another consequence of our structural results, we show that satisfiability for FO2[<], which is NEXP-complete in general, becomes NP-complete once we only consider alphabets of a bounded size." @default.
• W1569275717 created "2016-06-24" @default.
• W1569275717 creator A5043817582 @default.
• W1569275717 creator A5053065200 @default.
• W1569275717 date "2007-08-24" @default.
• W1569275717 modified "2023-09-27" @default.
• W1569275717 title "Structure Theorem and Strict Alternation Hierarchy for FO2 on Words" @default.
• W1569275717 cites W1521674074 @default.
• W1569275717 cites W1884582486 @default.
• W1569275717 cites W2013085432 @default.
• W1569275717 cites W2015360324 @default.
• W1569275717 cites W2026713735 @default.
• W1569275717 cites W2049016755 @default.
• W1569275717 cites W2053510959 @default.
• W1569275717 cites W2078174437 @default.
• W1569275717 cites W2079162006 @default.
• W1569275717 cites W2131159347 @default.
• W1569275717 cites W2175748456 @default.
• W1569275717 cites W2275471570 @default.
• W1569275717 cites W2318841766 @default.
• W1569275717 cites W2616686541 @default.
• W1569275717 cites W2950144551 @default.
• W1569275717 cites W4230948545 @default.
• W1569275717 cites W4236835455 @default.
• W1569275717 doi "https://doi.org/10.1007/978-3-540-74915-8_27" @default.
• W1569275717 hasPublicationYear "2007" @default.
• W1569275717 type Work @default.
• W1569275717 sameAs 1569275717 @default.
• W1569275717 citedByCount "9" @default.
• W1569275717 countsByYear W15692757172013 @default.
• W1569275717 countsByYear W15692757172014 @default.
• W1569275717 countsByYear W15692757172017 @default.
• W1569275717 crossrefType "book-chapter" @default.
• W1569275717 hasAuthorship W1569275717A5043817582 @default.
• W1569275717 hasAuthorship W1569275717A5053065200 @default.
• W1569275717 hasBestOaLocation W15692757172 @default.
• W1569275717 hasConcept C10138342 @default.
• W1569275717 hasConcept C111472728 @default.
• W1569275717 hasConcept C114614502 @default.
• W1569275717 hasConcept C118615104 @default.
• W1569275717 hasConcept C134306372 @default.
• W1569275717 hasConcept C138885662 @default.
• W1569275717 hasConcept C154945302 @default.
• W1569275717 hasConcept C157486923 @default.
• W1569275717 hasConcept C162324750 @default.
• W1569275717 hasConcept C168773769 @default.
• W1569275717 hasConcept C182306322 @default.
• W1569275717 hasConcept C189950617 @default.
• W1569275717 hasConcept C195818886 @default.
• W1569275717 hasConcept C26826806 @default.
• W1569275717 hasConcept C2778523021 @default.
• W1569275717 hasConcept C31170391 @default.
• W1569275717 hasConcept C33923547 @default.
• W1569275717 hasConcept C34388435 @default.
• W1569275717 hasConcept C34447519 @default.
• W1569275717 hasConcept C37914503 @default.
• W1569275717 hasConcept C41008148 @default.
• W1569275717 hasConcept C41895202 @default.
• W1569275717 hasConcept C75306776 @default.
• W1569275717 hasConcept C80444323 @default.
• W1569275717 hasConceptScore W1569275717C10138342 @default.
• W1569275717 hasConceptScore W1569275717C111472728 @default.
• W1569275717 hasConceptScore W1569275717C114614502 @default.
• W1569275717 hasConceptScore W1569275717C118615104 @default.
• W1569275717 hasConceptScore W1569275717C134306372 @default.
• W1569275717 hasConceptScore W1569275717C138885662 @default.
• W1569275717 hasConceptScore W1569275717C154945302 @default.
• W1569275717 hasConceptScore W1569275717C157486923 @default.
• W1569275717 hasConceptScore W1569275717C162324750 @default.
• W1569275717 hasConceptScore W1569275717C168773769 @default.
• W1569275717 hasConceptScore W1569275717C182306322 @default.
• W1569275717 hasConceptScore W1569275717C189950617 @default.
• W1569275717 hasConceptScore W1569275717C195818886 @default.
• W1569275717 hasConceptScore W1569275717C26826806 @default.
• W1569275717 hasConceptScore W1569275717C2778523021 @default.
• W1569275717 hasConceptScore W1569275717C31170391 @default.
• W1569275717 hasConceptScore W1569275717C33923547 @default.
• W1569275717 hasConceptScore W1569275717C34388435 @default.
• W1569275717 hasConceptScore W1569275717C34447519 @default.
• W1569275717 hasConceptScore W1569275717C37914503 @default.
• W1569275717 hasConceptScore W1569275717C41008148 @default.
• W1569275717 hasConceptScore W1569275717C41895202 @default.
• W1569275717 hasConceptScore W1569275717C75306776 @default.
• W1569275717 hasConceptScore W1569275717C80444323 @default.
• W1569275717 hasLocation W15692757171 @default.
• W1569275717 hasLocation W15692757172 @default.
• W1569275717 hasLocation W15692757173 @default.
• W1569275717 hasLocation W15692757174 @default.
• W1569275717 hasLocation W15692757175 @default.
• W1569275717 hasOpenAccess W1569275717 @default.
• W1569275717 hasPrimaryLocation W15692757171 @default.
• W1569275717 hasRelatedWork W1498461125 @default.
• W1569275717 hasRelatedWork W1569275717 @default.
• W1569275717 hasRelatedWork W209374521 @default.
• W1569275717 hasRelatedWork W2145431543 @default.
• W1569275717 hasRelatedWork W2241580460 @default.
• W1569275717 hasRelatedWork W2610950376 @default.
• W1569275717 hasRelatedWork W2952010981 @default.

• next