Matches in SemOpenAlex for { <https://semopenalex.org/work/W2788402728> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W2788402728 endingPage "44" @default.
- W2788402728 startingPage "3" @default.
- W2788402728 created "2018-03-06" @default.
- W2788402728 creator A5039242360 @default.
- W2788402728 date "1976-01-01" @default.
- W2788402728 modified "2023-09-25" @default.
- W2788402728 title "Program Semantics and mechanized proof" @default.
- W2788402728 hasPublicationYear "1976" @default.
- W2788402728 type Work @default.
- W2788402728 sameAs 2788402728 @default.
- W2788402728 citedByCount "4" @default.
- W2788402728 crossrefType "journal-article" @default.
- W2788402728 hasAuthorship W2788402728A5039242360 @default.
- W2788402728 hasConcept C184337299 @default.
- W2788402728 hasConcept C199360897 @default.
- W2788402728 hasConcept C41008148 @default.
- W2788402728 hasConceptScore W2788402728C184337299 @default.
- W2788402728 hasConceptScore W2788402728C199360897 @default.
- W2788402728 hasConceptScore W2788402728C41008148 @default.
- W2788402728 hasLocation W27884027281 @default.
- W2788402728 hasOpenAccess W2788402728 @default.
- W2788402728 hasPrimaryLocation W27884027281 @default.
- W2788402728 hasRelatedWork W1480403872 @default.
- W2788402728 hasRelatedWork W1482822134 @default.
- W2788402728 hasRelatedWork W1496551897 @default.
- W2788402728 hasRelatedWork W1537398137 @default.
- W2788402728 hasRelatedWork W1604776341 @default.
- W2788402728 hasRelatedWork W1966907620 @default.
- W2788402728 hasRelatedWork W2023237006 @default.
- W2788402728 hasRelatedWork W2041963079 @default.
- W2788402728 hasRelatedWork W2047678780 @default.
- W2788402728 hasRelatedWork W2117689536 @default.
- W2788402728 hasRelatedWork W2134148399 @default.
- W2788402728 hasRelatedWork W2149506108 @default.
- W2788402728 hasRelatedWork W2596413023 @default.
- W2788402728 hasRelatedWork W2809776697 @default.
- W2788402728 hasRelatedWork W2982556304 @default.
- W2788402728 hasRelatedWork W3005494034 @default.
- W2788402728 hasRelatedWork W3009866190 @default.
- W2788402728 hasRelatedWork W3037420009 @default.
- W2788402728 hasRelatedWork W3175937964 @default.
- W2788402728 hasRelatedWork W622268826 @default.
- W2788402728 isParatext "false" @default.
- W2788402728 isRetracted "false" @default.
- W2788402728 magId "2788402728" @default.
- W2788402728 workType "article" @default.