Matches in SemOpenAlex for { <https://semopenalex.org/source/S4306417887> ?p ?o ?g. }
Showing items 1 to 20 of
20
with 100 items per page.
- S4306417887 created "2022-10-17" @default.
- S4306417887 modified "2023-10-16" @default.
- S4306417887 h-index "17" @default.
- S4306417887 type Source @default.
- S4306417887 name "Certified Programs and Proofs" @default.
- S4306417887 2YrMeanCitedness "0.90625" @default.
- S4306417887 citedByCount "4" @default.
- S4306417887 countsByYear S43064178872013 @default.
- S4306417887 countsByYear S43064178872015 @default.
- S4306417887 countsByYear S43064178872016 @default.
- S4306417887 countsByYear S43064178872017 @default.
- S4306417887 countsByYear S43064178872018 @default.
- S4306417887 countsByYear S43064178872019 @default.
- S4306417887 countsByYear S43064178872020 @default.
- S4306417887 countsByYear S43064178872021 @default.
- S4306417887 i10Index "31" @default.
- S4306417887 isInDoaj "false" @default.
- S4306417887 isOa "false" @default.
- S4306417887 sourceType "conference" @default.
- S4306417887 worksCount "2" @default.