Matches in SemOpenAlex for { <https://semopenalex.org/source/S4306418955> ?p ?o ?g. }
Showing items 1 to 17 of
17
with 100 items per page.
- S4306418955 created "2022-10-17" @default.
- S4306418955 modified "2023-09-18" @default.
- S4306418955 h-index "6" @default.
- S4306418955 type Source @default.
- S4306418955 name "Interactive Theorem Proving" @default.
- S4306418955 2YrMeanCitedness "0.8125" @default.
- S4306418955 citedByCount "86" @default.
- S4306418955 countsByYear S43064189552019 @default.
- S4306418955 countsByYear S43064189552020 @default.
- S4306418955 countsByYear S43064189552021 @default.
- S4306418955 countsByYear S43064189552022 @default.
- S4306418955 countsByYear S43064189552023 @default.
- S4306418955 i10Index "1" @default.
- S4306418955 isInDoaj "false" @default.
- S4306418955 isOa "false" @default.
- S4306418955 sourceType "conference" @default.
- S4306418955 worksCount "35" @default.