Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073120895> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2073120895 created "2016-06-24" @default.
- W2073120895 creator A5029374365 @default.
- W2073120895 creator A5060413318 @default.
- W2073120895 creator A5082134966 @default.
- W2073120895 date "1994-12-01" @default.
- W2073120895 modified "2023-10-14" @default.
- W2073120895 title "Towards reasoning about Hoare relations" @default.
- W2073120895 cites W1490966766 @default.
- W2073120895 cites W1511110335 @default.
- W2073120895 cites W1534873969 @default.
- W2073120895 cites W1554683232 @default.
- W2073120895 cites W1561277172 @default.
- W2073120895 cites W1567084588 @default.
- W2073120895 cites W1981936535 @default.
- W2073120895 cites W1983418638 @default.
- W2073120895 cites W1990589200 @default.
- W2073120895 cites W2030865387 @default.
- W2073120895 cites W2036328670 @default.
- W2073120895 cites W2062024564 @default.
- W2073120895 cites W2087911432 @default.
- W2073120895 cites W2110846749 @default.
- W2073120895 cites W2153417525 @default.
- W2073120895 cites W2156708691 @default.
- W2073120895 cites W2163008980 @default.
- W2073120895 cites W3160923835 @default.
- W2073120895 cites W4242309855 @default.
- W2073120895 cites W4252706706 @default.
- W2073120895 cites W95793458 @default.
- W2073120895 doi "https://doi.org/10.1007/bf01530788" @default.
- W2073120895 hasPublicationYear "1994" @default.
- W2073120895 type Work @default.
- W2073120895 sameAs 2073120895 @default.
- W2073120895 citedByCount "7" @default.
- W2073120895 countsByYear W20731208952018 @default.
- W2073120895 crossrefType "journal-article" @default.
- W2073120895 hasAuthorship W2073120895A5029374365 @default.
- W2073120895 hasAuthorship W2073120895A5060413318 @default.
- W2073120895 hasAuthorship W2073120895A5082134966 @default.
- W2073120895 hasConcept C104949639 @default.
- W2073120895 hasConcept C111472728 @default.
- W2073120895 hasConcept C138885662 @default.
- W2073120895 hasConcept C154945302 @default.
- W2073120895 hasConcept C15744967 @default.
- W2073120895 hasConcept C188147891 @default.
- W2073120895 hasConcept C199360897 @default.
- W2073120895 hasConcept C41008148 @default.
- W2073120895 hasConcept C47822265 @default.
- W2073120895 hasConcept C55439883 @default.
- W2073120895 hasConcept C80444323 @default.
- W2073120895 hasConceptScore W2073120895C104949639 @default.
- W2073120895 hasConceptScore W2073120895C111472728 @default.
- W2073120895 hasConceptScore W2073120895C138885662 @default.
- W2073120895 hasConceptScore W2073120895C154945302 @default.
- W2073120895 hasConceptScore W2073120895C15744967 @default.
- W2073120895 hasConceptScore W2073120895C188147891 @default.
- W2073120895 hasConceptScore W2073120895C199360897 @default.
- W2073120895 hasConceptScore W2073120895C41008148 @default.
- W2073120895 hasConceptScore W2073120895C47822265 @default.
- W2073120895 hasConceptScore W2073120895C55439883 @default.
- W2073120895 hasConceptScore W2073120895C80444323 @default.
- W2073120895 hasLocation W20731208951 @default.
- W2073120895 hasLocation W20731208952 @default.
- W2073120895 hasLocation W20731208953 @default.
- W2073120895 hasOpenAccess W2073120895 @default.
- W2073120895 hasPrimaryLocation W20731208951 @default.
- W2073120895 hasRelatedWork W2001445896 @default.
- W2073120895 hasRelatedWork W2024182075 @default.
- W2073120895 hasRelatedWork W2073120895 @default.
- W2073120895 hasRelatedWork W2087987731 @default.
- W2073120895 hasRelatedWork W243161427 @default.
- W2073120895 hasRelatedWork W2804375509 @default.
- W2073120895 hasRelatedWork W2909686938 @default.
- W2073120895 hasRelatedWork W3126077699 @default.
- W2073120895 hasRelatedWork W3133042417 @default.
- W2073120895 hasRelatedWork W4232012822 @default.
- W2073120895 isParatext "false" @default.
- W2073120895 isRetracted "false" @default.
- W2073120895 magId "2073120895" @default.
- W2073120895 workType "article" @default.