Matches in SemOpenAlex for { <https://semopenalex.org/concept/C173613240> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- C173613240 created "2016-06-24" @default.
- C173613240 modified "2023-10-18" @default.
- C173613240 type Concept @default.
- C173613240 seeAlso "https://en.wikipedia.org/wiki/Computer-assisted%20proof" @default.
- C173613240 sameAs Q1150675 @default.
- C173613240 sameAs 173613240 @default.
- C173613240 broader C108710211 @default.
- C173613240 broader C11413529 @default.
- C173613240 broader C199360897 @default.
- C173613240 broader C206880738 @default.
- C173613240 broader C2524010 @default.
- C173613240 broader C33923547 @default.
- C173613240 broader C41008148 @default.
- C173613240 broader C80444323 @default.
- C173613240 inScheme concepts @default.
- C173613240 note "Mathematical proof at least partially generated by computer" @default.
- C173613240 prefLabel "Computer-assisted proof" @default.
- C173613240 related C100481476 @default.
- C173613240 related C108710211 @default.
- C173613240 related C110812573 @default.
- C173613240 related C111498074 @default.
- C173613240 related C13766981 @default.
- C173613240 related C167729594 @default.
- C173613240 related C195344581 @default.
- C173613240 related C203265346 @default.
- C173613240 related C206880738 @default.
- C173613240 related C2318724 @default.
- C173613240 related C2778975207 @default.
- C173613240 related C2780990831 @default.
- C173613240 related C33923547 @default.
- C173613240 related C40238689 @default.
- C173613240 related C41008148 @default.
- C173613240 related C47884741 @default.
- C173613240 related C6943359 @default.
- C173613240 citedByCount "11304" @default.
- C173613240 countsByYear C1736132402012 @default.
- C173613240 countsByYear C1736132402013 @default.
- C173613240 countsByYear C1736132402014 @default.
- C173613240 countsByYear C1736132402015 @default.
- C173613240 countsByYear C1736132402016 @default.
- C173613240 countsByYear C1736132402017 @default.
- C173613240 countsByYear C1736132402018 @default.
- C173613240 countsByYear C1736132402019 @default.
- C173613240 countsByYear C1736132402020 @default.
- C173613240 countsByYear C1736132402021 @default.
- C173613240 countsByYear C1736132402022 @default.
- C173613240 countsByYear C1736132402023 @default.
- C173613240 level "3" @default.
- C173613240 magId "173613240" @default.
- C173613240 worksCount "1135" @default.