Matches in SemOpenAlex for { <https://semopenalex.org/concept/C90483712> ?p ?o ?g. }
Showing items 1 to 36 of
36
with 100 items per page.
- C90483712 created "2016-06-24" @default.
- C90483712 modified "2023-10-15" @default.
- C90483712 type Concept @default.
- C90483712 seeAlso "https://en.wikipedia.org/wiki/Refinement%20calculus" @default.
- C90483712 sameAs Q7307205 @default.
- C90483712 sameAs 90483712 @default.
- C90483712 broader C199360897 @default.
- C90483712 broader C41008148 @default.
- C90483712 broader C80444323 @default.
- C90483712 inScheme concepts @default.
- C90483712 note "way of refining models of programs into efficient programs" @default.
- C90483712 prefLabel "Refinement calculus" @default.
- C90483712 related C104949639 @default.
- C90483712 related C111498074 @default.
- C90483712 related C116253237 @default.
- C90483712 related C14331664 @default.
- C90483712 related C184337299 @default.
- C90483712 related C192465680 @default.
- C90483712 related C192698709 @default.
- C90483712 related C75606506 @default.
- C90483712 citedByCount "9756" @default.
- C90483712 countsByYear C904837122012 @default.
- C90483712 countsByYear C904837122013 @default.
- C90483712 countsByYear C904837122014 @default.
- C90483712 countsByYear C904837122015 @default.
- C90483712 countsByYear C904837122016 @default.
- C90483712 countsByYear C904837122017 @default.
- C90483712 countsByYear C904837122018 @default.
- C90483712 countsByYear C904837122019 @default.
- C90483712 countsByYear C904837122020 @default.
- C90483712 countsByYear C904837122021 @default.
- C90483712 countsByYear C904837122022 @default.
- C90483712 countsByYear C904837122023 @default.
- C90483712 level "2" @default.
- C90483712 magId "90483712" @default.
- C90483712 worksCount "693" @default.