Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500133066> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1500133066 endingPage "302" @default.
- W1500133066 startingPage "298" @default.
- W1500133066 created "2016-06-24" @default.
- W1500133066 creator A5037985562 @default.
- W1500133066 creator A5048772006 @default.
- W1500133066 date "2006-01-01" @default.
- W1500133066 modified "2023-09-24" @default.
- W1500133066 title "Importing HOL into Isabelle/HOL" @default.
- W1500133066 cites W1602718819 @default.
- W1500133066 cites W188775843 @default.
- W1500133066 cites W2166228322 @default.
- W1500133066 cites W4250846042 @default.
- W1500133066 doi "https://doi.org/10.1007/11814771_27" @default.
- W1500133066 hasPublicationYear "2006" @default.
- W1500133066 type Work @default.
- W1500133066 sameAs 1500133066 @default.
- W1500133066 citedByCount "57" @default.
- W1500133066 countsByYear W15001330662013 @default.
- W1500133066 countsByYear W15001330662014 @default.
- W1500133066 countsByYear W15001330662015 @default.
- W1500133066 countsByYear W15001330662016 @default.
- W1500133066 countsByYear W15001330662017 @default.
- W1500133066 countsByYear W15001330662018 @default.
- W1500133066 countsByYear W15001330662019 @default.
- W1500133066 countsByYear W15001330662020 @default.
- W1500133066 countsByYear W15001330662021 @default.
- W1500133066 crossrefType "book-chapter" @default.
- W1500133066 hasAuthorship W1500133066A5037985562 @default.
- W1500133066 hasAuthorship W1500133066A5048772006 @default.
- W1500133066 hasConcept C108710211 @default.
- W1500133066 hasConcept C17435882 @default.
- W1500133066 hasConcept C199360897 @default.
- W1500133066 hasConcept C2524010 @default.
- W1500133066 hasConcept C33923547 @default.
- W1500133066 hasConcept C41008148 @default.
- W1500133066 hasConceptScore W1500133066C108710211 @default.
- W1500133066 hasConceptScore W1500133066C17435882 @default.
- W1500133066 hasConceptScore W1500133066C199360897 @default.
- W1500133066 hasConceptScore W1500133066C2524010 @default.
- W1500133066 hasConceptScore W1500133066C33923547 @default.
- W1500133066 hasConceptScore W1500133066C41008148 @default.
- W1500133066 hasLocation W15001330661 @default.
- W1500133066 hasOpenAccess W1500133066 @default.
- W1500133066 hasPrimaryLocation W15001330661 @default.
- W1500133066 hasRelatedWork W1515169568 @default.
- W1500133066 hasRelatedWork W2104702920 @default.
- W1500133066 hasRelatedWork W2167433695 @default.
- W1500133066 hasRelatedWork W2579160749 @default.
- W1500133066 hasRelatedWork W2797934247 @default.
- W1500133066 hasRelatedWork W2886069053 @default.
- W1500133066 hasRelatedWork W3125694439 @default.
- W1500133066 hasRelatedWork W787793384 @default.
- W1500133066 hasRelatedWork W90993393 @default.
- W1500133066 hasRelatedWork W2467505627 @default.
- W1500133066 isParatext "false" @default.
- W1500133066 isRetracted "false" @default.
- W1500133066 magId "1500133066" @default.
- W1500133066 workType "book-chapter" @default.