Matches in SemOpenAlex for { <https://semopenalex.org/concept/C65880906> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- C65880906 created "2016-06-24" @default.
- C65880906 modified "2023-10-18" @default.
- C65880906 type Concept @default.
- C65880906 seeAlso "https://en.wikipedia.org/wiki/Sequent%20calculus" @default.
- C65880906 sameAs Q1771121 @default.
- C65880906 sameAs 65880906 @default.
- C65880906 broader C108710211 @default.
- C65880906 broader C2524010 @default.
- C65880906 broader C33923547 @default.
- C65880906 inScheme concepts @default.
- C65880906 note "style of formal logical argumentation" @default.
- C65880906 prefLabel "Sequent calculus" @default.
- C65880906 related C100481476 @default.
- C65880906 related C102315432 @default.
- C65880906 related C105605280 @default.
- C65880906 related C111404639 @default.
- C65880906 related C128913409 @default.
- C65880906 related C129916263 @default.
- C65880906 related C134752490 @default.
- C65880906 related C135754263 @default.
- C65880906 related C138268822 @default.
- C65880906 related C144701195 @default.
- C65880906 related C144760519 @default.
- C65880906 related C154564781 @default.
- C65880906 related C160131679 @default.
- C65880906 related C167729594 @default.
- C65880906 related C16796852 @default.
- C65880906 related C173856430 @default.
- C65880906 related C178421362 @default.
- C65880906 related C193885149 @default.
- C65880906 related C195653647 @default.
- C65880906 related C198008173 @default.
- C65880906 related C206880738 @default.
- C65880906 related C2318724 @default.
- C65880906 related C2776436953 @default.
- C65880906 related C2776562800 @default.
- C65880906 related C2776728590 @default.
- C65880906 related C2778220771 @default.
- C65880906 related C2780432614 @default.
- C65880906 related C2780882242 @default.
- C65880906 related C28077239 @default.
- C65880906 related C31370731 @default.
- C65880906 related C3746660 @default.
- C65880906 related C39920170 @default.
- C65880906 related C47884741 @default.
- C65880906 related C62073222 @default.
- C65880906 related C6489637 @default.
- C65880906 related C69562738 @default.
- C65880906 related C85343465 @default.
- C65880906 related C89421646 @default.
- C65880906 citedByCount "24953" @default.
- C65880906 countsByYear C658809062012 @default.
- C65880906 countsByYear C658809062013 @default.
- C65880906 countsByYear C658809062014 @default.
- C65880906 countsByYear C658809062015 @default.
- C65880906 countsByYear C658809062016 @default.
- C65880906 countsByYear C658809062017 @default.
- C65880906 countsByYear C658809062018 @default.
- C65880906 countsByYear C658809062019 @default.
- C65880906 countsByYear C658809062020 @default.
- C65880906 countsByYear C658809062021 @default.
- C65880906 countsByYear C658809062022 @default.
- C65880906 countsByYear C658809062023 @default.
- C65880906 level "3" @default.
- C65880906 magId "65880906" @default.
- C65880906 worksCount "3031" @default.