Matches in SemOpenAlex for { <https://semopenalex.org/work/W166580360> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W166580360 endingPage "151" @default.
- W166580360 startingPage "135" @default.
- W166580360 created "2016-06-24" @default.
- W166580360 creator A5009725389 @default.
- W166580360 creator A5037209402 @default.
- W166580360 date "2011-01-01" @default.
- W166580360 modified "2023-10-16" @default.
- W166580360 title "Three Chapters of Measure Theory in Isabelle/HOL" @default.
- W166580360 cites W1489087445 @default.
- W166580360 cites W1545409775 @default.
- W166580360 cites W1561420154 @default.
- W166580360 cites W1606338671 @default.
- W166580360 cites W1814275833 @default.
- W166580360 cites W1978081288 @default.
- W166580360 cites W2113081700 @default.
- W166580360 cites W2148011644 @default.
- W166580360 cites W4302966864 @default.
- W166580360 doi "https://doi.org/10.1007/978-3-642-22863-6_12" @default.
- W166580360 hasPublicationYear "2011" @default.
- W166580360 type Work @default.
- W166580360 sameAs 166580360 @default.
- W166580360 citedByCount "67" @default.
- W166580360 countsByYear W1665803602012 @default.
- W166580360 countsByYear W1665803602013 @default.
- W166580360 countsByYear W1665803602014 @default.
- W166580360 countsByYear W1665803602015 @default.
- W166580360 countsByYear W1665803602016 @default.
- W166580360 countsByYear W1665803602017 @default.
- W166580360 countsByYear W1665803602018 @default.
- W166580360 countsByYear W1665803602020 @default.
- W166580360 countsByYear W1665803602021 @default.
- W166580360 countsByYear W1665803602022 @default.
- W166580360 countsByYear W1665803602023 @default.
- W166580360 crossrefType "book-chapter" @default.
- W166580360 hasAuthorship W166580360A5009725389 @default.
- W166580360 hasAuthorship W166580360A5037209402 @default.
- W166580360 hasConcept C17435882 @default.
- W166580360 hasConcept C199343813 @default.
- W166580360 hasConcept C199360897 @default.
- W166580360 hasConcept C2777686260 @default.
- W166580360 hasConcept C2780009758 @default.
- W166580360 hasConcept C41008148 @default.
- W166580360 hasConcept C71924100 @default.
- W166580360 hasConcept C77088390 @default.
- W166580360 hasConceptScore W166580360C17435882 @default.
- W166580360 hasConceptScore W166580360C199343813 @default.
- W166580360 hasConceptScore W166580360C199360897 @default.
- W166580360 hasConceptScore W166580360C2777686260 @default.
- W166580360 hasConceptScore W166580360C2780009758 @default.
- W166580360 hasConceptScore W166580360C41008148 @default.
- W166580360 hasConceptScore W166580360C71924100 @default.
- W166580360 hasConceptScore W166580360C77088390 @default.
- W166580360 hasLocation W1665803601 @default.
- W166580360 hasOpenAccess W166580360 @default.
- W166580360 hasPrimaryLocation W1665803601 @default.
- W166580360 hasRelatedWork W1515039974 @default.
- W166580360 hasRelatedWork W1527862632 @default.
- W166580360 hasRelatedWork W1560655349 @default.
- W166580360 hasRelatedWork W2088318881 @default.
- W166580360 hasRelatedWork W2109507516 @default.
- W166580360 hasRelatedWork W2135396778 @default.
- W166580360 hasRelatedWork W2797934247 @default.
- W166580360 hasRelatedWork W3163374525 @default.
- W166580360 hasRelatedWork W4243252198 @default.
- W166580360 hasRelatedWork W3085888268 @default.
- W166580360 isParatext "false" @default.
- W166580360 isRetracted "false" @default.
- W166580360 magId "166580360" @default.
- W166580360 workType "book-chapter" @default.