Matches in SemOpenAlex for { <https://semopenalex.org/concept/C85343465> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- C85343465 created "2016-06-24" @default.
- C85343465 modified "2023-10-15" @default.
- C85343465 type Concept @default.
- C85343465 seeAlso "https://en.wikipedia.org/wiki/Curry%E2%80%93Howard%20correspondence" @default.
- C85343465 sameAs Q975734 @default.
- C85343465 sameAs 85343465 @default.
- C85343465 broader C108710211 @default.
- C85343465 broader C118615104 @default.
- C85343465 broader C135790938 @default.
- C85343465 broader C199360897 @default.
- C85343465 broader C2524010 @default.
- C85343465 broader C33923547 @default.
- C85343465 broader C41008148 @default.
- C85343465 broader C62073222 @default.
- C85343465 inScheme concepts @default.
- C85343465 note "the direct relationship between computer programs and mathematical proofs" @default.
- C85343465 prefLabel "Curry–Howard correspondence" @default.
- C85343465 related C111404639 @default.
- C85343465 related C135754263 @default.
- C85343465 related C135790938 @default.
- C85343465 related C142156749 @default.
- C85343465 related C159333733 @default.
- C85343465 related C171032842 @default.
- C85343465 related C178421362 @default.
- C85343465 related C18701968 @default.
- C85343465 related C195653647 @default.
- C85343465 related C199360897 @default.
- C85343465 related C202854965 @default.
- C85343465 related C203265346 @default.
- C85343465 related C20528804 @default.
- C85343465 related C20693621 @default.
- C85343465 related C2318724 @default.
- C85343465 related C2776378722 @default.
- C85343465 related C28077239 @default.
- C85343465 related C33923547 @default.
- C85343465 related C3746660 @default.
- C85343465 related C42383842 @default.
- C85343465 related C47884741 @default.
- C85343465 related C55128367 @default.
- C85343465 related C55439883 @default.
- C85343465 related C61237538 @default.
- C85343465 related C62073222 @default.
- C85343465 related C6489637 @default.
- C85343465 related C65880906 @default.
- C85343465 related C69562738 @default.
- C85343465 related C79678938 @default.
- C85343465 related C89421646 @default.
- C85343465 related C93682546 @default.
- C85343465 citedByCount "8802" @default.
- C85343465 countsByYear C853434652012 @default.
- C85343465 countsByYear C853434652013 @default.
- C85343465 countsByYear C853434652014 @default.
- C85343465 countsByYear C853434652015 @default.
- C85343465 countsByYear C853434652016 @default.
- C85343465 countsByYear C853434652017 @default.
- C85343465 countsByYear C853434652018 @default.
- C85343465 countsByYear C853434652019 @default.
- C85343465 countsByYear C853434652020 @default.
- C85343465 countsByYear C853434652021 @default.
- C85343465 countsByYear C853434652022 @default.
- C85343465 countsByYear C853434652023 @default.
- C85343465 level "3" @default.
- C85343465 magId "85343465" @default.
- C85343465 worksCount "712" @default.