Matches in SemOpenAlex for { <https://semopenalex.org/concept/C96654402> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- C96654402 created "2016-06-24" @default.
- C96654402 modified "2023-10-18" @default.
- C96654402 type Concept @default.
- C96654402 seeAlso "https://en.wikipedia.org/wiki/Formal%20equivalence%20checking" @default.
- C96654402 sameAs Q5469962 @default.
- C96654402 sameAs 96654402 @default.
- C96654402 broader C110251889 @default.
- C96654402 broader C111498074 @default.
- C96654402 broader C11413529 @default.
- C96654402 broader C115903868 @default.
- C96654402 broader C127413603 @default.
- C96654402 broader C199360897 @default.
- C96654402 broader C33923547 @default.
- C96654402 broader C41008148 @default.
- C96654402 broader C75606506 @default.
- C96654402 broader C80444323 @default.
- C96654402 inScheme concepts @default.
- C96654402 note "stage of electronic circuit design verification" @default.
- C96654402 prefLabel "Formal equivalence checking" @default.
- C96654402 related C111498074 @default.
- C96654402 related C117690923 @default.
- C96654402 related C127879752 @default.
- C96654402 related C130145326 @default.
- C96654402 related C157922185 @default.
- C96654402 related C168292644 @default.
- C96654402 related C17626397 @default.
- C96654402 related C177650935 @default.
- C96654402 related C190874656 @default.
- C96654402 related C196836630 @default.
- C96654402 related C26490066 @default.
- C96654402 related C2765594 @default.
- C96654402 related C2779030575 @default.
- C96654402 related C2779904517 @default.
- C96654402 related C28449271 @default.
- C96654402 related C34854456 @default.
- C96654402 related C36941000 @default.
- C96654402 related C37135326 @default.
- C96654402 related C42143788 @default.
- C96654402 related C42935608 @default.
- C96654402 related C44938667 @default.
- C96654402 related C62460635 @default.
- C96654402 related C64260653 @default.
- C96654402 related C64859876 @default.
- C96654402 related C74524168 @default.
- C96654402 related C78401558 @default.
- C96654402 related C81843906 @default.
- C96654402 related C93682380 @default.
- C96654402 related C94115699 @default.
- C96654402 related C99149447 @default.
- C96654402 citedByCount "15382" @default.
- C96654402 countsByYear C966544022012 @default.
- C96654402 countsByYear C966544022013 @default.
- C96654402 countsByYear C966544022014 @default.
- C96654402 countsByYear C966544022015 @default.
- C96654402 countsByYear C966544022016 @default.
- C96654402 countsByYear C966544022017 @default.
- C96654402 countsByYear C966544022018 @default.
- C96654402 countsByYear C966544022019 @default.
- C96654402 countsByYear C966544022020 @default.
- C96654402 countsByYear C966544022021 @default.
- C96654402 countsByYear C966544022022 @default.
- C96654402 countsByYear C966544022023 @default.
- C96654402 level "3" @default.
- C96654402 magId "96654402" @default.
- C96654402 worksCount "1594" @default.