Matches in SemOpenAlex for { <https://semopenalex.org/work/W2340960908> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2340960908 endingPage "273" @default.
- W2340960908 startingPage "257" @default.
- W2340960908 created "2016-06-24" @default.
- W2340960908 creator A5003908930 @default.
- W2340960908 creator A5086308451 @default.
- W2340960908 date "2016-04-20" @default.
- W2340960908 modified "2023-10-16" @default.
- W2340960908 title "A search-based procedure for nonlinear real arithmetic" @default.
- W2340960908 cites W118053492 @default.
- W2340960908 cites W1489527380 @default.
- W2340960908 cites W1493060511 @default.
- W2340960908 cites W1523211942 @default.
- W2340960908 cites W1549355248 @default.
- W2340960908 cites W1559703615 @default.
- W2340960908 cites W1563374593 @default.
- W2340960908 cites W1569146343 @default.
- W2340960908 cites W1581825889 @default.
- W2340960908 cites W1826397376 @default.
- W2340960908 cites W1967184028 @default.
- W2340960908 cites W1973815481 @default.
- W2340960908 cites W1991813962 @default.
- W2340960908 cites W2007074311 @default.
- W2340960908 cites W2008288068 @default.
- W2340960908 cites W2016056788 @default.
- W2340960908 cites W2031948211 @default.
- W2340960908 cites W2044458395 @default.
- W2340960908 cites W2057361103 @default.
- W2340960908 cites W2069952414 @default.
- W2340960908 cites W2071442928 @default.
- W2340960908 cites W2087749124 @default.
- W2340960908 cites W2098022036 @default.
- W2340960908 cites W2102074804 @default.
- W2340960908 cites W2102696258 @default.
- W2340960908 cites W2131395649 @default.
- W2340960908 cites W2151549243 @default.
- W2340960908 cites W2160120663 @default.
- W2340960908 cites W2166280160 @default.
- W2340960908 cites W2634524329 @default.
- W2340960908 cites W3099472489 @default.
- W2340960908 cites W4242364663 @default.
- W2340960908 cites W4299599836 @default.
- W2340960908 cites W54563301 @default.
- W2340960908 doi "https://doi.org/10.1007/s10703-016-0245-8" @default.
- W2340960908 hasPublicationYear "2016" @default.
- W2340960908 type Work @default.
- W2340960908 sameAs 2340960908 @default.
- W2340960908 citedByCount "4" @default.
- W2340960908 countsByYear W23409609082021 @default.
- W2340960908 countsByYear W23409609082023 @default.
- W2340960908 crossrefType "journal-article" @default.
- W2340960908 hasAuthorship W2340960908A5003908930 @default.
- W2340960908 hasAuthorship W2340960908A5086308451 @default.
- W2340960908 hasConcept C11413529 @default.
- W2340960908 hasConcept C121332964 @default.
- W2340960908 hasConcept C126255220 @default.
- W2340960908 hasConcept C134306372 @default.
- W2340960908 hasConcept C154945302 @default.
- W2340960908 hasConcept C158622935 @default.
- W2340960908 hasConcept C16221470 @default.
- W2340960908 hasConcept C168773769 @default.
- W2340960908 hasConcept C2777212361 @default.
- W2340960908 hasConcept C33923547 @default.
- W2340960908 hasConcept C41008148 @default.
- W2340960908 hasConcept C62520636 @default.
- W2340960908 hasConcept C90119067 @default.
- W2340960908 hasConceptScore W2340960908C11413529 @default.
- W2340960908 hasConceptScore W2340960908C121332964 @default.
- W2340960908 hasConceptScore W2340960908C126255220 @default.
- W2340960908 hasConceptScore W2340960908C134306372 @default.
- W2340960908 hasConceptScore W2340960908C154945302 @default.
- W2340960908 hasConceptScore W2340960908C158622935 @default.
- W2340960908 hasConceptScore W2340960908C16221470 @default.
- W2340960908 hasConceptScore W2340960908C168773769 @default.
- W2340960908 hasConceptScore W2340960908C2777212361 @default.
- W2340960908 hasConceptScore W2340960908C33923547 @default.
- W2340960908 hasConceptScore W2340960908C41008148 @default.
- W2340960908 hasConceptScore W2340960908C62520636 @default.
- W2340960908 hasConceptScore W2340960908C90119067 @default.
- W2340960908 hasFunder F4320306076 @default.
- W2340960908 hasFunder F4320332180 @default.
- W2340960908 hasIssue "3" @default.
- W2340960908 hasLocation W23409609081 @default.
- W2340960908 hasOpenAccess W2340960908 @default.
- W2340960908 hasPrimaryLocation W23409609081 @default.
- W2340960908 hasRelatedWork W1557481323 @default.
- W2340960908 hasRelatedWork W1559102282 @default.
- W2340960908 hasRelatedWork W1560139384 @default.
- W2340960908 hasRelatedWork W2007735529 @default.
- W2340960908 hasRelatedWork W2014111643 @default.
- W2340960908 hasRelatedWork W2357111437 @default.
- W2340960908 hasRelatedWork W2480084299 @default.
- W2340960908 hasRelatedWork W3107131366 @default.
- W2340960908 hasRelatedWork W4220985904 @default.
- W2340960908 hasRelatedWork W2611035363 @default.
- W2340960908 hasVolume "48" @default.
- W2340960908 isParatext "false" @default.
- W2340960908 isRetracted "false" @default.
- W2340960908 magId "2340960908" @default.
- W2340960908 workType "article" @default.