Matches in SemOpenAlex for { <https://semopenalex.org/concept/C89421646> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- C89421646 created "2016-06-24" @default.
- C89421646 modified "2023-10-18" @default.
- C89421646 type Concept @default.
- C89421646 seeAlso "https://en.wikipedia.org/wiki/Sequent" @default.
- C89421646 sameAs Q843632 @default.
- C89421646 sameAs 89421646 @default.
- C89421646 broader C118615104 @default.
- C89421646 broader C199360897 @default.
- C89421646 broader C33923547 @default.
- C89421646 broader C41008148 @default.
- C89421646 inScheme concepts @default.
- C89421646 note "conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true" @default.
- C89421646 prefLabel "Sequent" @default.
- C89421646 related C100481476 @default.
- C89421646 related C102315432 @default.
- C89421646 related C134752490 @default.
- C89421646 related C135754263 @default.
- C89421646 related C178421362 @default.
- C89421646 related C193885149 @default.
- C89421646 related C2185349 @default.
- C89421646 related C2318724 @default.
- C89421646 related C2776214188 @default.
- C89421646 related C2781067378 @default.
- C89421646 related C31370731 @default.
- C89421646 related C3746660 @default.
- C89421646 related C47884741 @default.
- C89421646 related C62073222 @default.
- C89421646 related C6489637 @default.
- C89421646 related C65880906 @default.
- C89421646 related C69562738 @default.
- C89421646 related C85343465 @default.
- C89421646 related C94461902 @default.
- C89421646 citedByCount "25333" @default.
- C89421646 countsByYear C894216462012 @default.
- C89421646 countsByYear C894216462013 @default.
- C89421646 countsByYear C894216462014 @default.
- C89421646 countsByYear C894216462015 @default.
- C89421646 countsByYear C894216462016 @default.
- C89421646 countsByYear C894216462017 @default.
- C89421646 countsByYear C894216462018 @default.
- C89421646 countsByYear C894216462019 @default.
- C89421646 countsByYear C894216462020 @default.
- C89421646 countsByYear C894216462021 @default.
- C89421646 countsByYear C894216462022 @default.
- C89421646 countsByYear C894216462023 @default.
- C89421646 level "2" @default.
- C89421646 magId "89421646" @default.
- C89421646 worksCount "3312" @default.