Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022351728> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2022351728 created "2016-06-24" @default.
- W2022351728 creator A5005687530 @default.
- W2022351728 creator A5025479231 @default.
- W2022351728 date "1974-01-01" @default.
- W2022351728 modified "2023-09-27" @default.
- W2022351728 title "Proving program correctness in LCF" @default.
- W2022351728 cites W106052302 @default.
- W2022351728 cites W1522071656 @default.
- W2022351728 cites W2095224573 @default.
- W2022351728 cites W2792939069 @default.
- W2022351728 cites W330865555 @default.
- W2022351728 cites W74180852 @default.
- W2022351728 doi "https://doi.org/10.1007/3-540-06859-7_124" @default.
- W2022351728 hasPublicationYear "1974" @default.
- W2022351728 type Work @default.
- W2022351728 sameAs 2022351728 @default.
- W2022351728 citedByCount "2" @default.
- W2022351728 crossrefType "book-chapter" @default.
- W2022351728 hasAuthorship W2022351728A5005687530 @default.
- W2022351728 hasAuthorship W2022351728A5025479231 @default.
- W2022351728 hasConcept C11413529 @default.
- W2022351728 hasConcept C199360897 @default.
- W2022351728 hasConcept C41008148 @default.
- W2022351728 hasConcept C55439883 @default.
- W2022351728 hasConcept C80444323 @default.
- W2022351728 hasConceptScore W2022351728C11413529 @default.
- W2022351728 hasConceptScore W2022351728C199360897 @default.
- W2022351728 hasConceptScore W2022351728C41008148 @default.
- W2022351728 hasConceptScore W2022351728C55439883 @default.
- W2022351728 hasConceptScore W2022351728C80444323 @default.
- W2022351728 hasLocation W20223517281 @default.
- W2022351728 hasOpenAccess W2022351728 @default.
- W2022351728 hasPrimaryLocation W20223517281 @default.
- W2022351728 hasRelatedWork W114880817 @default.
- W2022351728 hasRelatedWork W1496019238 @default.
- W2022351728 hasRelatedWork W1496551897 @default.
- W2022351728 hasRelatedWork W1517926351 @default.
- W2022351728 hasRelatedWork W1543208154 @default.
- W2022351728 hasRelatedWork W1556042864 @default.
- W2022351728 hasRelatedWork W1561193085 @default.
- W2022351728 hasRelatedWork W1591868041 @default.
- W2022351728 hasRelatedWork W1598935676 @default.
- W2022351728 hasRelatedWork W2005344510 @default.
- W2022351728 hasRelatedWork W2011482734 @default.
- W2022351728 hasRelatedWork W2011962675 @default.
- W2022351728 hasRelatedWork W2015935537 @default.
- W2022351728 hasRelatedWork W2099017529 @default.
- W2022351728 hasRelatedWork W2113755395 @default.
- W2022351728 hasRelatedWork W2128718940 @default.
- W2022351728 hasRelatedWork W2142785890 @default.
- W2022351728 hasRelatedWork W23903359 @default.
- W2022351728 hasRelatedWork W2578712589 @default.
- W2022351728 hasRelatedWork W34452851 @default.
- W2022351728 isParatext "false" @default.
- W2022351728 isRetracted "false" @default.
- W2022351728 magId "2022351728" @default.
- W2022351728 workType "book-chapter" @default.