Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514895035> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W1514895035 created "2016-06-24" @default.
- W1514895035 creator A5059249773 @default.
- W1514895035 date "1981-01-01" @default.
- W1514895035 modified "2023-09-23" @default.
- W1514895035 title "Axioms for the term-wise correctness of programs" @default.
- W1514895035 cites W2075350371 @default.
- W1514895035 doi "https://doi.org/10.1007/3-540-10856-4_118" @default.
- W1514895035 hasPublicationYear "1981" @default.
- W1514895035 type Work @default.
- W1514895035 sameAs 1514895035 @default.
- W1514895035 citedByCount "0" @default.
- W1514895035 crossrefType "book-chapter" @default.
- W1514895035 hasAuthorship W1514895035A5059249773 @default.
- W1514895035 hasConcept C11413529 @default.
- W1514895035 hasConcept C121332964 @default.
- W1514895035 hasConcept C167729594 @default.
- W1514895035 hasConcept C199360897 @default.
- W1514895035 hasConcept C2524010 @default.
- W1514895035 hasConcept C33923547 @default.
- W1514895035 hasConcept C41008148 @default.
- W1514895035 hasConcept C55439883 @default.
- W1514895035 hasConcept C61797465 @default.
- W1514895035 hasConcept C62520636 @default.
- W1514895035 hasConcept C80444323 @default.
- W1514895035 hasConceptScore W1514895035C11413529 @default.
- W1514895035 hasConceptScore W1514895035C121332964 @default.
- W1514895035 hasConceptScore W1514895035C167729594 @default.
- W1514895035 hasConceptScore W1514895035C199360897 @default.
- W1514895035 hasConceptScore W1514895035C2524010 @default.
- W1514895035 hasConceptScore W1514895035C33923547 @default.
- W1514895035 hasConceptScore W1514895035C41008148 @default.
- W1514895035 hasConceptScore W1514895035C55439883 @default.
- W1514895035 hasConceptScore W1514895035C61797465 @default.
- W1514895035 hasConceptScore W1514895035C62520636 @default.
- W1514895035 hasConceptScore W1514895035C80444323 @default.
- W1514895035 hasLocation W15148950351 @default.
- W1514895035 hasOpenAccess W1514895035 @default.
- W1514895035 hasPrimaryLocation W15148950351 @default.
- W1514895035 hasRelatedWork W1450295454 @default.
- W1514895035 hasRelatedWork W1491403096 @default.
- W1514895035 hasRelatedWork W1543436660 @default.
- W1514895035 hasRelatedWork W1813329574 @default.
- W1514895035 hasRelatedWork W1965946010 @default.
- W1514895035 hasRelatedWork W2022120535 @default.
- W1514895035 hasRelatedWork W2024406605 @default.
- W1514895035 hasRelatedWork W2121417702 @default.
- W1514895035 hasRelatedWork W2327154182 @default.
- W1514895035 hasRelatedWork W2355078437 @default.
- W1514895035 hasRelatedWork W2368025675 @default.
- W1514895035 hasRelatedWork W2392668906 @default.
- W1514895035 hasRelatedWork W2483788048 @default.
- W1514895035 hasRelatedWork W2499925017 @default.
- W1514895035 hasRelatedWork W3002982489 @default.
- W1514895035 hasRelatedWork W3049692502 @default.
- W1514895035 hasRelatedWork W3103251134 @default.
- W1514895035 hasRelatedWork W3112295066 @default.
- W1514895035 hasRelatedWork W3209909200 @default.
- W1514895035 hasRelatedWork W580005319 @default.
- W1514895035 isParatext "false" @default.
- W1514895035 isRetracted "false" @default.
- W1514895035 magId "1514895035" @default.
- W1514895035 workType "book-chapter" @default.