FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1978149312> ?p ?o ?g. }

• W1978149312 endingPage "326" @default.
• W1978149312 startingPage "285" @default.
• W1978149312 created "2016-06-24" @default.
• W1978149312 creator A5000166506 @default.
• W1978149312 creator A5016058241 @default.
• W1978149312 creator A5048656750 @default.
• W1978149312 date "2015-02-05" @default.
• W1978149312 modified "2023-09-26" @default.
• W1978149312 title "Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems" @default.
• W1978149312 cites W102301403 @default.
• W1978149312 cites W1421638684 @default.
• W1978149312 cites W1490012302 @default.
• W1978149312 cites W1500495637 @default.
• W1978149312 cites W1501825542 @default.
• W1978149312 cites W1534704094 @default.
• W1978149312 cites W1534850143 @default.
• W1978149312 cites W1572998018 @default.
• W1978149312 cites W1966712204 @default.
• W1978149312 cites W1977336460 @default.
• W1978149312 cites W1993722858 @default.
• W1978149312 cites W2008288068 @default.
• W1978149312 cites W20183590 @default.
• W1978149312 cites W2019882358 @default.
• W1978149312 cites W2022441937 @default.
• W1978149312 cites W2073787328 @default.
• W1978149312 cites W2124497430 @default.
• W1978149312 cites W2132303335 @default.
• W1978149312 cites W2157264766 @default.
• W1978149312 cites W2481217403 @default.
• W1978149312 cites W2484233465 @default.
• W1978149312 cites W2504697871 @default.
• W1978149312 cites W2505714681 @default.
• W1978149312 cites W2911377851 @default.
• W1978149312 cites W4247922331 @default.
• W1978149312 cites W4255213956 @default.
• W1978149312 cites W4298290503 @default.
• W1978149312 cites W4319053989 @default.
• W1978149312 doi "https://doi.org/10.1007/s10817-015-9320-x" @default.
• W1978149312 hasPublicationYear "2015" @default.
• W1978149312 type Work @default.
• W1978149312 sameAs 1978149312 @default.
• W1978149312 citedByCount "19" @default.
• W1978149312 countsByYear W19781493122015 @default.
• W1978149312 countsByYear W19781493122016 @default.
• W1978149312 countsByYear W19781493122017 @default.
• W1978149312 countsByYear W19781493122018 @default.
• W1978149312 countsByYear W19781493122019 @default.
• W1978149312 countsByYear W19781493122020 @default.
• W1978149312 countsByYear W19781493122021 @default.
• W1978149312 countsByYear W19781493122022 @default.
• W1978149312 countsByYear W19781493122023 @default.
• W1978149312 crossrefType "journal-article" @default.
• W1978149312 hasAuthorship W1978149312A5000166506 @default.
• W1978149312 hasAuthorship W1978149312A5016058241 @default.
• W1978149312 hasAuthorship W1978149312A5048656750 @default.
• W1978149312 hasConcept C105795698 @default.
• W1978149312 hasConcept C108710211 @default.
• W1978149312 hasConcept C11413529 @default.
• W1978149312 hasConcept C118615104 @default.
• W1978149312 hasConcept C136119220 @default.
• W1978149312 hasConcept C161584116 @default.
• W1978149312 hasConcept C199163554 @default.
• W1978149312 hasConcept C199343813 @default.
• W1978149312 hasConcept C199360897 @default.
• W1978149312 hasConcept C202444582 @default.
• W1978149312 hasConcept C206880738 @default.
• W1978149312 hasConcept C2524010 @default.
• W1978149312 hasConcept C2777686260 @default.
• W1978149312 hasConcept C33923547 @default.
• W1978149312 hasConcept C39920170 @default.
• W1978149312 hasConcept C41008148 @default.
• W1978149312 hasConcept C71924100 @default.
• W1978149312 hasConceptScore W1978149312C105795698 @default.
• W1978149312 hasConceptScore W1978149312C108710211 @default.
• W1978149312 hasConceptScore W1978149312C11413529 @default.
• W1978149312 hasConceptScore W1978149312C118615104 @default.
• W1978149312 hasConceptScore W1978149312C136119220 @default.
• W1978149312 hasConceptScore W1978149312C161584116 @default.
• W1978149312 hasConceptScore W1978149312C199163554 @default.
• W1978149312 hasConceptScore W1978149312C199343813 @default.
• W1978149312 hasConceptScore W1978149312C199360897 @default.
• W1978149312 hasConceptScore W1978149312C202444582 @default.
• W1978149312 hasConceptScore W1978149312C206880738 @default.
• W1978149312 hasConceptScore W1978149312C2524010 @default.
• W1978149312 hasConceptScore W1978149312C2777686260 @default.
• W1978149312 hasConceptScore W1978149312C33923547 @default.
• W1978149312 hasConceptScore W1978149312C39920170 @default.
• W1978149312 hasConceptScore W1978149312C41008148 @default.
• W1978149312 hasConceptScore W1978149312C71924100 @default.
• W1978149312 hasIssue "4" @default.
• W1978149312 hasLocation W19781493121 @default.
• W1978149312 hasOpenAccess W1978149312 @default.
• W1978149312 hasPrimaryLocation W19781493121 @default.
• W1978149312 hasRelatedWork W1491324663 @default.
• W1978149312 hasRelatedWork W1506927614 @default.
• W1978149312 hasRelatedWork W1531107817 @default.
• W1978149312 hasRelatedWork W1534959140 @default.
• W1978149312 hasRelatedWork W2099785256 @default.
• W1978149312 hasRelatedWork W2142805699 @default.
• W1978149312 hasRelatedWork W2604424424 @default.

• next