Matches in SemOpenAlex for { <https://semopenalex.org/work/W15857819> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W15857819 startingPage "396" @default.
- W15857819 created "2016-06-24" @default.
- W15857819 creator A5050974085 @default.
- W15857819 creator A5062404310 @default.
- W15857819 date "2007-01-01" @default.
- W15857819 modified "2023-09-26" @default.
- W15857819 title "A Language Facilitating Informal Reasoning about Programs." @default.
- W15857819 hasPublicationYear "2007" @default.
- W15857819 type Work @default.
- W15857819 sameAs 15857819 @default.
- W15857819 citedByCount "0" @default.
- W15857819 crossrefType "proceedings-article" @default.
- W15857819 hasAuthorship W15857819A5050974085 @default.
- W15857819 hasAuthorship W15857819A5062404310 @default.
- W15857819 hasConcept C199360897 @default.
- W15857819 hasConcept C41008148 @default.
- W15857819 hasConcept C56739046 @default.
- W15857819 hasConceptScore W15857819C199360897 @default.
- W15857819 hasConceptScore W15857819C41008148 @default.
- W15857819 hasConceptScore W15857819C56739046 @default.
- W15857819 hasLocation W158578191 @default.
- W15857819 hasOpenAccess W15857819 @default.
- W15857819 hasPrimaryLocation W158578191 @default.
- W15857819 hasRelatedWork W1039026565 @default.
- W15857819 hasRelatedWork W1192675518 @default.
- W15857819 hasRelatedWork W1537607165 @default.
- W15857819 hasRelatedWork W2059053861 @default.
- W15857819 hasRelatedWork W2061002258 @default.
- W15857819 hasRelatedWork W2074455682 @default.
- W15857819 hasRelatedWork W2115429614 @default.
- W15857819 hasRelatedWork W2150126960 @default.
- W15857819 hasRelatedWork W2186094687 @default.
- W15857819 hasRelatedWork W2188032463 @default.
- W15857819 hasRelatedWork W2253700078 @default.
- W15857819 hasRelatedWork W2293082472 @default.
- W15857819 hasRelatedWork W2369147084 @default.
- W15857819 hasRelatedWork W2586671017 @default.
- W15857819 hasRelatedWork W2772672654 @default.
- W15857819 hasRelatedWork W2885613614 @default.
- W15857819 hasRelatedWork W2894696364 @default.
- W15857819 hasRelatedWork W2900174841 @default.
- W15857819 hasRelatedWork W2911475294 @default.
- W15857819 hasRelatedWork W2990598613 @default.
- W15857819 isParatext "false" @default.
- W15857819 isRetracted "false" @default.
- W15857819 magId "15857819" @default.
- W15857819 workType "article" @default.