Matches in SemOpenAlex for { <https://semopenalex.org/concept/C14331664> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- C14331664 created "2016-06-24" @default.
- C14331664 modified "2023-10-18" @default.
- C14331664 type Concept @default.
- C14331664 seeAlso "https://en.wikipedia.org/wiki/Refinement%20%28computing%29" @default.
- C14331664 sameAs Q3417382 @default.
- C14331664 sameAs 14331664 @default.
- C14331664 broader C111498074 @default.
- C14331664 broader C11413529 @default.
- C14331664 broader C115903868 @default.
- C14331664 broader C116253237 @default.
- C14331664 broader C127413603 @default.
- C14331664 broader C199360897 @default.
- C14331664 broader C201677973 @default.
- C14331664 broader C33923547 @default.
- C14331664 broader C41008148 @default.
- C14331664 broader C75606506 @default.
- C14331664 broader C80444323 @default.
- C14331664 inScheme concepts @default.
- C14331664 note "approaches for producing correct computer programs and simplifying existing programs to enable their formal verification" @default.
- C14331664 prefLabel "Refinement" @default.
- C14331664 related C100481476 @default.
- C14331664 related C104949639 @default.
- C14331664 related C111498074 @default.
- C14331664 related C116253237 @default.
- C14331664 related C184337299 @default.
- C14331664 related C192465680 @default.
- C14331664 related C192698709 @default.
- C14331664 related C199360897 @default.
- C14331664 related C207648694 @default.
- C14331664 related C30128091 @default.
- C14331664 related C41008148 @default.
- C14331664 related C75606506 @default.
- C14331664 related C83852419 @default.
- C14331664 related C90069079 @default.
- C14331664 related C90483712 @default.
- C14331664 citedByCount "9703" @default.
- C14331664 countsByYear C143316642012 @default.
- C14331664 countsByYear C143316642013 @default.
- C14331664 countsByYear C143316642014 @default.
- C14331664 countsByYear C143316642015 @default.
- C14331664 countsByYear C143316642016 @default.
- C14331664 countsByYear C143316642017 @default.
- C14331664 countsByYear C143316642018 @default.
- C14331664 countsByYear C143316642019 @default.
- C14331664 countsByYear C143316642020 @default.
- C14331664 countsByYear C143316642021 @default.
- C14331664 countsByYear C143316642022 @default.
- C14331664 countsByYear C143316642023 @default.
- C14331664 level "3" @default.
- C14331664 magId "14331664" @default.
- C14331664 worksCount "922" @default.