{"entities":{"Q3145976":{"pageid":3156692,"ns":120,"title":"Item:Q3145976","lastrevid":85913954,"modified":"2026-06-03T12:27:50Z","type":"item","id":"Q3145976","labels":{"en":{"language":"en","value":"The Vitali covering theorem in constructive mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6116170"}},"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":"Q3145976$D1545D37-5E86-4CD0-B445-3CFD169EB44A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd689c96487f79b7b8e66df6ab8cfb89e9d535d5","datavalue":{"value":{"text":"The Vitali covering theorem in constructive mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3145976$86D90CD3-9C04-40EB-B60F-D83FA04C37BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e54e7cea6fe93ca71073d2a6d5c55a82c065f6f5","datavalue":{"value":"1291.03114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$CD18EE08-7C27-4CCA-8B57-F498C3E68CCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed1f9795c0d114d87eac7fe9e6e5d0c69ddacb3f","datavalue":{"value":{"entity-type":"item","numeric-id":926185,"id":"Q926185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145976$A966DB5D-9EFB-46D7-B4C8-F06019853F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a512bba709d679acf76ef05d70c041f54a06f9","datavalue":{"value":{"entity-type":"item","numeric-id":3145975,"id":"Q3145975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145976$C39A61D2-4D1A-4C89-9EAB-AA4F484D0A29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145976$67670FCF-2781-432B-A4F6-3EC990D070E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"361bffbceda806006d5fec8b3962c6c8e6ce4aff","datavalue":{"value":{"time":"+2012-12-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":"Q3145976$19A19AAF-634E-4064-AEE9-E6A525177418","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$8C6AF712-5D5B-4F79-9B20-E1722C72AF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$B00C6E76-5BA4-449E-94D9-96B2BFE53E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$BD877092-5FCB-4BB8-A11F-1F41860F2C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ea71f5d73e86695c3db83eda1dbe060ef0c0108","datavalue":{"value":"28E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$BD12421C-7990-486D-94F0-0761F61A9636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$E2CB51D2-0B7B-41D6-B95F-25ABDE3C0965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$EFB51BA9-B5AC-4040-934A-D71F9FBD90E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df7099b4588af93bd5888b7afe6962ccc238e469","datavalue":{"value":"6116170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$774F86A2-BA68-4201-8882-8F692E76E16B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145976$37C9B7A4-61EA-4AD1-BFDE-A3C4CDF3F70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e325a72f0e26ab98b1e996e2e86ac8d7891b9a92","datavalue":{"value":"reverse mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145976$CA3E9F9D-FEF8-43AD-819D-2B2F7A7E448C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145976$341F6265-288D-4230-A6DC-8B209D10FB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28d086c15d4e1c695b391c15e13d65f735110530","datavalue":{"value":"Vitali's covering theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145976$6D56343B-A2B1-4D01-B0E7-3EB87BE7062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a4798788d65b97e63656f02fa74a51565b0cc3d","datavalue":{"value":"formal topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145976$899DE729-DEA5-4DB7-BD7C-E008E7E53855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6142f1c299d5fc09af593d4fe1abe03a536a6660","datavalue":{"value":"locale theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145976$35E945C1-9E18-4318-8164-9F132B940543","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":"Q3145976$8D82CA76-CAB7-4058-BD2D-A4C41F79C7BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fff109f7762074920f388f86a293498086f83f0","datavalue":{"value":"https://doi.org/10.4115/jla.2012.4.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3145976$59B4C7B8-DE9E-4391-B744-8419975AA7D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da1f245a5bd6e6a16e1926615be6d285d45aaa1e","datavalue":{"value":"W2037466421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$E3A897DB-4C61-4D7B-AA8C-D6EBB2A7B9FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a44dd79663af377ded3921457dc99a9887a06ee3","datavalue":{"value":"10.4115/JLA.2012.4.7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145976$E8809DA5-EFF9-4F91-8C35-3E7CEC3A0640","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a530018056cd122bfadba7e545cb916a3e171c08","datavalue":{"value":{"entity-type":"item","numeric-id":2367290,"id":"Q2367290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7419b8011a7a2c43f0f6a3c462d0f267b62576","datavalue":{"value":{"amount":"+0.71969527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$D6B9B544-E0B3-43DB-AFF8-D26745B4EA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc21311c807a3e32a60a542faefdb47175383e2","datavalue":{"value":{"entity-type":"item","numeric-id":2970958,"id":"Q2970958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0a60c6929677da926fc1990e76f26c3cb6252f","datavalue":{"value":{"amount":"+0.7086458","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$3740DC7B-CDA0-4C6A-B985-D1E980CC7D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66684427d93eab218c5a99b7fef5cc66218918ed","datavalue":{"value":{"entity-type":"item","numeric-id":1935333,"id":"Q1935333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc06056dce0c8f24306891d23613193ede6ea94d","datavalue":{"value":{"amount":"+0.7047033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$47CFAC98-4EBF-4D3C-90F1-44B35FB03FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c1447c6cb4cfb6d662bc5646a8689beceef5e5a","datavalue":{"value":{"entity-type":"item","numeric-id":5124656,"id":"Q5124656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7797761719fa7f1066c69f23719216027d6511","datavalue":{"value":{"amount":"+0.6866187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$937E46FE-C9DF-44ED-BF2F-18194AC8C7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e021575721f7b401e827367034213ac8ff9f18","datavalue":{"value":{"entity-type":"item","numeric-id":3480307,"id":"Q3480307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd00bbf393a956dc2c798207ca6a2bd202e4c99d","datavalue":{"value":{"amount":"+0.6760845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$2427B5F4-11BD-481D-B78C-E653508D41A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f879d5ef57295b9baa7ba3f5a789081c93c0482d","datavalue":{"value":{"entity-type":"item","numeric-id":2117802,"id":"Q2117802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc01e0fda30f4a62d3cfb40b7c1b1e52209c38aa","datavalue":{"value":{"amount":"+0.6728554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$232FFF0D-3279-42C7-8DB5-0784F33B4CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"072927200f5839b42119633479f3f345e80cd589","datavalue":{"value":{"entity-type":"item","numeric-id":1407535,"id":"Q1407535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66eebcb1eb51768db292699dadba1067b4f12531","datavalue":{"value":{"amount":"+0.6566067","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$FFD044E6-A521-4007-9DAF-5417269012A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be76e6b27f037d09ba8e6ac2ff6cc330f087df16","datavalue":{"value":{"entity-type":"item","numeric-id":4981443,"id":"Q4981443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b74d0de04818d8e2ff09bba00bf12aaf97fd4b","datavalue":{"value":{"amount":"+0.6550068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$0BAE6B3C-EE30-4169-B160-4F76D5015756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55455577dc5b1a95f9f639e9bb33015ec918c397","datavalue":{"value":{"entity-type":"item","numeric-id":3145965,"id":"Q3145965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb84347c827722f3f356a499b23ebbd9d78f625","datavalue":{"value":{"amount":"+0.6509744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$05C8AD6F-A2DB-4C30-96E4-2E44920207FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ec81b0ca1655b74edd6f6b3da9d60308db10a8","datavalue":{"value":{"entity-type":"item","numeric-id":5841941,"id":"Q5841941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2f73218fba9336597699a8f636c4f04834cb7f","datavalue":{"value":{"amount":"+0.6488408","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145976$2897FEF4-58BC-44B9-92E1-1A5F12F79DEB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145976$A54D19E8-5CF1-4872-900B-53F4930F642B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Vitali covering theorem in constructive mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Vitali_covering_theorem_in_constructive_mathematics"}}}}}