{"entities":{"Q6050768":{"pageid":13184924,"ns":120,"title":"Item:Q6050768","lastrevid":58664934,"modified":"2026-04-06T06:00:00Z","type":"item","id":"Q6050768","labels":{"en":{"language":"en","value":"Measure construction by extension in dependent type theory with application to integration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7739778"}},"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":"Q6050768$C394731A-594F-4E07-BFEF-FF424702CCBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29007b80b4644b1e36489ca55c5d4a59d6f5ed1f","datavalue":{"value":{"text":"Measure construction by extension in dependent type theory with application to integration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6050768$6B302CCA-AA94-4569-A682-AF435956C8D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$89A2D1AC-8DB6-4396-8528-0F15E4F09064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110c9b9e0e852b5bffe2fcd42275bf67a9f49ee7","datavalue":{"value":{"entity-type":"item","numeric-id":375195,"id":"Q375195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$897F510A-8F2B-429B-81BC-5EA99C247A50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$0E4AABB1-D3EE-4507-8DC6-B9EA898CAA81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8511310b812d9d4a7e586ca3d9e1dbbb6532cd6","datavalue":{"value":{"time":"+2023-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6050768$A121CD6D-D903-4E09-8253-05A52B5E4F2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b792378dd3891dc2c02b89c57389fd5b1a040452","datavalue":{"value":"https://arxiv.org/abs/2209.02345","type":"string"},"datatype":"url"},"type":"statement","id":"Q6050768$131CD03C-8C01-47BA-9351-13518EA72489","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050768$8B7ECF61-483C-425D-A1AA-5E2E3AAA48F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81974570b3fd9a8f643cd87c7e6abd14ffc55ac0","datavalue":{"value":"7739778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050768$991FE7BD-8850-4D95-9A03-5F341C6C1403","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050768$E9F1D8DA-BDD8-4DCF-92F1-F9D2485C2E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8032b8fa761d32c90020271617f658e73d4930d6","datavalue":{"value":"Lebesgue integral","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050768$610B2093-EDCD-4C50-B007-4B4E1F9BF898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050768$8961E4FE-A072-4052-A570-86497102434C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d9f573a03b34587dd626cf386eea3e8629f75b","datavalue":{"value":"mathematical components","type":"string"},"datatype":"string"},"type":"statement","id":"Q6050768$4C6EDA8E-40C9-4F9C-9C75-6E339552E968","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":"Q6050768$FA1A0AB2-745A-497A-8463-F0C8C12BE924","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"886b4d34a13b4f3478c53c61f61568e02c9c215e","datavalue":{"value":"W4385986369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050768$2197820C-5D17-49E4-8AB8-FA43D3E79218","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae30b3c26d4c8fe68567ff748fe6fcefe4ef8701","datavalue":{"value":{"entity-type":"item","numeric-id":5048989,"id":"Q5048989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$99EC626B-046D-45A3-AA41-BAE7A2115DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811e08ac2fdbd0c8d873aede325f67deffb79bca","datavalue":{"value":{"entity-type":"item","numeric-id":5195290,"id":"Q5195290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$31619887-0D20-4A94-9624-F60A21395FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de1ffbe5ca447f05ef95df8be61de0c4a2a5a3e","datavalue":{"value":{"entity-type":"item","numeric-id":5152658,"id":"Q5152658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$7E6AA37A-ED50-48CC-8BBC-2B64EA89CB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76bdb1ac953e25d15a26d0a8aee14a7b0c23a747","datavalue":{"value":{"entity-type":"item","numeric-id":2219378,"id":"Q2219378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$B2E92093-BD9B-48AE-8874-57DEB9A77AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$1696CD51-8F4F-4B5A-9E61-C91E60CF0AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aec912cb1b4e9b40c409f4f537c09cc77cf22d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3543652,"id":"Q3543652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$7F49DBFF-6983-48C7-A8B4-04C5A459A6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f62f1315339143d3e188c7180ef4f4dd4637cfc","datavalue":{"value":{"entity-type":"item","numeric-id":2673304,"id":"Q2673304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$6688E54D-61E6-49AA-836D-21A2367E4DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ea36077204fd0b9eb7644f2911bca89da088d8","datavalue":{"value":{"entity-type":"item","numeric-id":4435465,"id":"Q4435465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$23748161-1A3E-4AE8-ABE9-00DFC9B4F80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f6f0a2437ec8dabcb3b37317882a6e9e99ad0e","datavalue":{"value":{"entity-type":"item","numeric-id":2658815,"id":"Q2658815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$6990EF7A-EAE0-412C-A4B9-02685AAE603B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$7E102EA9-8B46-45C0-B2FB-718FE377C711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$BAEEEA48-C8B3-465A-82FF-B83BD86E8C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ef84619234e2e46e8c4513d6d1ef3cba6f5b65","datavalue":{"value":{"entity-type":"item","numeric-id":1945903,"id":"Q1945903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$AEE44EF4-ADAA-4284-B4F6-AB7D8B48C8C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd873a66486e9e38fc156a4b8aa6ba19960bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$8A1C189B-2B44-4061-91D6-26188268D16A","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":"Q6050768$5470E7EC-0159-4920-9D25-9C0763AA5C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72588d840587a3399bcf0df3fe62981859b2c054","datavalue":{"value":{"entity-type":"item","numeric-id":5891083,"id":"Q5891083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$F5FF6369-E059-4F64-8BCE-A5017AB74EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ce6c52214e3682a4baf1cfd8db837064773666","datavalue":{"value":{"entity-type":"item","numeric-id":4685292,"id":"Q4685292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$1A98E247-A310-49BF-AC43-DF0B5E0200B4","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":"Q6050768$DD8CF439-6BFE-42BA-8E85-5A7DF0EFF281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79ba666ab138bde3df78f585204cf8393b2232d","datavalue":{"value":{"entity-type":"item","numeric-id":6099605,"id":"Q6099605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6050768$0D6A7775-8768-4AEB-88C7-3D4BD6898324","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"361ee7c4d046199b7215c336e7c550d1da00238e","datavalue":{"value":"10.1007/S10817-023-09671-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6050768$F5BAAB0F-1488-41A9-812D-AF1BFEAAAB15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6050768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6050768"}}}}}