{"entities":{"Q6099605":{"pageid":13233912,"ns":120,"title":"Item:Q6099605","lastrevid":102356930,"modified":"2026-06-06T04:15:47Z","type":"item","id":"Q6099605","labels":{"en":{"language":"en","value":"Formalized Haar Measure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7699435"}},"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":"Q6099605$48B3DBBC-76F3-431B-AD96-805A8A5943B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc9f7061148c184d156fce1cd302b98949f36de","datavalue":{"value":{"entity-type":"item","numeric-id":1687767,"id":"Q1687767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6099605$E87BE44E-0C2E-4CE8-AE9E-43F529E33106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b82aa14f69973fa1b25911e00f92c9fe2c2cbee","datavalue":{"value":{"time":"+2023-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6099605$72A3A795-216F-47B7-AAA8-17A1CF3715C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a952ce76d84f349ffa98544684581cb0be79cf06","datavalue":{"value":"https://arxiv.org/abs/2102.07636","type":"string"},"datatype":"url"},"type":"statement","id":"Q6099605$4AF2ED52-D323-46A2-8559-1CE97957F501","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099605$3DDF9E0B-9CA2-472B-8F56-45B5543040BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae317aa5ab592489d592059c04b69cfb213cb808","datavalue":{"value":"7699435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099605$9EA1E3E6-75C8-4D0E-9DBA-5D1470E97925","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef11e18bf2bb7d95c32c5bda96964243791862fc","datavalue":{"value":"Haar measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099605$6E109799-1357-4663-AEB2-3CA982097C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099605$BC21FF97-0B72-4D96-82E9-7469B19E6C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49e8015364ee4ef0ae89517d365047e7b79baa0","datavalue":{"value":"Bochner integral","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099605$B7FB4993-EF4B-4227-85C2-7B6E9B625E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8fd89fa28c0f6c3672ef10c3a2104586281edb","datavalue":{"value":"Lean","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099605$63BFB973-8669-4039-97C3-3F345ABFAEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099605$9E9D22BE-A39C-4503-A7B1-EBD8F79BFD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a96a510fd7a7846523150dd8bb125ef8f415fa","datavalue":{"value":"formalized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6099605$BBF79C05-81B8-4C4B-A7BB-AE09EA4AD818","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":"Q6099605$26616926-4AC9-459E-A93B-B2D77152063F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b40734ed2a14e996e8872f57f4604749b1b7d84d","datavalue":{"value":"W3173599188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099605$8BDC9414-4551-4F00-8A05-9636D632F112","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7651e9ec0005083c8c5d96c9b86d464ac6d0cb38","datavalue":{"value":{"text":"Formalized Haar Measure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6099605$81F01A1A-9ED1-4A33-B7D7-586CE934E643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d7050007b34a45b74987f25e8cc0975d5ca5be2","datavalue":{"value":"10.4230/LIPICS.ITP.2021.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6099605$BB7273F8-B9BA-4BEC-B32F-B6039942471E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalized Haar Measure","badges":[]}}}}}