{"entities":{"Q2817293":{"pageid":2828031,"ns":120,"title":"Item:Q2817293","lastrevid":52608464,"modified":"2026-01-23T02:30:05Z","type":"item","id":"Q2817293","labels":{"en":{"language":"en","value":"Formalization of normal random variables in HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6620486"}},"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":"Q2817293$FFEB094A-DAAA-426E-8FE3-A6B079CFF859","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"442bacf17ec4dfb77878727f9179ed4deb794d8d","datavalue":{"value":{"text":"Formalization of Normal Random Variables in HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817293$2BE4BDEE-D430-4177-96DC-4D99B0A681BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5def72cf9e27dc46b2e4193ac39a95f9340ab9","datavalue":{"value":"1344.68212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817293$06E8EA84-9C30-4301-B5FC-E97CFD71CB24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba61aa47b313907d5f562b431b5ad1a4e3c3d7df","datavalue":{"value":"10.1007/978-3-319-42547-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817293$7CAECD6B-50F1-4EC3-858A-20D86C07FA6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86a5354f97929a3f4d405ac911ae6e2ce8532f6d","datavalue":{"value":{"entity-type":"item","numeric-id":459684,"id":"Q459684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$B54FA4AC-B8E5-4273-B320-00B69031307F","rank":"normal"},{"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":"Q2817293$30C0D738-5C33-4CA5-9335-240C5816EE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02170b04e6d1529adc74fd7c888b638b33170eb9","datavalue":{"value":{"entity-type":"item","numeric-id":903508,"id":"Q903508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$BEF15659-02C3-4A13-B544-1F5077CCB935","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":"Q2817293$B1CB0697-2B85-4CA1-963B-5D4A6283E59D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$8801E6BC-F08A-4FCA-8E14-2EA771F2DEC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85d9f70abb070df81833000bc59244d6fec26f1f","datavalue":{"value":{"time":"+2016-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817293$3B5F8883-7BEE-4C71-A065-DD7EDCFF52A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817293$D8838F66-3D08-49E0-8FF7-9BF260B06142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0884c9d0ae748c6fcdab553f5d604d0a27b28912","datavalue":{"value":"28A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817293$9DFB5153-EAD5-47EB-A8AC-29D34A5588BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e53a6cfe05bc659e05b57b388d8f4856a6983d52","datavalue":{"value":"60A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817293$4734BA25-A210-4065-BF25-1D5D1DF63614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817293$E15FA25A-8C70-46DF-B8D0-F57505C0937A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8bf46400f95d9b4b3c853fad04a157de589348e","datavalue":{"value":"6620486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817293$42C77585-6FAE-4D4C-82DA-A451CEFE05DA","rank":"normal"}],"P1463":[{"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":"Q2817293$0AB8611D-7F13-46F1-B7A9-82C70DF6ED5D","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":"Q2817293$178198D5-677B-4609-9A36-6AC6275E7417","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":"Q2817293$75630EB9-5B86-4D66-9937-67BFA8AD88DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c577411aaeb753f718536c788ca0db70d9185ef","datavalue":{"value":"https://doi.org/10.1007/978-3-319-42547-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817293$DF17DE94-217B-4165-81CC-A00834FF46DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"261b69978537c8eeca28f947a77a5944ed9e4d95","datavalue":{"value":"W2496670332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817293$1C7FFE82-90BC-4B5B-9315-97A814C31E95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76087333aed3606eaddd6e343564bf571ba59ec6","datavalue":{"value":{"entity-type":"item","numeric-id":5495912,"id":"Q5495912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$84050BF0-A9F0-47F8-BAFC-FF4655A3CA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2ce6164e3da11b5830cd62f15c079323887e44","datavalue":{"value":{"entity-type":"item","numeric-id":3103870,"id":"Q3103870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$06300D11-ADD5-402B-A921-E97B4B777B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0283eb370ca7cabfbf2366367df78cf850bbba","datavalue":{"value":{"entity-type":"item","numeric-id":903510,"id":"Q903510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$61A06E37-1B99-44BB-91B6-55497E537CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"059293f6c8c9c46adc7c45c14476fe9d5e03b7a5","datavalue":{"value":{"entity-type":"item","numeric-id":4118034,"id":"Q4118034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$1B96C750-FEC4-4A05-9F96-EE3762C953BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a594c4293ef207130422665f3a87a3ec7beff0dc","datavalue":{"value":{"entity-type":"item","numeric-id":3605473,"id":"Q3605473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$04CD72C1-CEE1-471F-91DB-F21EA754421C","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":"Q2817293$BC857C51-8747-4754-8D53-A917B8C4B7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ae561272b4a08b35a36f5ec5186caf1718b6d0","datavalue":{"value":{"entity-type":"item","numeric-id":1040780,"id":"Q1040780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$9A147A9C-3332-489D-B2F2-3BFFA1B5F1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca0b7ac027330e19c7e2ecd69a6702294777364","datavalue":{"value":{"entity-type":"item","numeric-id":1040781,"id":"Q1040781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$6E323D09-6332-4C9F-BACE-0476CA1F8CC4","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":"Q2817293$DE2FFF38-64E7-47DB-8FE1-BB50A658DA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1792bc3b56430e208777a935169cbf8e6d887f47","datavalue":{"value":{"entity-type":"item","numeric-id":3172906,"id":"Q3172906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$92AF38A1-DF71-43B8-B077-20D9B1171AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60f5981f6ecfe1625dd183750a8cb64291bda9b","datavalue":{"value":{"entity-type":"item","numeric-id":5166668,"id":"Q5166668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$4DC3B441-6D88-4BFA-8523-231626CD2EEA","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":"Q2817293$A9F5AFEA-C71A-4821-B00A-7AFAF68BFBE7","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":"Q2817293$D12D872E-6B36-4D3A-998F-B30A1DC5638E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8d8923124aacf77acb5e9626dac9971f78b9ce","datavalue":{"value":{"entity-type":"item","numeric-id":5962971,"id":"Q5962971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$5C1BF115-1927-46D3-A24A-4F0DE459E8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099097fae1eb575e07cafb5e5e1b319900b91008","datavalue":{"value":{"entity-type":"item","numeric-id":4858088,"id":"Q4858088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817293$713904B7-2FAE-42BE-80AB-6168AC101FB3","rank":"normal"}],"P1643":[{"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":"0b817aa660d00e32adf857a3c1f7bef470b4519f","datavalue":{"value":{"amount":"+0.801379382610321","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":"Q2817293$6F78AFBD-1DF9-46E9-9D17-22B979E8689D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a201024be1a7508e914e8b1cdc85d5ab2c47a91b","datavalue":{"value":{"entity-type":"item","numeric-id":3608759,"id":"Q3608759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b91d6758df8869dde735a057e1fbdb8c10c7256","datavalue":{"value":{"amount":"+0.7686850428581238","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":"Q2817293$86E54763-B403-4C8B-955D-072A2A96D44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02194ebacb5893ed7c62ed2452b5e688bfc10b51","datavalue":{"value":{"entity-type":"item","numeric-id":4931592,"id":"Q4931592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70e72837c07fd41489ffc9d1c592935e10976be9","datavalue":{"value":{"amount":"+0.7415852546691895","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":"Q2817293$883D0D47-11F9-4120-B992-838741F8DA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa1b6241cb85cf56e7ca7269a147361e1036c71","datavalue":{"value":{"entity-type":"item","numeric-id":5869611,"id":"Q5869611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4e37d4b0a588c55c6172510eb511b73080aa11","datavalue":{"value":{"amount":"+0.7250944972038269","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":"Q2817293$D957CBDD-1E5E-4FA7-8E43-7CFD18DED735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a2dfe78d9fea8f367956ae27f49fef5feb9a27","datavalue":{"value":{"entity-type":"item","numeric-id":5464655,"id":"Q5464655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67adfdb24541190fb8aa2773dab4eaf4648df0a0","datavalue":{"value":{"amount":"+0.7238243818283081","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":"Q2817293$6377C132-6BFC-491D-A6E0-80A055347CBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2817293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2817293"}}}}}