FRINK Linked Data Fragments server

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

• W3163136021 endingPage "1263" @default.
• W3163136021 startingPage "1231" @default.
• W3163136021 created "2021-05-24" @default.
• W3163136021 creator A5005213974 @default.
• W3163136021 creator A5009946230 @default.
• W3163136021 creator A5012020596 @default.
• W3163136021 creator A5043206848 @default.
• W3163136021 date "2021-05-12" @default.
• W3163136021 modified "2023-10-14" @default.
• W3163136021 title "Formalization of Ring Theory in PVS" @default.
• W3163136021 cites W1245804045 @default.
• W3163136021 cites W1549638383 @default.
• W3163136021 cites W1569612250 @default.
• W3163136021 cites W1590745048 @default.
• W3163136021 cites W1768814311 @default.
• W3163136021 cites W1821564862 @default.
• W3163136021 cites W1922473192 @default.
• W3163136021 cites W1971517745 @default.
• W3163136021 cites W2013140497 @default.
• W3163136021 cites W2022441937 @default.
• W3163136021 cites W2046079177 @default.
• W3163136021 cites W2053634551 @default.
• W3163136021 cites W2141666166 @default.
• W3163136021 cites W2587244123 @default.
• W3163136021 cites W2810012865 @default.
• W3163136021 cites W2963147425 @default.
• W3163136021 cites W2981188613 @default.
• W3163136021 cites W2993571361 @default.
• W3163136021 cites W3104555329 @default.
• W3163136021 cites W39299451 @default.
• W3163136021 cites W4239200129 @default.
• W3163136021 cites W4243221783 @default.
• W3163136021 cites W2025817323 @default.
• W3163136021 cites W2272944842 @default.
• W3163136021 doi "https://doi.org/10.1007/s10817-021-09593-0" @default.
• W3163136021 hasPublicationYear "2021" @default.
• W3163136021 type Work @default.
• W3163136021 sameAs 3163136021 @default.
• W3163136021 citedByCount "1" @default.
• W3163136021 countsByYear W31631360212022 @default.
• W3163136021 crossrefType "journal-article" @default.
• W3163136021 hasAuthorship W3163136021A5005213974 @default.
• W3163136021 hasAuthorship W3163136021A5009946230 @default.
• W3163136021 hasAuthorship W3163136021A5012020596 @default.
• W3163136021 hasAuthorship W3163136021A5043206848 @default.
• W3163136021 hasConcept C108710211 @default.
• W3163136021 hasConcept C115624301 @default.
• W3163136021 hasConcept C118615104 @default.
• W3163136021 hasConcept C134306372 @default.
• W3163136021 hasConcept C136119220 @default.
• W3163136021 hasConcept C151635116 @default.
• W3163136021 hasConcept C161491579 @default.
• W3163136021 hasConcept C178790620 @default.
• W3163136021 hasConcept C182419690 @default.
• W3163136021 hasConcept C183778304 @default.
• W3163136021 hasConcept C185592680 @default.
• W3163136021 hasConcept C185701065 @default.
• W3163136021 hasConcept C196434610 @default.
• W3163136021 hasConcept C202444582 @default.
• W3163136021 hasConcept C203436722 @default.
• W3163136021 hasConcept C2524010 @default.
• W3163136021 hasConcept C2779782106 @default.
• W3163136021 hasConcept C2780378348 @default.
• W3163136021 hasConcept C33923547 @default.
• W3163136021 hasConcept C52690540 @default.
• W3163136021 hasConcept C8010536 @default.
• W3163136021 hasConcept C9376300 @default.
• W3163136021 hasConceptScore W3163136021C108710211 @default.
• W3163136021 hasConceptScore W3163136021C115624301 @default.
• W3163136021 hasConceptScore W3163136021C118615104 @default.
• W3163136021 hasConceptScore W3163136021C134306372 @default.
• W3163136021 hasConceptScore W3163136021C136119220 @default.
• W3163136021 hasConceptScore W3163136021C151635116 @default.
• W3163136021 hasConceptScore W3163136021C161491579 @default.
• W3163136021 hasConceptScore W3163136021C178790620 @default.
• W3163136021 hasConceptScore W3163136021C182419690 @default.
• W3163136021 hasConceptScore W3163136021C183778304 @default.
• W3163136021 hasConceptScore W3163136021C185592680 @default.
• W3163136021 hasConceptScore W3163136021C185701065 @default.
• W3163136021 hasConceptScore W3163136021C196434610 @default.
• W3163136021 hasConceptScore W3163136021C202444582 @default.
• W3163136021 hasConceptScore W3163136021C203436722 @default.
• W3163136021 hasConceptScore W3163136021C2524010 @default.
• W3163136021 hasConceptScore W3163136021C2779782106 @default.
• W3163136021 hasConceptScore W3163136021C2780378348 @default.
• W3163136021 hasConceptScore W3163136021C33923547 @default.
• W3163136021 hasConceptScore W3163136021C52690540 @default.
• W3163136021 hasConceptScore W3163136021C8010536 @default.
• W3163136021 hasConceptScore W3163136021C9376300 @default.
• W3163136021 hasFunder F4320322025 @default.
• W3163136021 hasFunder F4320323350 @default.
• W3163136021 hasIssue "8" @default.
• W3163136021 hasLocation W31631360211 @default.
• W3163136021 hasOpenAccess W3163136021 @default.
• W3163136021 hasPrimaryLocation W31631360211 @default.
• W3163136021 hasRelatedWork W1483810907 @default.
• W3163136021 hasRelatedWork W160276060 @default.
• W3163136021 hasRelatedWork W1634747122 @default.
• W3163136021 hasRelatedWork W2365863677 @default.
• W3163136021 hasRelatedWork W3090279025 @default.

• next