Matches in SemOpenAlex for { <https://semopenalex.org/concept/C6489637> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- C6489637 created "2016-06-24" @default.
- C6489637 modified "2023-10-18" @default.
- C6489637 type Concept @default.
- C6489637 seeAlso "https://en.wikipedia.org/wiki/Proof%20calculus" @default.
- C6489637 sameAs Q7250002 @default.
- C6489637 sameAs 6489637 @default.
- C6489637 broader C118615104 @default.
- C6489637 broader C199360897 @default.
- C6489637 broader C28077239 @default.
- C6489637 broader C33923547 @default.
- C6489637 broader C41008148 @default.
- C6489637 broader C62073222 @default.
- C6489637 broader C80444323 @default.
- C6489637 inScheme concepts @default.
- C6489637 prefLabel "Proof calculus" @default.
- C6489637 related C100481476 @default.
- C6489637 related C102315432 @default.
- C6489637 related C111404639 @default.
- C6489637 related C135754263 @default.
- C6489637 related C178421362 @default.
- C6489637 related C195653647 @default.
- C6489637 related C200116569 @default.
- C6489637 related C2318724 @default.
- C6489637 related C3746660 @default.
- C6489637 related C39920170 @default.
- C6489637 related C47884741 @default.
- C6489637 related C62073222 @default.
- C6489637 related C65880906 @default.
- C6489637 related C69562738 @default.
- C6489637 related C85343465 @default.
- C6489637 related C89421646 @default.
- C6489637 related C93682546 @default.
- C6489637 citedByCount "16109" @default.
- C6489637 countsByYear C64896372012 @default.
- C6489637 countsByYear C64896372013 @default.
- C6489637 countsByYear C64896372014 @default.
- C6489637 countsByYear C64896372015 @default.
- C6489637 countsByYear C64896372016 @default.
- C6489637 countsByYear C64896372017 @default.
- C6489637 countsByYear C64896372018 @default.
- C6489637 countsByYear C64896372019 @default.
- C6489637 countsByYear C64896372020 @default.
- C6489637 countsByYear C64896372021 @default.
- C6489637 countsByYear C64896372022 @default.
- C6489637 countsByYear C64896372023 @default.
- C6489637 level "3" @default.
- C6489637 magId "6489637" @default.
- C6489637 worksCount "1768" @default.