Matches in SemOpenAlex for { <https://semopenalex.org/work/W71464762> ?p ?o ?g. }
Showing items 1 to 54 of
54
with 100 items per page.
- W71464762 created "2016-06-24" @default.
- W71464762 creator A5082820370 @default.
- W71464762 date "1991-01-01" @default.
- W71464762 modified "2023-09-28" @default.
- W71464762 title "Mechanising proofs of program transformaton rules" @default.
- W71464762 hasPublicationYear "1991" @default.
- W71464762 type Work @default.
- W71464762 sameAs 71464762 @default.
- W71464762 citedByCount "0" @default.
- W71464762 crossrefType "book" @default.
- W71464762 hasAuthorship W71464762A5082820370 @default.
- W71464762 hasConcept C108710211 @default.
- W71464762 hasConcept C199343813 @default.
- W71464762 hasConcept C199360897 @default.
- W71464762 hasConcept C2524010 @default.
- W71464762 hasConcept C2777686260 @default.
- W71464762 hasConcept C33923547 @default.
- W71464762 hasConcept C41008148 @default.
- W71464762 hasConcept C71924100 @default.
- W71464762 hasConceptScore W71464762C108710211 @default.
- W71464762 hasConceptScore W71464762C199343813 @default.
- W71464762 hasConceptScore W71464762C199360897 @default.
- W71464762 hasConceptScore W71464762C2524010 @default.
- W71464762 hasConceptScore W71464762C2777686260 @default.
- W71464762 hasConceptScore W71464762C33923547 @default.
- W71464762 hasConceptScore W71464762C41008148 @default.
- W71464762 hasConceptScore W71464762C71924100 @default.
- W71464762 hasLocation W714647621 @default.
- W71464762 hasOpenAccess W71464762 @default.
- W71464762 hasPrimaryLocation W714647621 @default.
- W71464762 hasRelatedWork W1485316854 @default.
- W71464762 hasRelatedWork W1488624123 @default.
- W71464762 hasRelatedWork W1499753277 @default.
- W71464762 hasRelatedWork W1501232808 @default.
- W71464762 hasRelatedWork W1507218072 @default.
- W71464762 hasRelatedWork W1515485369 @default.
- W71464762 hasRelatedWork W1515638046 @default.
- W71464762 hasRelatedWork W1558018470 @default.
- W71464762 hasRelatedWork W1558939391 @default.
- W71464762 hasRelatedWork W1562096520 @default.
- W71464762 hasRelatedWork W1564043477 @default.
- W71464762 hasRelatedWork W1577601988 @default.
- W71464762 hasRelatedWork W196817088 @default.
- W71464762 hasRelatedWork W1977974169 @default.
- W71464762 hasRelatedWork W2096961494 @default.
- W71464762 hasRelatedWork W2099929039 @default.
- W71464762 hasRelatedWork W2102197020 @default.
- W71464762 hasRelatedWork W2111426784 @default.
- W71464762 hasRelatedWork W2139558472 @default.
- W71464762 hasRelatedWork W2404829514 @default.
- W71464762 isParatext "false" @default.
- W71464762 isRetracted "false" @default.
- W71464762 magId "71464762" @default.
- W71464762 workType "book" @default.