{"entities":{"Q3088003":{"pageid":3098718,"ns":120,"title":"Item:Q3088003","lastrevid":51317612,"modified":"2026-01-17T17:56:13Z","type":"item","id":"Q3088003","labels":{"en":{"language":"en","value":"Three chapters of measure theory in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940065"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$5FDAF151-3E2E-4CDC-9B30-89A803B6D308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"893d28dd9e9d15b77afc28d3658fb0ad108a8956","datavalue":{"value":{"text":"Three Chapters of Measure Theory in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088003$B337AF4C-D1D2-457F-A80E-052AC8243FED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cb7e55bdaf005709e96b136b700543693fd3675","datavalue":{"value":"1342.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088003$A4138BDF-387E-4ECB-8B3E-36297D6EF9C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e5a5386ad341ac751d291525254c39366d7b895","datavalue":{"value":"10.1007/978-3-642-22863-6_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088003$7E61AFC1-B9A3-42F7-91D2-A2BE7C2AD754","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d6620daf8648b9713aa99490f0508510abdae9","datavalue":{"value":{"entity-type":"item","numeric-id":1687531,"id":"Q1687531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$F4745D89-2083-4FFD-90BA-99C075A5B498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65fe0a829fdb326e08a29aaee752069ad1a877ac","datavalue":{"value":{"entity-type":"item","numeric-id":3088002,"id":"Q3088002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$4B537BD3-3409-438D-A172-74720016AAEF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$34CC1EF6-58BA-49BF-A059-3F239B3C4BF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088003$A8E19340-7058-45C6-A3F1-224EB7686164","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088003$B35F2602-D21D-4C6D-A170-E08DE49F45B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6905908b12714d3d85ea267eda5297f23bb0c196","datavalue":{"value":"28Axx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088003$825BC49A-5659-41C4-ACED-EB7A3F61C1EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28b455b10638c5da2d29925b363b4137715f28a3","datavalue":{"value":"5940065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088003$395EAF73-01D6-430F-B67F-13E74E764017","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$F178D4EE-A225-41FE-914E-7371F1E370F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$DC6B67D7-2EBE-4EEC-88A0-FA5662C7C764","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$0B2E80F8-B32E-4708-B0B7-409E469571DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a40de44b6ec5bd0bee6470cdb80063db000a2477","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088003$545CD831-44BD-4439-8FAC-0BBED62B85F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6874ca13b4f12dc315963619179adf53e1104d2","datavalue":{"value":"W166580360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088003$8846C129-19E3-45CF-AF13-7626D471F781","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe59bbe811cbc5cf275fa707f07600a8e773182","datavalue":{"value":{"entity-type":"item","numeric-id":5936647,"id":"Q5936647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$41BACA19-6C79-4A6B-B0F6-0B36095B4225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75dbd6831f5997bcd1e3a90202470be0212b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$9DE21DC7-A7AE-4B51-8DB3-9D1C6CEC5E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a5e182d22cd63374751049cb1ad374f0b5175f7","datavalue":{"value":{"entity-type":"item","numeric-id":5477650,"id":"Q5477650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$A8A78846-8754-4EE1-819D-D0FD3C4FA636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59763b3fb25129051745803dae70f5cf79103f8","datavalue":{"value":{"entity-type":"item","numeric-id":4484343,"id":"Q4484343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$3C7200AA-745C-45CD-89FA-6A476AE78158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81309e87becee3cda8d7174d2d8b5b31baaaeac","datavalue":{"value":{"entity-type":"item","numeric-id":2576950,"id":"Q2576950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$DECDE046-8E5B-4785-9137-D8955672B103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1e49d74090d77a773896f7b2be0970d01b92ca","datavalue":{"value":{"entity-type":"item","numeric-id":5747663,"id":"Q5747663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$A90F1F1F-C56A-44C3-80EB-1012C92028D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18b84f53cfdc559b4d296e04ba30186fce5df8","datavalue":{"value":{"entity-type":"item","numeric-id":5464655,"id":"Q5464655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$273A2563-0589-4F0D-9A1F-15FABD0E31F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce2ec3cf406aede38bafbde0299e35bb641c083","datavalue":{"value":{"entity-type":"item","numeric-id":5703918,"id":"Q5703918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088003$8DB72FD2-FAE8-4F68-9F40-31CCDEE897E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6057b5e86faf4bc8846bf7347d59327ca7961056","datavalue":{"value":{"entity-type":"item","numeric-id":5747663,"id":"Q5747663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553918549913bc4387374e8715f09bcd9f18083d","datavalue":{"value":{"amount":"+0.7824141979217529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088003$10341356-0AE2-4E14-9409-1CEA750955A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a2dfe78d9fea8f367956ae27f49fef5feb9a27","datavalue":{"value":{"entity-type":"item","numeric-id":5464655,"id":"Q5464655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a63c75b12cac87bcbcdb3d0dd262ee538e10e6f","datavalue":{"value":{"amount":"+0.7489286661148071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088003$5682F8D9-CA39-4AF7-A313-ECE519C531EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a8697443fa4cbe531bcec426ce828e3c524c95","datavalue":{"value":{"entity-type":"item","numeric-id":1796769,"id":"Q1796769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9d5ef89a36cd62d838f460b934553ee6d8cef8","datavalue":{"value":{"amount":"+0.7427956461906433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088003$8CB76FF6-78FF-4D53-B2BC-61A0E0FE6C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aef5a523c7e1732fa6cce59d4c8f909e899341d","datavalue":{"value":{"entity-type":"item","numeric-id":3995939,"id":"Q3995939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16326b95bddacb97e50142ed4c128b262e7ec0c4","datavalue":{"value":{"amount":"+0.7353907823562622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088003$9390797E-B7AF-4334-9357-66FF1EBBD093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ae9d617f71b98469fa4d489ec7071a34d1085c","datavalue":{"value":{"entity-type":"item","numeric-id":3843125,"id":"Q3843125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb2135c1a131152a3a447fe6a97947e7ce583b3","datavalue":{"value":{"amount":"+0.7342144250869751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3088003$967DFED4-E846-4C24-B281-E29B77899910","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088003"}}}}}