Matches in SemOpenAlex for { <https://semopenalex.org/work/W3106460147> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W3106460147 endingPage "97" @default.
- W3106460147 startingPage "84" @default.
- W3106460147 abstract "We consider first-order logics of sequences ordered by the subsequence ordering, aka sequence embedding. We show that the Sigma_2 theory is undecidable, answering a question left open by Kuske. Regarding fragments with a bounded number of variables, we show that the FO^2 theory is decidable while the FO^3 theory is undecidable." @default.
- W3106460147 created "2020-11-23" @default.
- W3106460147 creator A5083815456 @default.
- W3106460147 creator A5085569595 @default.
- W3106460147 date "2015-10-14" @default.
- W3106460147 modified "2023-09-27" @default.
- W3106460147 title "Decidability in the logic of subsequences and supersequences" @default.
- W3106460147 cites W1488339361 @default.
- W3106460147 cites W1494501847 @default.
- W3106460147 cites W1505482284 @default.
- W3106460147 cites W1521372188 @default.
- W3106460147 cites W1555798330 @default.
- W3106460147 cites W1584451387 @default.
- W3106460147 cites W1599228120 @default.
- W3106460147 cites W2053229198 @default.
- W3106460147 cites W2056096615 @default.
- W3106460147 cites W2077350163 @default.
- W3106460147 cites W2083176536 @default.
- W3106460147 cites W2130370455 @default.
- W3106460147 hasPublicationYear "2015" @default.
- W3106460147 type Work @default.
- W3106460147 sameAs 3106460147 @default.
- W3106460147 citedByCount "3" @default.
- W3106460147 countsByYear W31064601472017 @default.
- W3106460147 countsByYear W31064601472019 @default.
- W3106460147 crossrefType "proceedings-article" @default.
- W3106460147 hasAuthorship W3106460147A5083815456 @default.
- W3106460147 hasAuthorship W3106460147A5085569595 @default.
- W3106460147 hasConcept C10138342 @default.
- W3106460147 hasConcept C114614502 @default.
- W3106460147 hasConcept C118615104 @default.
- W3106460147 hasConcept C121158502 @default.
- W3106460147 hasConcept C134306372 @default.
- W3106460147 hasConcept C137877099 @default.
- W3106460147 hasConcept C153269930 @default.
- W3106460147 hasConcept C154945302 @default.
- W3106460147 hasConcept C161191863 @default.
- W3106460147 hasConcept C162324750 @default.
- W3106460147 hasConcept C182306322 @default.
- W3106460147 hasConcept C192034797 @default.
- W3106460147 hasConcept C2778112365 @default.
- W3106460147 hasConcept C33923547 @default.
- W3106460147 hasConcept C34388435 @default.
- W3106460147 hasConcept C41008148 @default.
- W3106460147 hasConcept C41608201 @default.
- W3106460147 hasConcept C54355233 @default.
- W3106460147 hasConcept C86803240 @default.
- W3106460147 hasConceptScore W3106460147C10138342 @default.
- W3106460147 hasConceptScore W3106460147C114614502 @default.
- W3106460147 hasConceptScore W3106460147C118615104 @default.
- W3106460147 hasConceptScore W3106460147C121158502 @default.
- W3106460147 hasConceptScore W3106460147C134306372 @default.
- W3106460147 hasConceptScore W3106460147C137877099 @default.
- W3106460147 hasConceptScore W3106460147C153269930 @default.
- W3106460147 hasConceptScore W3106460147C154945302 @default.
- W3106460147 hasConceptScore W3106460147C161191863 @default.
- W3106460147 hasConceptScore W3106460147C162324750 @default.
- W3106460147 hasConceptScore W3106460147C182306322 @default.
- W3106460147 hasConceptScore W3106460147C192034797 @default.
- W3106460147 hasConceptScore W3106460147C2778112365 @default.
- W3106460147 hasConceptScore W3106460147C33923547 @default.
- W3106460147 hasConceptScore W3106460147C34388435 @default.
- W3106460147 hasConceptScore W3106460147C41008148 @default.
- W3106460147 hasConceptScore W3106460147C41608201 @default.
- W3106460147 hasConceptScore W3106460147C54355233 @default.
- W3106460147 hasConceptScore W3106460147C86803240 @default.
- W3106460147 hasLocation W31064601471 @default.
- W3106460147 hasOpenAccess W3106460147 @default.
- W3106460147 hasPrimaryLocation W31064601471 @default.
- W3106460147 hasRelatedWork W1619948012 @default.
- W3106460147 hasRelatedWork W2011289699 @default.
- W3106460147 hasRelatedWork W2034539650 @default.
- W3106460147 hasRelatedWork W2045554431 @default.
- W3106460147 hasRelatedWork W2076508310 @default.
- W3106460147 hasRelatedWork W2077350163 @default.
- W3106460147 hasRelatedWork W2114710125 @default.
- W3106460147 hasRelatedWork W2131043528 @default.
- W3106460147 hasRelatedWork W2134375197 @default.
- W3106460147 hasRelatedWork W2143011759 @default.
- W3106460147 hasRelatedWork W2154551318 @default.
- W3106460147 hasRelatedWork W2166108892 @default.
- W3106460147 hasRelatedWork W2178715012 @default.
- W3106460147 hasRelatedWork W2252339295 @default.
- W3106460147 hasRelatedWork W2581629772 @default.
- W3106460147 hasRelatedWork W2949769483 @default.
- W3106460147 hasRelatedWork W2964112588 @default.
- W3106460147 hasRelatedWork W2964260039 @default.
- W3106460147 hasRelatedWork W3100765028 @default.
- W3106460147 hasRelatedWork W3104280179 @default.
- W3106460147 isParatext "false" @default.
- W3106460147 isRetracted "false" @default.
- W3106460147 magId "3106460147" @default.
- W3106460147 workType "article" @default.