Matches in SemOpenAlex for { <https://semopenalex.org/concept/C161913894> ?p ?o ?g. }
Showing items 1 to 45 of
45
with 100 items per page.
- C161913894 created "2016-06-24" @default.
- C161913894 modified "2023-10-18" @default.
- C161913894 type Concept @default.
- C161913894 seeAlso "https://en.wikipedia.org/wiki/Kripke%20structure%20%28model%20checking%29" @default.
- C161913894 sameAs Q1077740 @default.
- C161913894 sameAs 161913894 @default.
- C161913894 broader C110251889 @default.
- C161913894 broader C111472728 @default.
- C161913894 broader C11413529 @default.
- C161913894 broader C138885662 @default.
- C161913894 broader C199360897 @default.
- C161913894 broader C25016198 @default.
- C161913894 broader C33923547 @default.
- C161913894 broader C41008148 @default.
- C161913894 broader C80444323 @default.
- C161913894 inScheme concepts @default.
- C161913894 note "Kripke structure (model checking)" @default.
- C161913894 prefLabel "Kripke structure" @default.
- C161913894 related C110251889 @default.
- C161913894 related C111498074 @default.
- C161913894 related C147969180 @default.
- C161913894 related C160131679 @default.
- C161913894 related C167822520 @default.
- C161913894 related C198008173 @default.
- C161913894 related C25016198 @default.
- C161913894 related C27508121 @default.
- C161913894 related C2779167558 @default.
- C161913894 related C4777664 @default.
- C161913894 related C94633896 @default.
- C161913894 citedByCount "9142" @default.
- C161913894 countsByYear C1619138942012 @default.
- C161913894 countsByYear C1619138942013 @default.
- C161913894 countsByYear C1619138942014 @default.
- C161913894 countsByYear C1619138942015 @default.
- C161913894 countsByYear C1619138942016 @default.
- C161913894 countsByYear C1619138942017 @default.
- C161913894 countsByYear C1619138942018 @default.
- C161913894 countsByYear C1619138942019 @default.
- C161913894 countsByYear C1619138942020 @default.
- C161913894 countsByYear C1619138942021 @default.
- C161913894 countsByYear C1619138942022 @default.
- C161913894 countsByYear C1619138942023 @default.
- C161913894 level "3" @default.
- C161913894 magId "161913894" @default.
- C161913894 worksCount "1003" @default.