{"entities":{"Q1040780":{"pageid":1042628,"ns":120,"title":"Item:Q1040780","lastrevid":69491649,"modified":"2026-04-13T07:21:39Z","type":"item","id":"Q1040780","labels":{"en":{"language":"en","value":"Using theorem proving to verify expectation and variance for discrete random variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638514"}},"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":"Q1040780$BB7D050A-5051-44DE-B808-03072F56B396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be71cd357ac59653e855f5a501254310e5b526b4","datavalue":{"value":{"text":"Using theorem proving to verify expectation and variance for discrete random variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040780$9117526B-5B9C-416A-8681-B3EBC372BF07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abd19e628341b43c6c40ad012c2526a8c1c74fe9","datavalue":{"value":"1191.68621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040780$BC2CF5E9-AD4E-49CF-B648-E66C8B8568FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$3E7BE994-861A-4D63-9DDC-B087B7E5066E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$AC518799-6543-4735-9BAC-A352BF59DFB3","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":"Q1040780$A49F12E0-766D-4FD9-A479-AB608471FFD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1040780$DCD4FF34-339E-4664-B077-C3B64D806B5F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"941e1e9458a050984f4f4be3d5e91ff95ba92050","datavalue":{"value":"https://spectrum.library.concordia.ca/974506/1/using_theorem_proving_to_verify_expectation.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040780$A52304F7-EDC1-41A1-BC8B-B7B1CFC47E67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040780$50F7D663-491E-4390-83A4-C86F6CF37D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040780$D9C3D592-80C0-40BC-829C-D886591A385E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c2c5bd64a863c2a8dbd2b23e96aa3f3079b2407","datavalue":{"value":"5638514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040780$27227159-A28F-44B7-A65D-8D8771D068B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f48a962a013368ae304514515c91f1bcefaaf2","datavalue":{"value":"Coupon collector's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040780$4432B7AA-A9A1-4823-8FFB-55F3C873C652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053189412bee31ec4259231ca609a635f57e0014","datavalue":{"value":"higher-order-logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040780$6EAEC427-3472-43B8-B378-0751F8F42131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2a9a0ee15dbb4bfd89047300f0dab1f2cb4127","datavalue":{"value":"HOL theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040780$53030B01-4C57-43E6-B4DF-A4272D9DB781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040780$3A81DECC-2343-4E95-9DE6-E52BDA4A412C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4d7ef2a1474c7a8bf3865cb84b00ed5b658d23","datavalue":{"value":"probability theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040780$8DEA5A90-4A2C-4874-AF2B-51CDDF2EEE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd3b76af6ab3ef2e003c566290844f9eaf39c9cd","datavalue":{"value":"statistical properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040780$051ADB20-9B63-47E2-B62A-812EAE97C2AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d9e3398f9a03c25d17ec7e1e092f704c058607e","datavalue":{"value":{"entity-type":"item","numeric-id":20434,"id":"Q20434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$CBDEAC64-7FFC-4155-8337-669990ED44A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"961b3e193df5538841988a2590ebc39587848329","datavalue":{"value":{"entity-type":"item","numeric-id":15514,"id":"Q15514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$97FC976B-670D-4625-9938-3DB075D8CB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$E06466C1-32B1-4A93-8862-C391DC682CAE","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":"Q1040780$C55AB4FB-5334-401E-9E14-049B97B83EFC","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":"Q1040780$19C0E859-FB62-469B-BFC0-9BDC5F41EB4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5f6ea26289bd25b17241354a8f17e07941225dd","datavalue":{"value":"W2115178223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040780$B15D28AB-E7AD-4E0E-A6CB-AFEC337A974C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee48a247b5e57b71000922ca56705d47857641c","datavalue":{"value":{"entity-type":"item","numeric-id":4434469,"id":"Q4434469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$F75227CF-D573-4A5E-A606-107EC6CA9385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41f7034d80fb91e23d33aaa78578b34e77db0aca","datavalue":{"value":{"entity-type":"item","numeric-id":3581257,"id":"Q3581257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$578B77FA-59D3-4526-83FF-EBA6CA7DD856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcbfd76296100082bca0dcf7cbf3fe7bd904bd27","datavalue":{"value":{"entity-type":"item","numeric-id":3618814,"id":"Q3618814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$6F64D699-D1E0-4FB6-8391-FB8522BD0193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dce6fea7a769388f3faaa340b3392f5e2bfa8e9","datavalue":{"value":{"entity-type":"item","numeric-id":3662646,"id":"Q3662646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$28E70227-CFB7-4E72-A67B-2E4B886035E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a56ff31e12d13be9abbbec8c780fc7a1ba4c67d3","datavalue":{"value":{"entity-type":"item","numeric-id":4712216,"id":"Q4712216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$32C4D639-A96B-4F89-8B56-130CC9D17EA3","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":"Q1040780$69B208AC-B386-4557-948A-D8DF044DACA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"217e4e912dce0387926519251eed743c39c9f584","datavalue":{"value":{"entity-type":"item","numeric-id":5395118,"id":"Q5395118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$B18F3632-2D04-43F7-8005-2F38D7268F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$99AF50B8-5469-48B9-B667-9F028B1807D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d7266b3a099048d41de82606e5ced714c44c43","datavalue":{"value":{"entity-type":"item","numeric-id":4119944,"id":"Q4119944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$CD5080B3-A2CB-4D5E-8A5A-2E75045AD2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5162e20f525969f1bb86ad112e597268f40e51f6","datavalue":{"value":{"entity-type":"item","numeric-id":3723577,"id":"Q3723577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$D3549B59-794A-44B2-BF2B-EC5C21A25D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aaea21d69439bde34f75192e2f6fc1c4727d72b","datavalue":{"value":{"entity-type":"item","numeric-id":5716820,"id":"Q5716820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$634E6E5C-AD10-4DD2-9A58-DA5FB7C94D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$8D35EB1E-774B-402B-BF77-DB9953593C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf053a270536bfbf484c2020479cff3f6da52a89","datavalue":{"value":{"entity-type":"item","numeric-id":4393471,"id":"Q4393471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$96A39909-7A0F-4164-8DF3-4D48667263A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6496304f13783e82d12a275120aa4626825ea47b","datavalue":{"value":{"entity-type":"item","numeric-id":4231030,"id":"Q4231030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$E4269440-467E-4BC8-B855-3EEE97570FCA","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":"Q1040780$F1218F49-7956-4480-A7C3-82E170C06793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7eccd59025ceba503cdbe2f4f93fd04c2921148","datavalue":{"value":{"entity-type":"item","numeric-id":3608759,"id":"Q3608759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$9BCB80A3-73C5-415E-9B35-389B8099C38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d84002c228353cd557a130622cd1ec8dc59490cb","datavalue":{"value":{"entity-type":"item","numeric-id":3523170,"id":"Q3523170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$72EB133E-70CC-4D34-9178-438815C58E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9678f370eb0cb7acabd5e34d5a3cf0f0867420c5","datavalue":{"value":{"entity-type":"item","numeric-id":3608890,"id":"Q3608890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$898F7291-F5E8-405E-9670-9487C7C45AF8","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":"Q1040780$81775281-2751-4AD0-A391-431612F4AC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"809b38840ebe3440d6a88ecac713956feae5dedb","datavalue":{"value":{"entity-type":"item","numeric-id":2956948,"id":"Q2956948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$C9E56DA1-8393-43B8-A737-FCF7D3348D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$4E10E210-0593-4398-BF15-28FA1AF110E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ba3bd74ef41e0757015be3b53bca7ad9cb71ba","datavalue":{"value":{"entity-type":"item","numeric-id":5463630,"id":"Q5463630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$00BF3A2E-0A02-4C2E-8401-D9DD7883AC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085f2f402bb0aaa918a693e06aa64da16c2193f2","datavalue":{"value":{"entity-type":"item","numeric-id":5687569,"id":"Q5687569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$C21D81B1-93A7-4458-BF70-746BE5E87C5B","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":"Q1040780$E469FD08-B180-4786-9D45-39AE4036D0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2db51f78902e64549d4024eb0935b2f613c09031","datavalue":{"value":{"entity-type":"item","numeric-id":4821331,"id":"Q4821331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040780$A2302B79-2DC2-4456-AF32-6347E4890558","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eac1e3a86178a63ce4c4430676e9fb5d8e442b6b","datavalue":{"value":"10.1007/S10817-008-9113-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040780$FC6B3F8A-D790-4719-B0C3-D042BD1D75EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58eccacf9a1cb87a6affdef33b66ab54671b4488","datavalue":{"value":{"entity-type":"item","numeric-id":3523170,"id":"Q3523170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27785531738b47f238e5e448973ac35abe5a7db4","datavalue":{"value":{"amount":"+0.8966914415359497","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":"Q1040780$9D7157D6-875D-4700-9B8F-948252C8563B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d518978192920843b4db21a03d57b8d0b217ba3","datavalue":{"value":{"entity-type":"item","numeric-id":3608329,"id":"Q3608329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6bb84407f2d7b7272161fc0ee8cbde79ce1b6c1","datavalue":{"value":{"amount":"+0.7865179181098938","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":"Q1040780$6C2CAB72-679E-4289-A421-BBA6A207663A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a29a6aabaed4c931eebeffef7ee595826d2a8eb","datavalue":{"value":{"entity-type":"item","numeric-id":3608890,"id":"Q3608890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfc97d053b90859d2b3f1262788a5d41191a9e9","datavalue":{"value":{"amount":"+0.7540695667266846","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":"Q1040780$50456B0C-51CE-483C-B619-698FB9C0A5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ff311b2b3ddcf8a75942e9b4d3c781c58e520dd","datavalue":{"value":{"entity-type":"item","numeric-id":995466,"id":"Q995466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b18ef3fc823c2896255c4da4a317db4720a582ae","datavalue":{"value":{"amount":"+0.7479087114334106","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":"Q1040780$4C43D1D6-7A8B-4DC0-88A9-1F382A1ADBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4ead23705bdfaaa4e0ce9dc579ae5855403ce7","datavalue":{"value":{"entity-type":"item","numeric-id":2817293,"id":"Q2817293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d61c3a3b9033e7fcb65f102dc3afa89de9060d65","datavalue":{"value":{"amount":"+0.7041850090026855","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":"Q1040780$43C4979B-59AD-47FB-BCAE-A814C21EA6A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using theorem proving to verify expectation and variance for discrete random variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_theorem_proving_to_verify_expectation_and_variance_for_discrete_random_variables"}}}}}