Matches in SemOpenAlex for { <https://semopenalex.org/work/W89732893> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W89732893 endingPage "48" @default.
- W89732893 startingPage "44" @default.
- W89732893 created "2016-06-24" @default.
- W89732893 creator A5043105322 @default.
- W89732893 date "1986-01-01" @default.
- W89732893 modified "2023-09-23" @default.
- W89732893 title "Floyd-Hoare Logic Defines Semantics: Preliminary Version" @default.
- W89732893 hasPublicationYear "1986" @default.
- W89732893 type Work @default.
- W89732893 sameAs 89732893 @default.
- W89732893 citedByCount "2" @default.
- W89732893 countsByYear W897328932014 @default.
- W89732893 crossrefType "proceedings-article" @default.
- W89732893 hasAuthorship W89732893A5043105322 @default.
- W89732893 hasConcept C104949639 @default.
- W89732893 hasConcept C156325763 @default.
- W89732893 hasConcept C173856430 @default.
- W89732893 hasConcept C184337299 @default.
- W89732893 hasConcept C199360897 @default.
- W89732893 hasConcept C207648694 @default.
- W89732893 hasConcept C41008148 @default.
- W89732893 hasConcept C55439883 @default.
- W89732893 hasConcept C58041814 @default.
- W89732893 hasConcept C80444323 @default.
- W89732893 hasConceptScore W89732893C104949639 @default.
- W89732893 hasConceptScore W89732893C156325763 @default.
- W89732893 hasConceptScore W89732893C173856430 @default.
- W89732893 hasConceptScore W89732893C184337299 @default.
- W89732893 hasConceptScore W89732893C199360897 @default.
- W89732893 hasConceptScore W89732893C207648694 @default.
- W89732893 hasConceptScore W89732893C41008148 @default.
- W89732893 hasConceptScore W89732893C55439883 @default.
- W89732893 hasConceptScore W89732893C58041814 @default.
- W89732893 hasConceptScore W89732893C80444323 @default.
- W89732893 hasLocation W897328931 @default.
- W89732893 hasOpenAccess W89732893 @default.
- W89732893 hasPrimaryLocation W897328931 @default.
- W89732893 hasRelatedWork W1159116323 @default.
- W89732893 hasRelatedWork W1161588736 @default.
- W89732893 hasRelatedWork W1511487092 @default.
- W89732893 hasRelatedWork W1607722926 @default.
- W89732893 hasRelatedWork W1847399810 @default.
- W89732893 hasRelatedWork W2017855559 @default.
- W89732893 hasRelatedWork W2088428089 @default.
- W89732893 hasRelatedWork W2106298491 @default.
- W89732893 hasRelatedWork W2108911687 @default.
- W89732893 hasRelatedWork W2134560311 @default.
- W89732893 hasRelatedWork W2149123662 @default.
- W89732893 hasRelatedWork W2158003132 @default.
- W89732893 hasRelatedWork W2256268268 @default.
- W89732893 hasRelatedWork W2347161843 @default.
- W89732893 hasRelatedWork W2401488139 @default.
- W89732893 hasRelatedWork W2516239002 @default.
- W89732893 hasRelatedWork W2790167108 @default.
- W89732893 hasRelatedWork W2967565264 @default.
- W89732893 hasRelatedWork W33093319 @default.
- W89732893 hasRelatedWork W55213038 @default.
- W89732893 isParatext "false" @default.
- W89732893 isRetracted "false" @default.
- W89732893 magId "89732893" @default.
- W89732893 workType "article" @default.