Matches in SemOpenAlex for { <https://semopenalex.org/work/W1607111701> ?p ?o ?g. }
- W1607111701 endingPage "292" @default.
- W1607111701 startingPage "273" @default.
- W1607111701 created "2016-06-24" @default.
- W1607111701 creator A5002512849 @default.
- W1607111701 creator A5005900665 @default.
- W1607111701 creator A5040787265 @default.
- W1607111701 creator A5063268659 @default.
- W1607111701 creator A5080555605 @default.
- W1607111701 date "2007-06-04" @default.
- W1607111701 modified "2023-10-17" @default.
- W1607111701 title "Abstract Counterexample-Based Refinement for Powerset Domains" @default.
- W1607111701 cites W1490638967 @default.
- W1607111701 cites W1557880268 @default.
- W1607111701 cites W1582574957 @default.
- W1607111701 cites W1774864661 @default.
- W1607111701 cites W1991837261 @default.
- W1607111701 cites W2082000355 @default.
- W1607111701 cites W2098698656 @default.
- W1607111701 cites W2158395308 @default.
- W1607111701 cites W2295903414 @default.
- W1607111701 cites W4212792638 @default.
- W1607111701 doi "https://doi.org/10.1007/978-3-540-71322-7_13" @default.
- W1607111701 hasPublicationYear "2007" @default.
- W1607111701 type Work @default.
- W1607111701 sameAs 1607111701 @default.
- W1607111701 citedByCount "4" @default.
- W1607111701 countsByYear W16071117012015 @default.
- W1607111701 crossrefType "book-chapter" @default.
- W1607111701 hasAuthorship W1607111701A5002512849 @default.
- W1607111701 hasAuthorship W1607111701A5005900665 @default.
- W1607111701 hasAuthorship W1607111701A5040787265 @default.
- W1607111701 hasAuthorship W1607111701A5063268659 @default.
- W1607111701 hasAuthorship W1607111701A5080555605 @default.
- W1607111701 hasConcept C110251889 @default.
- W1607111701 hasConcept C111472728 @default.
- W1607111701 hasConcept C11413529 @default.
- W1607111701 hasConcept C118615104 @default.
- W1607111701 hasConcept C119857082 @default.
- W1607111701 hasConcept C124304363 @default.
- W1607111701 hasConcept C134306372 @default.
- W1607111701 hasConcept C138885662 @default.
- W1607111701 hasConcept C140146324 @default.
- W1607111701 hasConcept C151730666 @default.
- W1607111701 hasConcept C162838799 @default.
- W1607111701 hasConcept C189950617 @default.
- W1607111701 hasConcept C199360897 @default.
- W1607111701 hasConcept C2779343474 @default.
- W1607111701 hasConcept C2779907942 @default.
- W1607111701 hasConcept C2780654840 @default.
- W1607111701 hasConcept C30888246 @default.
- W1607111701 hasConcept C33923547 @default.
- W1607111701 hasConcept C36503486 @default.
- W1607111701 hasConcept C41008148 @default.
- W1607111701 hasConcept C80444323 @default.
- W1607111701 hasConcept C86803240 @default.
- W1607111701 hasConcept C97256817 @default.
- W1607111701 hasConceptScore W1607111701C110251889 @default.
- W1607111701 hasConceptScore W1607111701C111472728 @default.
- W1607111701 hasConceptScore W1607111701C11413529 @default.
- W1607111701 hasConceptScore W1607111701C118615104 @default.
- W1607111701 hasConceptScore W1607111701C119857082 @default.
- W1607111701 hasConceptScore W1607111701C124304363 @default.
- W1607111701 hasConceptScore W1607111701C134306372 @default.
- W1607111701 hasConceptScore W1607111701C138885662 @default.
- W1607111701 hasConceptScore W1607111701C140146324 @default.
- W1607111701 hasConceptScore W1607111701C151730666 @default.
- W1607111701 hasConceptScore W1607111701C162838799 @default.
- W1607111701 hasConceptScore W1607111701C189950617 @default.
- W1607111701 hasConceptScore W1607111701C199360897 @default.
- W1607111701 hasConceptScore W1607111701C2779343474 @default.
- W1607111701 hasConceptScore W1607111701C2779907942 @default.
- W1607111701 hasConceptScore W1607111701C2780654840 @default.
- W1607111701 hasConceptScore W1607111701C30888246 @default.
- W1607111701 hasConceptScore W1607111701C33923547 @default.
- W1607111701 hasConceptScore W1607111701C36503486 @default.
- W1607111701 hasConceptScore W1607111701C41008148 @default.
- W1607111701 hasConceptScore W1607111701C80444323 @default.
- W1607111701 hasConceptScore W1607111701C86803240 @default.
- W1607111701 hasConceptScore W1607111701C97256817 @default.
- W1607111701 hasLocation W16071117011 @default.
- W1607111701 hasOpenAccess W1607111701 @default.
- W1607111701 hasPrimaryLocation W16071117011 @default.
- W1607111701 hasRelatedWork W1481043689 @default.
- W1607111701 hasRelatedWork W1489937864 @default.
- W1607111701 hasRelatedWork W1546878666 @default.
- W1607111701 hasRelatedWork W1576705746 @default.
- W1607111701 hasRelatedWork W1863636468 @default.
- W1607111701 hasRelatedWork W1988209645 @default.
- W1607111701 hasRelatedWork W2087702603 @default.
- W1607111701 hasRelatedWork W2135905640 @default.
- W1607111701 hasRelatedWork W2152644201 @default.
- W1607111701 hasRelatedWork W2153361264 @default.
- W1607111701 hasRelatedWork W2277045909 @default.
- W1607111701 hasRelatedWork W2522207775 @default.
- W1607111701 hasRelatedWork W2569867460 @default.
- W1607111701 hasRelatedWork W2617872488 @default.
- W1607111701 hasRelatedWork W2781104476 @default.
- W1607111701 hasRelatedWork W2951913576 @default.
- W1607111701 hasRelatedWork W2999111365 @default.
- W1607111701 hasRelatedWork W3207121611 @default.