{"entities":{"Q1694568":{"pageid":1705309,"ns":120,"title":"Item:Q1694568","lastrevid":68245491,"modified":"2026-04-12T22:24:40Z","type":"item","id":"Q1694568","labels":{"en":{"language":"en","value":"A formally verified proof of the central limit theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833656"}},"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":"Q1694568$17917F85-A9F9-4DC8-B1EB-AB2EEB4E1564","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f52cafc1aeb9f0537749dd8c1f6c448aa265e055","datavalue":{"value":{"text":"A formally verified proof of the central limit theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694568$40E8F876-8CFD-47E0-9D09-E7C28075C781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"650696a67750f5d89e8b33a5e18af7fd56a35bcd","datavalue":{"value":"1425.68369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694568$99853F51-C539-426E-9AE7-D0DB5466CA08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$399AB7EC-4D00-4F15-AF55-CB07EDDE3351","rank":"normal"},{"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":"Q1694568$9BD6E141-5F5C-4E55-ABC2-D474A47C4522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3aea77290b88d56608c32dc4ffb1c93383cf3d53","datavalue":{"value":{"entity-type":"item","numeric-id":311555,"id":"Q311555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$C5FC84D2-318C-4AC2-A65A-2414C0FE8A1A","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":"Q1694568$D1395C8D-219B-4577-8DC3-387B6522B456","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694568$B441137B-1950-45A9-8B62-B83C7E892AD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4c03efaf17bf6a2b6b1737d455d5d933dae0ba9","datavalue":{"value":"https://arxiv.org/abs/1405.7012","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694568$BF91B656-141A-444A-8BE8-0BFB7C518DB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694568$451038B9-CB63-4D50-9141-541C07DD737D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06501b652e368cc105ad78a5eac217e38c314cda","datavalue":{"value":"60F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694568$DBBDB52B-34A4-4D7A-AA17-17A4C5DB6151","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20473a2c918ffa532517ffa618343ea0d9fa2262","datavalue":{"value":"6833656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694568$A775F2AB-CC85-4167-AA72-710E04E914F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694568$1600CB6D-85D7-404E-8D6D-BAED4B399D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae8315478af6787508c528740b602e2a5b411f4","datavalue":{"value":"measure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694568$0ACE25C1-8E89-48B9-B1C0-F0734E1BAFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1196a5aae758f1f31a1e5375742e0ae7bf556dc4","datavalue":{"value":"central limit theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694568$2EFBD770-DEA2-4CBB-8820-8371D6B427CE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$A3F84485-1CCB-4C76-9CDE-EDC457D35508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$0A89638F-8766-4F3D-AF96-9EDC39EB1735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$FC80D238-867C-46BE-9C80-AD48FEE023C3","rank":"normal"},{"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":"Q1694568$03F9D3DB-DD22-4E6E-BCDF-F2E1B94DDA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$1823C364-6376-4E0F-90BC-E8F360AE4D03","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":"Q1694568$8E4F222A-E397-45F5-9DFB-71DCC9ABA856","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff524aeb9ada665db1cf9de181a105747026e961","datavalue":{"value":"W2963637004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694568$606C8B29-926A-4CD0-ACAB-EF515A72BC36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30934abbc32128e5c1a91e04943aee41658d6f31","datavalue":{"value":{"entity-type":"item","numeric-id":1694568,"id":"Q1694568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$5D762C98-8A73-4BD0-8237-2FBF0251D3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$BDC6F3E6-9B12-430E-B09C-B190D81733FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c26807c2efabfe4028eec4255a13eb24be3d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":4836494,"id":"Q4836494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$9F07AD46-C836-4F97-BFF3-F616A89CB9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cec4389bb8228dfd4a53d2a8cb72dac5e820913","datavalue":{"value":{"entity-type":"item","numeric-id":4916067,"id":"Q4916067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$FEB8F226-B340-45E0-8A8F-000A71C5FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc90f519741959885c97856c7164fc497d5566b1","datavalue":{"value":{"entity-type":"item","numeric-id":2973239,"id":"Q2973239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$9E89E0FA-E696-4973-A7CB-847C65F3B9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d22bc152befbf81189e8514cbc9aac6f296597","datavalue":{"value":{"entity-type":"item","numeric-id":617824,"id":"Q617824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$7870D47B-84BB-4A34-AF04-91F06B332827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cc8138ff9cf4f086020f1c6e3c073e71bcc9542","datavalue":{"value":{"entity-type":"item","numeric-id":2754044,"id":"Q2754044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$47F3BAC5-3E11-47EA-BABD-9107775B3B96","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":"Q1694568$032C6726-0DEA-4D6F-BC40-6EE07F496C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d360f4c10b4163627f57faa3db163275ea6a011","datavalue":{"value":{"entity-type":"item","numeric-id":5327350,"id":"Q5327350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$5A136E62-D71A-4E65-8BF1-E9E17A4F5B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"773c449f9adc9e052cb0339ed38e78725ec53c95","datavalue":{"value":{"entity-type":"item","numeric-id":2829258,"id":"Q2829258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$93B57AFA-3D22-4DE7-ADE8-F5E5D6B05FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba12c016d8a18c6b6dced4ac6d9d4fc5138be1b","datavalue":{"value":{"entity-type":"item","numeric-id":4913763,"id":"Q4913763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$4AE446B8-232B-4E47-9A50-44D33E3A5951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"108488f019decb093dace28f9529e8473ce8ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":3088009,"id":"Q3088009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$59572696-FEEC-4CBD-A26F-9081CB093839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$BC0568AD-CC38-4D8C-BDF4-09AD4B7C5514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa0efc94c6badf499ffd88838f58d21e9fdca84","datavalue":{"value":{"entity-type":"item","numeric-id":2817293,"id":"Q2817293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694568$919D40FE-165C-4B69-B9B6-105F13BB6612","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0994918c77cdf7fff7d13137dda1f9d2d7a65672","datavalue":{"value":"10.1007/S10817-017-9404-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694568$0122CD91-40F5-4145-A555-1C4F35835529","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f9719bb784d8d46f3b11bb79ae5fbf4844ebbf","datavalue":{"value":{"entity-type":"item","numeric-id":4287032,"id":"Q4287032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e3bfc215a551d9a78b229f57b585e721ff351b","datavalue":{"value":{"amount":"+0.7718072533607483","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":"Q1694568$D7FFE0FD-D266-4A77-93E8-5B08908491F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d320e743f35bbd02fb1a514a55dd6f25dc92e059","datavalue":{"value":{"entity-type":"item","numeric-id":5900535,"id":"Q5900535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65ef7f8c97b35cb74e777b133bf098fc2c3ef6c","datavalue":{"value":{"amount":"+0.7388782501220703","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":"Q1694568$22B0A007-950E-4229-85C2-95DF02374DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84e63adba5479b3246f675d23fedde5ffcfff176","datavalue":{"value":{"entity-type":"item","numeric-id":2070589,"id":"Q2070589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e7960955db032c8937f70d508babc5ee3d70b9","datavalue":{"value":{"amount":"+0.7388660311698914","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":"Q1694568$3B0BE09B-84D4-4789-A3D6-875BBAD45740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9272c9dba622d277b59830eed3f402db033890ee","datavalue":{"value":{"entity-type":"item","numeric-id":1670781,"id":"Q1670781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743e49a511bcc0e60315b6a998b45a088d98b17b","datavalue":{"value":{"amount":"+0.7365751266479492","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":"Q1694568$5AEBDE16-72A0-475C-8250-34BE019E75A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762e2adbdcba8563db60999a1620578e0a2beb89","datavalue":{"value":{"entity-type":"item","numeric-id":2015331,"id":"Q2015331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499627c2dc70426537059cd9d01561156f159333","datavalue":{"value":{"amount":"+0.7298927307128906","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":"Q1694568$B1F39FDF-AF7E-4CD4-9C80-EBAED7A47E84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formally verified proof of the central limit theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formally_verified_proof_of_the_central_limit_theorem"}}}}}