Matches in SemOpenAlex for { <https://semopenalex.org/concept/C2779907942> ?p ?o ?g. }
Showing items 1 to 42 of
42
with 100 items per page.
- C2779907942 created "2018-01-05" @default.
- C2779907942 modified "2023-10-18" @default.
- C2779907942 type Concept @default.
- C2779907942 seeAlso "https://en.wikipedia.org/wiki/Predicate%20abstraction" @default.
- C2779907942 sameAs Q7239630 @default.
- C2779907942 sameAs 2779907942 @default.
- C2779907942 broader C110251889 @default.
- C2779907942 broader C11413529 @default.
- C2779907942 broader C199360897 @default.
- C2779907942 broader C33923547 @default.
- C2779907942 broader C41008148 @default.
- C2779907942 broader C80444323 @default.
- C2779907942 inScheme concepts @default.
- C2779907942 prefLabel "Predicate abstraction" @default.
- C2779907942 related C134752490 @default.
- C2779907942 related C136172866 @default.
- C2779907942 related C160131679 @default.
- C2779907942 related C194989596 @default.
- C2779907942 related C203659156 @default.
- C2779907942 related C25016198 @default.
- C2779907942 related C27508121 @default.
- C2779907942 related C2777152325 @default.
- C2779907942 related C34849589 @default.
- C2779907942 related C62073222 @default.
- C2779907942 related C6377922 @default.
- C2779907942 related C67277372 @default.
- C2779907942 citedByCount "22035" @default.
- C2779907942 countsByYear C27799079422012 @default.
- C2779907942 countsByYear C27799079422013 @default.
- C2779907942 countsByYear C27799079422014 @default.
- C2779907942 countsByYear C27799079422015 @default.
- C2779907942 countsByYear C27799079422016 @default.
- C2779907942 countsByYear C27799079422017 @default.
- C2779907942 countsByYear C27799079422018 @default.
- C2779907942 countsByYear C27799079422019 @default.
- C2779907942 countsByYear C27799079422020 @default.
- C2779907942 countsByYear C27799079422021 @default.
- C2779907942 countsByYear C27799079422022 @default.
- C2779907942 countsByYear C27799079422023 @default.
- C2779907942 level "3" @default.
- C2779907942 magId "2779907942" @default.
- C2779907942 worksCount "1080" @default.