Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983136104> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1983136104 endingPage "248" @default.
- W1983136104 startingPage "205" @default.
- W1983136104 abstract "We develop a series of Ehrenfeucht games and prove the following results: (i) The first order theory of the divisible and indecomposable p-group, the first order theory of the group of rational numbers with denominators prime to p and the first order theory of a cyclic group of prime power order can be decided in 22cn log n Turing time. (ii) The first order theory of the direct sum of countably many infinite cyclic groups, the first order theory of finite Abelian groups and the first order theory of all Abelian groups can be decided in 22dn Turing space." @default.
- W1983136104 created "2016-06-24" @default.
- W1983136104 creator A5031314293 @default.
- W1983136104 date "1988-03-01" @default.
- W1983136104 modified "2023-09-27" @default.
- W1983136104 title "On the computational complexity of the theory of Abelian groups" @default.
- W1983136104 cites W1555138513 @default.
- W1983136104 cites W1556844982 @default.
- W1983136104 cites W1996716302 @default.
- W1983136104 cites W2001082538 @default.
- W1983136104 cites W2092937228 @default.
- W1983136104 cites W296038034 @default.
- W1983136104 doi "https://doi.org/10.1016/0168-0072(88)90020-6" @default.
- W1983136104 hasPublicationYear "1988" @default.
- W1983136104 type Work @default.
- W1983136104 sameAs 1983136104 @default.
- W1983136104 citedByCount "2" @default.
- W1983136104 crossrefType "journal-article" @default.
- W1983136104 hasAuthorship W1983136104A5031314293 @default.
- W1983136104 hasConcept C10138342 @default.
- W1983136104 hasConcept C114614502 @default.
- W1983136104 hasConcept C118615104 @default.
- W1983136104 hasConcept C136119220 @default.
- W1983136104 hasConcept C136170076 @default.
- W1983136104 hasConcept C157480366 @default.
- W1983136104 hasConcept C162324750 @default.
- W1983136104 hasConcept C178790620 @default.
- W1983136104 hasConcept C182306322 @default.
- W1983136104 hasConcept C184992742 @default.
- W1983136104 hasConcept C185592680 @default.
- W1983136104 hasConcept C202444582 @default.
- W1983136104 hasConcept C20725272 @default.
- W1983136104 hasConcept C2781311116 @default.
- W1983136104 hasConcept C33923547 @default.
- W1983136104 hasConcept C81008192 @default.
- W1983136104 hasConcept C81651864 @default.
- W1983136104 hasConceptScore W1983136104C10138342 @default.
- W1983136104 hasConceptScore W1983136104C114614502 @default.
- W1983136104 hasConceptScore W1983136104C118615104 @default.
- W1983136104 hasConceptScore W1983136104C136119220 @default.
- W1983136104 hasConceptScore W1983136104C136170076 @default.
- W1983136104 hasConceptScore W1983136104C157480366 @default.
- W1983136104 hasConceptScore W1983136104C162324750 @default.
- W1983136104 hasConceptScore W1983136104C178790620 @default.
- W1983136104 hasConceptScore W1983136104C182306322 @default.
- W1983136104 hasConceptScore W1983136104C184992742 @default.
- W1983136104 hasConceptScore W1983136104C185592680 @default.
- W1983136104 hasConceptScore W1983136104C202444582 @default.
- W1983136104 hasConceptScore W1983136104C20725272 @default.
- W1983136104 hasConceptScore W1983136104C2781311116 @default.
- W1983136104 hasConceptScore W1983136104C33923547 @default.
- W1983136104 hasConceptScore W1983136104C81008192 @default.
- W1983136104 hasConceptScore W1983136104C81651864 @default.
- W1983136104 hasIssue "3" @default.
- W1983136104 hasLocation W19831361041 @default.
- W1983136104 hasOpenAccess W1983136104 @default.
- W1983136104 hasPrimaryLocation W19831361041 @default.
- W1983136104 hasRelatedWork W1983136104 @default.
- W1983136104 hasRelatedWork W1995616706 @default.
- W1983136104 hasRelatedWork W2016548503 @default.
- W1983136104 hasRelatedWork W2099951532 @default.
- W1983136104 hasRelatedWork W2766996820 @default.
- W1983136104 hasRelatedWork W2964114594 @default.
- W1983136104 hasRelatedWork W3000471292 @default.
- W1983136104 hasRelatedWork W33847146 @default.
- W1983136104 hasRelatedWork W4289602287 @default.
- W1983136104 hasRelatedWork W4310416933 @default.
- W1983136104 hasVolume "37" @default.
- W1983136104 isParatext "false" @default.
- W1983136104 isRetracted "false" @default.
- W1983136104 magId "1983136104" @default.
- W1983136104 workType "article" @default.