Matches in SemOpenAlex for { <https://semopenalex.org/work/W3110727900> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W3110727900 created "2020-12-21" @default.
- W3110727900 creator A5080174307 @default.
- W3110727900 date "2019-09-01" @default.
- W3110727900 modified "2023-09-23" @default.
- W3110727900 title "Refutation of Predicate Transformer Semantics for Hybrid Systems" @default.
- W3110727900 hasPublicationYear "2019" @default.
- W3110727900 type Work @default.
- W3110727900 sameAs 3110727900 @default.
- W3110727900 citedByCount "0" @default.
- W3110727900 crossrefType "posted-content" @default.
- W3110727900 hasAuthorship W3110727900A5080174307 @default.
- W3110727900 hasConcept C119599485 @default.
- W3110727900 hasConcept C127413603 @default.
- W3110727900 hasConcept C140146324 @default.
- W3110727900 hasConcept C156325763 @default.
- W3110727900 hasConcept C165801399 @default.
- W3110727900 hasConcept C184337299 @default.
- W3110727900 hasConcept C199360897 @default.
- W3110727900 hasConcept C30128091 @default.
- W3110727900 hasConcept C41008148 @default.
- W3110727900 hasConcept C66322947 @default.
- W3110727900 hasConceptScore W3110727900C119599485 @default.
- W3110727900 hasConceptScore W3110727900C127413603 @default.
- W3110727900 hasConceptScore W3110727900C140146324 @default.
- W3110727900 hasConceptScore W3110727900C156325763 @default.
- W3110727900 hasConceptScore W3110727900C165801399 @default.
- W3110727900 hasConceptScore W3110727900C184337299 @default.
- W3110727900 hasConceptScore W3110727900C199360897 @default.
- W3110727900 hasConceptScore W3110727900C30128091 @default.
- W3110727900 hasConceptScore W3110727900C41008148 @default.
- W3110727900 hasConceptScore W3110727900C66322947 @default.
- W3110727900 hasLocation W31107279001 @default.
- W3110727900 hasOpenAccess W3110727900 @default.
- W3110727900 hasPrimaryLocation W31107279001 @default.
- W3110727900 hasRelatedWork W131857856 @default.
- W3110727900 hasRelatedWork W1533216727 @default.
- W3110727900 hasRelatedWork W1968907100 @default.
- W3110727900 hasRelatedWork W1971522973 @default.
- W3110727900 hasRelatedWork W1978651524 @default.
- W3110727900 hasRelatedWork W1979526100 @default.
- W3110727900 hasRelatedWork W1999092916 @default.
- W3110727900 hasRelatedWork W2047793633 @default.
- W3110727900 hasRelatedWork W2084585628 @default.
- W3110727900 hasRelatedWork W2091352446 @default.
- W3110727900 hasRelatedWork W2094276247 @default.
- W3110727900 hasRelatedWork W2356921058 @default.
- W3110727900 hasRelatedWork W2486503203 @default.
- W3110727900 hasRelatedWork W2503314455 @default.
- W3110727900 hasRelatedWork W2581922527 @default.
- W3110727900 hasRelatedWork W260048535 @default.
- W3110727900 hasRelatedWork W2997315321 @default.
- W3110727900 hasRelatedWork W3000569492 @default.
- W3110727900 hasRelatedWork W3085676327 @default.
- W3110727900 hasRelatedWork W3158496506 @default.
- W3110727900 isParatext "false" @default.
- W3110727900 isRetracted "false" @default.
- W3110727900 magId "3110727900" @default.
- W3110727900 workType "article" @default.