Matches in SemOpenAlex for { <https://semopenalex.org/concept/C116253237> ?p ?o ?g. }
Showing items 1 to 50 of
50
with 100 items per page.
- C116253237 created "2016-06-24" @default.
- C116253237 modified "2023-10-18" @default.
- C116253237 type Concept @default.
- C116253237 seeAlso "https://en.wikipedia.org/wiki/Formal%20specification" @default.
- C116253237 sameAs Q1437424 @default.
- C116253237 sameAs 116253237 @default.
- C116253237 broader C115903868 @default.
- C116253237 broader C127413603 @default.
- C116253237 broader C199360897 @default.
- C116253237 broader C41008148 @default.
- C116253237 inScheme concepts @default.
- C116253237 note "mathematically based techniques whose purpose are to help with the implementation of systems and software" @default.
- C116253237 prefLabel "Formal specification" @default.
- C116253237 related C104949639 @default.
- C116253237 related C111498074 @default.
- C116253237 related C11413529 @default.
- C116253237 related C115903868 @default.
- C116253237 related C14331664 @default.
- C116253237 related C145243422 @default.
- C116253237 related C184337299 @default.
- C116253237 related C192465680 @default.
- C116253237 related C192698709 @default.
- C116253237 related C199360897 @default.
- C116253237 related C201677973 @default.
- C116253237 related C2777691520 @default.
- C116253237 related C2777904410 @default.
- C116253237 related C33923547 @default.
- C116253237 related C41008148 @default.
- C116253237 related C42383842 @default.
- C116253237 related C529173508 @default.
- C116253237 related C73752529 @default.
- C116253237 related C75606506 @default.
- C116253237 related C90069079 @default.
- C116253237 related C90483712 @default.
- C116253237 citedByCount "122650" @default.
- C116253237 countsByYear C1162532372012 @default.
- C116253237 countsByYear C1162532372013 @default.
- C116253237 countsByYear C1162532372014 @default.
- C116253237 countsByYear C1162532372015 @default.
- C116253237 countsByYear C1162532372016 @default.
- C116253237 countsByYear C1162532372017 @default.
- C116253237 countsByYear C1162532372018 @default.
- C116253237 countsByYear C1162532372019 @default.
- C116253237 countsByYear C1162532372020 @default.
- C116253237 countsByYear C1162532372021 @default.
- C116253237 countsByYear C1162532372022 @default.
- C116253237 countsByYear C1162532372023 @default.
- C116253237 level "2" @default.
- C116253237 magId "116253237" @default.
- C116253237 worksCount "13439" @default.