Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169449312> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2169449312 endingPage "670" @default.
- W2169449312 startingPage "660" @default.
- W2169449312 created "2016-06-24" @default.
- W2169449312 creator A5018059594 @default.
- W2169449312 creator A5022583176 @default.
- W2169449312 date "1993-01-01" @default.
- W2169449312 modified "2023-09-25" @default.
- W2169449312 title "Verifying properties of module construction in type theory" @default.
- W2169449312 cites W1535334062 @default.
- W2169449312 cites W2030096232 @default.
- W2169449312 cites W2124729849 @default.
- W2169449312 cites W2476069610 @default.
- W2169449312 doi "https://doi.org/10.1007/3-540-57182-5_57" @default.
- W2169449312 hasPublicationYear "1993" @default.
- W2169449312 type Work @default.
- W2169449312 sameAs 2169449312 @default.
- W2169449312 citedByCount "7" @default.
- W2169449312 countsByYear W21694493122012 @default.
- W2169449312 crossrefType "book-chapter" @default.
- W2169449312 hasAuthorship W2169449312A5018059594 @default.
- W2169449312 hasAuthorship W2169449312A5022583176 @default.
- W2169449312 hasConcept C101468663 @default.
- W2169449312 hasConcept C11413529 @default.
- W2169449312 hasConcept C127413603 @default.
- W2169449312 hasConcept C134306372 @default.
- W2169449312 hasConcept C136119220 @default.
- W2169449312 hasConcept C18903297 @default.
- W2169449312 hasConcept C199343813 @default.
- W2169449312 hasConcept C199360897 @default.
- W2169449312 hasConcept C201995342 @default.
- W2169449312 hasConcept C202444582 @default.
- W2169449312 hasConcept C21883318 @default.
- W2169449312 hasConcept C2777299769 @default.
- W2169449312 hasConcept C2777686260 @default.
- W2169449312 hasConcept C33923547 @default.
- W2169449312 hasConcept C41008148 @default.
- W2169449312 hasConcept C71924100 @default.
- W2169449312 hasConcept C80444323 @default.
- W2169449312 hasConcept C86803240 @default.
- W2169449312 hasConcept C93682546 @default.
- W2169449312 hasConcept C9376300 @default.
- W2169449312 hasConceptScore W2169449312C101468663 @default.
- W2169449312 hasConceptScore W2169449312C11413529 @default.
- W2169449312 hasConceptScore W2169449312C127413603 @default.
- W2169449312 hasConceptScore W2169449312C134306372 @default.
- W2169449312 hasConceptScore W2169449312C136119220 @default.
- W2169449312 hasConceptScore W2169449312C18903297 @default.
- W2169449312 hasConceptScore W2169449312C199343813 @default.
- W2169449312 hasConceptScore W2169449312C199360897 @default.
- W2169449312 hasConceptScore W2169449312C201995342 @default.
- W2169449312 hasConceptScore W2169449312C202444582 @default.
- W2169449312 hasConceptScore W2169449312C21883318 @default.
- W2169449312 hasConceptScore W2169449312C2777299769 @default.
- W2169449312 hasConceptScore W2169449312C2777686260 @default.
- W2169449312 hasConceptScore W2169449312C33923547 @default.
- W2169449312 hasConceptScore W2169449312C41008148 @default.
- W2169449312 hasConceptScore W2169449312C71924100 @default.
- W2169449312 hasConceptScore W2169449312C80444323 @default.
- W2169449312 hasConceptScore W2169449312C86803240 @default.
- W2169449312 hasConceptScore W2169449312C93682546 @default.
- W2169449312 hasConceptScore W2169449312C9376300 @default.
- W2169449312 hasLocation W21694493121 @default.
- W2169449312 hasOpenAccess W2169449312 @default.
- W2169449312 hasPrimaryLocation W21694493121 @default.
- W2169449312 hasRelatedWork W1480879962 @default.
- W2169449312 hasRelatedWork W1569206238 @default.
- W2169449312 hasRelatedWork W1982930894 @default.
- W2169449312 hasRelatedWork W2109631547 @default.
- W2169449312 hasRelatedWork W2121082846 @default.
- W2169449312 hasRelatedWork W2139102157 @default.
- W2169449312 hasRelatedWork W2152655108 @default.
- W2169449312 hasRelatedWork W2167486301 @default.
- W2169449312 hasRelatedWork W2709623861 @default.
- W2169449312 hasRelatedWork W2522372746 @default.
- W2169449312 isParatext "false" @default.
- W2169449312 isRetracted "false" @default.
- W2169449312 magId "2169449312" @default.
- W2169449312 workType "book-chapter" @default.