Matches in SemOpenAlex for { <https://semopenalex.org/concept/C173856430> ?p ?o ?g. }
Showing items 1 to 37 of
37
with 100 items per page.
- C173856430 created "2016-06-24" @default.
- C173856430 modified "2023-10-18" @default.
- C173856430 type Concept @default.
- C173856430 seeAlso "https://en.wikipedia.org/wiki/Separation%20logic" @default.
- C173856430 sameAs Q3257964 @default.
- C173856430 sameAs 173856430 @default.
- C173856430 broader C154945302 @default.
- C173856430 broader C199360897 @default.
- C173856430 broader C41008148 @default.
- C173856430 broader C80444323 @default.
- C173856430 inScheme concepts @default.
- C173856430 prefLabel "Separation logic" @default.
- C173856430 related C100481476 @default.
- C173856430 related C104949639 @default.
- C173856430 related C111498074 @default.
- C173856430 related C167729594 @default.
- C173856430 related C206880738 @default.
- C173856430 related C41008148 @default.
- C173856430 related C55128367 @default.
- C173856430 related C65880906 @default.
- C173856430 related C88626702 @default.
- C173856430 citedByCount "26347" @default.
- C173856430 countsByYear C1738564302012 @default.
- C173856430 countsByYear C1738564302013 @default.
- C173856430 countsByYear C1738564302014 @default.
- C173856430 countsByYear C1738564302015 @default.
- C173856430 countsByYear C1738564302016 @default.
- C173856430 countsByYear C1738564302017 @default.
- C173856430 countsByYear C1738564302018 @default.
- C173856430 countsByYear C1738564302019 @default.
- C173856430 countsByYear C1738564302020 @default.
- C173856430 countsByYear C1738564302021 @default.
- C173856430 countsByYear C1738564302022 @default.
- C173856430 countsByYear C1738564302023 @default.
- C173856430 level "2" @default.
- C173856430 magId "173856430" @default.
- C173856430 worksCount "1799" @default.