Matches in SemOpenAlex for { <https://semopenalex.org/concept/C75606506> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- C75606506 created "2016-06-24" @default.
- C75606506 modified "2023-10-18" @default.
- C75606506 type Concept @default.
- C75606506 seeAlso "https://en.wikipedia.org/wiki/Formal%20methods" @default.
- C75606506 sameAs Q1049183 @default.
- C75606506 sameAs 75606506 @default.
- C75606506 broader C115903868 @default.
- C75606506 broader C127413603 @default.
- C75606506 broader C199360897 @default.
- C75606506 broader C41008148 @default.
- C75606506 inScheme concepts @default.
- C75606506 note "mathematical program specification intended to allow correctness proofs, including algorithmically" @default.
- C75606506 prefLabel "Formal methods" @default.
- C75606506 related C110251889 @default.
- C75606506 related C111498074 @default.
- C75606506 related C111919701 @default.
- C75606506 related C113775141 @default.
- C75606506 related C115903868 @default.
- C75606506 related C116253237 @default.
- C75606506 related C14331664 @default.
- C75606506 related C145243422 @default.
- C75606506 related C156325763 @default.
- C75606506 related C163707989 @default.
- C75606506 related C169590947 @default.
- C75606506 related C184337299 @default.
- C75606506 related C192465680 @default.
- C75606506 related C192698709 @default.
- C75606506 related C195344581 @default.
- C75606506 related C199360897 @default.
- C75606506 related C201677973 @default.
- C75606506 related C206880738 @default.
- C75606506 related C2776329536 @default.
- C75606506 related C2777691520 @default.
- C75606506 related C2777904410 @default.
- C75606506 related C2780654840 @default.
- C75606506 related C2781215313 @default.
- C75606506 related C33923547 @default.
- C75606506 related C41008148 @default.
- C75606506 related C42383842 @default.
- C75606506 related C50712370 @default.
- C75606506 related C55439883 @default.
- C75606506 related C68366613 @default.
- C75606506 related C73752529 @default.
- C75606506 related C77019957 @default.
- C75606506 related C80444323 @default.
- C75606506 related C90069079 @default.
- C75606506 related C90483712 @default.
- C75606506 citedByCount "145727" @default.
- C75606506 countsByYear C756065062012 @default.
- C75606506 countsByYear C756065062013 @default.
- C75606506 countsByYear C756065062014 @default.
- C75606506 countsByYear C756065062015 @default.
- C75606506 countsByYear C756065062016 @default.
- C75606506 countsByYear C756065062017 @default.
- C75606506 countsByYear C756065062018 @default.
- C75606506 countsByYear C756065062019 @default.
- C75606506 countsByYear C756065062020 @default.
- C75606506 countsByYear C756065062021 @default.
- C75606506 countsByYear C756065062022 @default.
- C75606506 countsByYear C756065062023 @default.
- C75606506 level "2" @default.
- C75606506 magId "75606506" @default.
- C75606506 worksCount "19159" @default.