Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105294760> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2105294760 endingPage "362" @default.
- W2105294760 startingPage "348" @default.
- W2105294760 created "2016-06-24" @default.
- W2105294760 creator A5032380170 @default.
- W2105294760 creator A5089689412 @default.
- W2105294760 date "1981-01-01" @default.
- W2105294760 modified "2023-09-22" @default.
- W2105294760 title "Algebraically specified programming systems and Hoare's logic" @default.
- W2105294760 hasPublicationYear "1981" @default.
- W2105294760 type Work @default.
- W2105294760 sameAs 2105294760 @default.
- W2105294760 citedByCount "3" @default.
- W2105294760 countsByYear W21052947602013 @default.
- W2105294760 crossrefType "journal-article" @default.
- W2105294760 hasAuthorship W2105294760A5032380170 @default.
- W2105294760 hasAuthorship W2105294760A5089689412 @default.
- W2105294760 hasConcept C104949639 @default.
- W2105294760 hasConcept C116253237 @default.
- W2105294760 hasConcept C128838566 @default.
- W2105294760 hasConcept C136119220 @default.
- W2105294760 hasConcept C156325763 @default.
- W2105294760 hasConcept C173856430 @default.
- W2105294760 hasConcept C184337299 @default.
- W2105294760 hasConcept C199360897 @default.
- W2105294760 hasConcept C202444582 @default.
- W2105294760 hasConcept C207648694 @default.
- W2105294760 hasConcept C2777691520 @default.
- W2105294760 hasConcept C33923547 @default.
- W2105294760 hasConcept C41008148 @default.
- W2105294760 hasConcept C55439883 @default.
- W2105294760 hasConcept C58041814 @default.
- W2105294760 hasConcept C80444323 @default.
- W2105294760 hasConceptScore W2105294760C104949639 @default.
- W2105294760 hasConceptScore W2105294760C116253237 @default.
- W2105294760 hasConceptScore W2105294760C128838566 @default.
- W2105294760 hasConceptScore W2105294760C136119220 @default.
- W2105294760 hasConceptScore W2105294760C156325763 @default.
- W2105294760 hasConceptScore W2105294760C173856430 @default.
- W2105294760 hasConceptScore W2105294760C184337299 @default.
- W2105294760 hasConceptScore W2105294760C199360897 @default.
- W2105294760 hasConceptScore W2105294760C202444582 @default.
- W2105294760 hasConceptScore W2105294760C207648694 @default.
- W2105294760 hasConceptScore W2105294760C2777691520 @default.
- W2105294760 hasConceptScore W2105294760C33923547 @default.
- W2105294760 hasConceptScore W2105294760C41008148 @default.
- W2105294760 hasConceptScore W2105294760C55439883 @default.
- W2105294760 hasConceptScore W2105294760C58041814 @default.
- W2105294760 hasConceptScore W2105294760C80444323 @default.
- W2105294760 hasLocation W21052947601 @default.
- W2105294760 hasOpenAccess W2105294760 @default.
- W2105294760 hasPrimaryLocation W21052947601 @default.
- W2105294760 hasRelatedWork W1484142292 @default.
- W2105294760 hasRelatedWork W1494240257 @default.
- W2105294760 hasRelatedWork W1551292822 @default.
- W2105294760 hasRelatedWork W1552209967 @default.
- W2105294760 hasRelatedWork W1588879969 @default.
- W2105294760 hasRelatedWork W1667454546 @default.
- W2105294760 hasRelatedWork W1811327378 @default.
- W2105294760 hasRelatedWork W1877007579 @default.
- W2105294760 hasRelatedWork W1970554275 @default.
- W2105294760 hasRelatedWork W1975577974 @default.
- W2105294760 hasRelatedWork W2002458545 @default.
- W2105294760 hasRelatedWork W2075350371 @default.
- W2105294760 hasRelatedWork W2084245236 @default.
- W2105294760 hasRelatedWork W2111619838 @default.
- W2105294760 hasRelatedWork W2125680560 @default.
- W2105294760 hasRelatedWork W2140892158 @default.
- W2105294760 hasRelatedWork W2515608999 @default.
- W2105294760 hasRelatedWork W2790497808 @default.
- W2105294760 hasRelatedWork W3146075203 @default.
- W2105294760 hasRelatedWork W652485094 @default.
- W2105294760 hasVolume "115" @default.
- W2105294760 isParatext "false" @default.
- W2105294760 isRetracted "false" @default.
- W2105294760 magId "2105294760" @default.
- W2105294760 workType "article" @default.