Matches in SemOpenAlex for { <https://semopenalex.org/work/W1482892048> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W1482892048 endingPage "337" @default.
- W1482892048 startingPage "318" @default.
- W1482892048 created "2016-06-24" @default.
- W1482892048 creator A5001790193 @default.
- W1482892048 creator A5012118991 @default.
- W1482892048 date "1997-01-01" @default.
- W1482892048 modified "2023-09-26" @default.
- W1482892048 title "A corrected failure-divergence model for CSP in Isabelle/HOL" @default.
- W1482892048 cites W1485610452 @default.
- W1482892048 cites W1558198741 @default.
- W1482892048 cites W1581774065 @default.
- W1482892048 cites W1996404651 @default.
- W1482892048 cites W4234528212 @default.
- W1482892048 cites W98978725 @default.
- W1482892048 doi "https://doi.org/10.1007/3-540-63533-5_17" @default.
- W1482892048 hasPublicationYear "1997" @default.
- W1482892048 type Work @default.
- W1482892048 sameAs 1482892048 @default.
- W1482892048 citedByCount "46" @default.
- W1482892048 countsByYear W14828920482012 @default.
- W1482892048 countsByYear W14828920482013 @default.
- W1482892048 countsByYear W14828920482014 @default.
- W1482892048 countsByYear W14828920482016 @default.
- W1482892048 countsByYear W14828920482017 @default.
- W1482892048 countsByYear W14828920482018 @default.
- W1482892048 countsByYear W14828920482020 @default.
- W1482892048 crossrefType "book-chapter" @default.
- W1482892048 hasAuthorship W1482892048A5001790193 @default.
- W1482892048 hasAuthorship W1482892048A5012118991 @default.
- W1482892048 hasConcept C17435882 @default.
- W1482892048 hasConcept C199360897 @default.
- W1482892048 hasConcept C41008148 @default.
- W1482892048 hasConceptScore W1482892048C17435882 @default.
- W1482892048 hasConceptScore W1482892048C199360897 @default.
- W1482892048 hasConceptScore W1482892048C41008148 @default.
- W1482892048 hasLocation W14828920481 @default.
- W1482892048 hasOpenAccess W1482892048 @default.
- W1482892048 hasPrimaryLocation W14828920481 @default.
- W1482892048 hasRelatedWork W1515039974 @default.
- W1482892048 hasRelatedWork W1527862632 @default.
- W1482892048 hasRelatedWork W1560655349 @default.
- W1482892048 hasRelatedWork W2088318881 @default.
- W1482892048 hasRelatedWork W2109507516 @default.
- W1482892048 hasRelatedWork W2135396778 @default.
- W1482892048 hasRelatedWork W3163374525 @default.
- W1482892048 hasRelatedWork W4243252198 @default.
- W1482892048 hasRelatedWork W4283765998 @default.
- W1482892048 hasRelatedWork W3085888268 @default.
- W1482892048 isParatext "false" @default.
- W1482892048 isRetracted "false" @default.
- W1482892048 magId "1482892048" @default.
- W1482892048 workType "book-chapter" @default.