Matches in SemOpenAlex for { <https://semopenalex.org/work/W2521896346> ?p ?o ?g. }
- W2521896346 created "2016-09-30" @default.
- W2521896346 creator A5050337397 @default.
- W2521896346 creator A5072083212 @default.
- W2521896346 creator A5074939120 @default.
- W2521896346 date "2016-09-23" @default.
- W2521896346 modified "2023-10-16" @default.
- W2521896346 title "Analyzing restricted fragments of the theory of linear arithmetic" @default.
- W2521896346 cites W1521144049 @default.
- W2521896346 cites W1602797019 @default.
- W2521896346 cites W1930661832 @default.
- W2521896346 cites W1975885036 @default.
- W2521896346 cites W1976876676 @default.
- W2521896346 cites W1986264093 @default.
- W2521896346 cites W2007074311 @default.
- W2521896346 cites W2016056788 @default.
- W2521896346 cites W2021592352 @default.
- W2521896346 cites W2021776133 @default.
- W2521896346 cites W2026612342 @default.
- W2521896346 cites W2034752994 @default.
- W2521896346 cites W2035496804 @default.
- W2521896346 cites W2049924983 @default.
- W2521896346 cites W2058014492 @default.
- W2521896346 cites W2065251436 @default.
- W2521896346 cites W2067754486 @default.
- W2521896346 cites W2084588073 @default.
- W2521896346 cites W2092007705 @default.
- W2521896346 cites W2096126893 @default.
- W2521896346 cites W2098764081 @default.
- W2521896346 cites W2104715607 @default.
- W2521896346 cites W2124749403 @default.
- W2521896346 doi "https://doi.org/10.1007/s10472-016-9525-7" @default.
- W2521896346 hasPublicationYear "2016" @default.
- W2521896346 type Work @default.
- W2521896346 sameAs 2521896346 @default.
- W2521896346 citedByCount "1" @default.
- W2521896346 countsByYear W25218963462016 @default.
- W2521896346 crossrefType "journal-article" @default.
- W2521896346 hasAuthorship W2521896346A5050337397 @default.
- W2521896346 hasAuthorship W2521896346A5072083212 @default.
- W2521896346 hasAuthorship W2521896346A5074939120 @default.
- W2521896346 hasConcept C111472728 @default.
- W2521896346 hasConcept C11413529 @default.
- W2521896346 hasConcept C118615104 @default.
- W2521896346 hasConcept C134306372 @default.
- W2521896346 hasConcept C136119220 @default.
- W2521896346 hasConcept C138885662 @default.
- W2521896346 hasConcept C154945302 @default.
- W2521896346 hasConcept C162324750 @default.
- W2521896346 hasConcept C202444582 @default.
- W2521896346 hasConcept C2776013622 @default.
- W2521896346 hasConcept C2776235265 @default.
- W2521896346 hasConcept C2776639384 @default.
- W2521896346 hasConcept C2777212361 @default.
- W2521896346 hasConcept C311688 @default.
- W2521896346 hasConcept C31170391 @default.
- W2521896346 hasConcept C32278780 @default.
- W2521896346 hasConcept C33923547 @default.
- W2521896346 hasConcept C34447519 @default.
- W2521896346 hasConcept C39637292 @default.
- W2521896346 hasConcept C41008148 @default.
- W2521896346 hasConcept C46875033 @default.
- W2521896346 hasConcept C90119067 @default.
- W2521896346 hasConceptScore W2521896346C111472728 @default.
- W2521896346 hasConceptScore W2521896346C11413529 @default.
- W2521896346 hasConceptScore W2521896346C118615104 @default.
- W2521896346 hasConceptScore W2521896346C134306372 @default.
- W2521896346 hasConceptScore W2521896346C136119220 @default.
- W2521896346 hasConceptScore W2521896346C138885662 @default.
- W2521896346 hasConceptScore W2521896346C154945302 @default.
- W2521896346 hasConceptScore W2521896346C162324750 @default.
- W2521896346 hasConceptScore W2521896346C202444582 @default.
- W2521896346 hasConceptScore W2521896346C2776013622 @default.
- W2521896346 hasConceptScore W2521896346C2776235265 @default.
- W2521896346 hasConceptScore W2521896346C2776639384 @default.
- W2521896346 hasConceptScore W2521896346C2777212361 @default.
- W2521896346 hasConceptScore W2521896346C311688 @default.
- W2521896346 hasConceptScore W2521896346C31170391 @default.
- W2521896346 hasConceptScore W2521896346C32278780 @default.
- W2521896346 hasConceptScore W2521896346C33923547 @default.
- W2521896346 hasConceptScore W2521896346C34447519 @default.
- W2521896346 hasConceptScore W2521896346C39637292 @default.
- W2521896346 hasConceptScore W2521896346C41008148 @default.
- W2521896346 hasConceptScore W2521896346C46875033 @default.
- W2521896346 hasConceptScore W2521896346C90119067 @default.
- W2521896346 hasFunder F4320306076 @default.
- W2521896346 hasFunder F4320332467 @default.
- W2521896346 hasFunder F4320338080 @default.
- W2521896346 hasLocation W25218963461 @default.
- W2521896346 hasOpenAccess W2521896346 @default.
- W2521896346 hasPrimaryLocation W25218963461 @default.
- W2521896346 hasRelatedWork W113209803 @default.
- W2521896346 hasRelatedWork W1575877321 @default.
- W2521896346 hasRelatedWork W2018805361 @default.
- W2521896346 hasRelatedWork W2019671617 @default.
- W2521896346 hasRelatedWork W2020164082 @default.
- W2521896346 hasRelatedWork W2034004280 @default.
- W2521896346 hasRelatedWork W2049924983 @default.
- W2521896346 hasRelatedWork W2074965491 @default.
- W2521896346 hasRelatedWork W2084342799 @default.
- W2521896346 hasRelatedWork W2158775560 @default.