Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034177508> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2034177508 endingPage "130" @default.
- W2034177508 startingPage "123" @default.
- W2034177508 abstract "Abstract We show here that the first order theory of the positive integers equipped with multiplication remains decidable when one adds to the language the usual order restricted to the prime numbers. We see moreover that the complexity of the latter theory is a tower of exponentials, of height O(n) ." @default.
- W2034177508 created "2016-06-24" @default.
- W2034177508 creator A5043094714 @default.
- W2034177508 date "1997-03-01" @default.
- W2034177508 modified "2023-09-25" @default.
- W2034177508 title "The theory of integer multiplication with order restricted to primes is decidable " @default.
- W2034177508 cites W2021592352 @default.
- W2034177508 cites W3037175162 @default.
- W2034177508 cites W4205178514 @default.
- W2034177508 doi "https://doi.org/10.2307/2275735" @default.
- W2034177508 hasPublicationYear "1997" @default.
- W2034177508 type Work @default.
- W2034177508 sameAs 2034177508 @default.
- W2034177508 citedByCount "9" @default.
- W2034177508 countsByYear W20341775082015 @default.
- W2034177508 crossrefType "journal-article" @default.
- W2034177508 hasAuthorship W2034177508A5043094714 @default.
- W2034177508 hasConcept C10138342 @default.
- W2034177508 hasConcept C113429393 @default.
- W2034177508 hasConcept C114614502 @default.
- W2034177508 hasConcept C118615104 @default.
- W2034177508 hasConcept C127413603 @default.
- W2034177508 hasConcept C134306372 @default.
- W2034177508 hasConcept C147176958 @default.
- W2034177508 hasConcept C151376022 @default.
- W2034177508 hasConcept C153269930 @default.
- W2034177508 hasConcept C162324750 @default.
- W2034177508 hasConcept C182306322 @default.
- W2034177508 hasConcept C184992742 @default.
- W2034177508 hasConcept C199360897 @default.
- W2034177508 hasConcept C2777831296 @default.
- W2034177508 hasConcept C2780595030 @default.
- W2034177508 hasConcept C33923547 @default.
- W2034177508 hasConcept C41008148 @default.
- W2034177508 hasConcept C94375191 @default.
- W2034177508 hasConcept C97137487 @default.
- W2034177508 hasConceptScore W2034177508C10138342 @default.
- W2034177508 hasConceptScore W2034177508C113429393 @default.
- W2034177508 hasConceptScore W2034177508C114614502 @default.
- W2034177508 hasConceptScore W2034177508C118615104 @default.
- W2034177508 hasConceptScore W2034177508C127413603 @default.
- W2034177508 hasConceptScore W2034177508C134306372 @default.
- W2034177508 hasConceptScore W2034177508C147176958 @default.
- W2034177508 hasConceptScore W2034177508C151376022 @default.
- W2034177508 hasConceptScore W2034177508C153269930 @default.
- W2034177508 hasConceptScore W2034177508C162324750 @default.
- W2034177508 hasConceptScore W2034177508C182306322 @default.
- W2034177508 hasConceptScore W2034177508C184992742 @default.
- W2034177508 hasConceptScore W2034177508C199360897 @default.
- W2034177508 hasConceptScore W2034177508C2777831296 @default.
- W2034177508 hasConceptScore W2034177508C2780595030 @default.
- W2034177508 hasConceptScore W2034177508C33923547 @default.
- W2034177508 hasConceptScore W2034177508C41008148 @default.
- W2034177508 hasConceptScore W2034177508C94375191 @default.
- W2034177508 hasConceptScore W2034177508C97137487 @default.
- W2034177508 hasIssue "01" @default.
- W2034177508 hasLocation W20341775081 @default.
- W2034177508 hasOpenAccess W2034177508 @default.
- W2034177508 hasPrimaryLocation W20341775081 @default.
- W2034177508 hasRelatedWork W2001019478 @default.
- W2034177508 hasRelatedWork W2010452943 @default.
- W2034177508 hasRelatedWork W2053188202 @default.
- W2034177508 hasRelatedWork W2156421370 @default.
- W2034177508 hasRelatedWork W2372556892 @default.
- W2034177508 hasRelatedWork W2643756080 @default.
- W2034177508 hasRelatedWork W3092805457 @default.
- W2034177508 hasRelatedWork W3153221457 @default.
- W2034177508 hasRelatedWork W4253853258 @default.
- W2034177508 hasRelatedWork W4297677061 @default.
- W2034177508 hasVolume "62" @default.
- W2034177508 isParatext "false" @default.
- W2034177508 isRetracted "false" @default.
- W2034177508 magId "2034177508" @default.
- W2034177508 workType "article" @default.