Matches in SemOpenAlex for { <https://semopenalex.org/concept/C30888246> ?p ?o ?g. }
Showing items 1 to 31 of
31
with 100 items per page.
- C30888246 created "2016-06-24" @default.
- C30888246 modified "2023-10-18" @default.
- C30888246 type Concept @default.
- C30888246 seeAlso "https://en.wikipedia.org/wiki/Abstract%20model%20checking" @default.
- C30888246 sameAs Q4669969 @default.
- C30888246 sameAs 30888246 @default.
- C30888246 broader C110251889 @default.
- C30888246 broader C11413529 @default.
- C30888246 broader C199360897 @default.
- C30888246 broader C33923547 @default.
- C30888246 broader C41008148 @default.
- C30888246 broader C80444323 @default.
- C30888246 inScheme concepts @default.
- C30888246 prefLabel "Abstraction model checking" @default.
- C30888246 related C110251889 @default.
- C30888246 citedByCount "31473" @default.
- C30888246 countsByYear C308882462012 @default.
- C30888246 countsByYear C308882462013 @default.
- C30888246 countsByYear C308882462014 @default.
- C30888246 countsByYear C308882462015 @default.
- C30888246 countsByYear C308882462016 @default.
- C30888246 countsByYear C308882462017 @default.
- C30888246 countsByYear C308882462018 @default.
- C30888246 countsByYear C308882462019 @default.
- C30888246 countsByYear C308882462020 @default.
- C30888246 countsByYear C308882462021 @default.
- C30888246 countsByYear C308882462022 @default.
- C30888246 countsByYear C308882462023 @default.
- C30888246 level "3" @default.
- C30888246 magId "30888246" @default.
- C30888246 worksCount "1612" @default.