{"entities":{"Q995466":{"pageid":997314,"ns":120,"title":"Item:Q995466","lastrevid":65772906,"modified":"2026-04-12T05:16:16Z","type":"item","id":"Q995466","labels":{"en":{"language":"en","value":"Formalization of the standard uniform random variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186559"}},"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":"Q995466$007D90DB-2EB6-4FE1-8643-67908AF78EA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a5834e0745f2e21fb9f4e6a3770b5ed89f3d935","datavalue":{"value":{"text":"Formalization of the standard uniform random variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995466$72AE263F-EE96-4034-BF3E-D0A6CB08A812","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e31f3c4d05ae68a8dc352aaf347b95e512e04c5","datavalue":{"value":"1159.68479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995466$A514D908-7159-48C1-9D26-F064049EB64C","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":"Q995466$FE07FAA1-5150-4424-8679-805415529227","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":"Q995466$60B49FAD-31DF-4CBC-BA3C-8E15605F27B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$43CB8E9F-0E22-4582-AB79-B134088AB91D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995466$97BF8444-B860-493D-851F-0AA59346C98C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75321146e34c94694711461162b46e727b3b79fe","datavalue":{"value":"https://spectrum.library.concordia.ca/974501/1/formalization_of_the_standard_uniform_random_variable.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q995466$0823C8A7-9C3F-4B86-B580-641444AE8393","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995466$0398EC55-AB94-4AA8-9EEC-2DC9CBA9495B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995466$DD741975-E2F7-4874-9772-5A9B9D9379F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1aa607685f2faa2d81a018b093e1e66d41eb5a9e","datavalue":{"value":"60E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995466$29B9C5CB-11CB-43A1-8B3A-24E8F47E0A55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65cfbcbfb38fe7968c625205a1df27915d2869b0","datavalue":{"value":"5186559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995466$8743684F-B227-4173-87AA-6EC5648A9032","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0118183e85bef61955658c4b3338dfd656cd16ab","datavalue":{"value":"continuous probability distributions","type":"string"},"datatype":"string"},"type":"statement","id":"Q995466$246D0ED1-B0B4-4BC1-AB06-76B70E9A5A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4752b484d49c9a2b93e0a9e10ae2fe7e85c97cb7","datavalue":{"value":"probabilistic analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q995466$B90301CB-F239-4653-8DF3-04EDA505873B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q995466$D7D66273-B131-4A93-A5CD-5C870CEE8C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q995466$628F1617-655C-45F7-9663-A5B8840ECA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2a9a0ee15dbb4bfd89047300f0dab1f2cb4127","datavalue":{"value":"HOL theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q995466$3272E86E-F87B-4FBB-ACAC-6A4B3EB0045C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85abfddd32bad4b2678f5ebdaaec764a410b76c8","datavalue":{"value":{"entity-type":"item","numeric-id":20941,"id":"Q20941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$97053926-C882-4E84-A4D9-40F05BDE39A4","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":"Q995466$96A5D547-5D81-4CB8-B908-B51155784132","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":"Q995466$EDCFF907-804A-4438-B893-26E1E6A28C8E","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":"Q995466$56A43C46-CDAA-4D47-8C71-E66EDEB37503","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de1fca29fe105e284ebf9d29f409cdc90ac57631","datavalue":{"value":"W2167390667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995466$10375FED-990A-49BD-900D-687A21E51A59","rank":"normal"}],"P223":[{"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":"Q995466$921DC8C0-E5BB-4E65-B8E4-93504A87A5BE","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":"Q995466$522006A9-1A84-41F8-A9A9-8D26C0375463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6b0479428e2ab3288ce6f4b559b16519ef8391","datavalue":{"value":{"entity-type":"item","numeric-id":5624436,"id":"Q5624436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$A828290A-AB0A-478F-A1F2-3120106E7803","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":"Q995466$95325A3E-3E0C-44BF-841F-942BD75E5371","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":"Q995466$98AA20EC-B64E-488F-BBD0-68D227589688","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":"Q995466$64414D85-4B0C-443A-A7C7-6706A1CA8D03","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":"Q995466$726F44D0-FFC8-477E-8F9C-C0A7E4615E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716947d02b4f29ae0c661b32e25ddf63cf15c3d7","datavalue":{"value":{"entity-type":"item","numeric-id":3875078,"id":"Q3875078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$4199AF55-81D3-452E-9E6C-9E6EDF273F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$A50987CF-C1F6-4E55-9F44-69337950EBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2de4e7d4a64cec0b81a66df673db8cd9c23954d","datavalue":{"value":{"entity-type":"item","numeric-id":4178385,"id":"Q4178385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$F9592461-559E-47DB-8996-AB29834C6578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"816033567eb7d0df67b35249fb59ad6de2e183dc","datavalue":{"value":{"entity-type":"item","numeric-id":4217794,"id":"Q4217794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$9ABBC278-2E61-4A62-BAF7-23B91CF1571A","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":"Q995466$B1784741-1A8C-4A57-AA23-496735B881F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac6a72e5a3f7d04d286f8a80ba01638547a8c68","datavalue":{"value":{"entity-type":"item","numeric-id":5276144,"id":"Q5276144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$B509BA5B-B2ED-489F-923B-A7C0507491EF","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":"Q995466$D1B02C89-CE43-48AC-9D61-4C98A6D3FA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0013b511ea61f98a91c5d9a0683a8656f9dd75f5","datavalue":{"value":{"entity-type":"item","numeric-id":4821979,"id":"Q4821979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995466$77949073-F9E1-41AE-A900-176635F679B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"930ee5e7fe5463d00b08d52c15e9319b9fa1017d","datavalue":{"value":"10.1016/J.TCS.2007.05.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995466$627D62F6-CAF1-4134-88B2-8709A7C4C13F","rank":"normal"}],"P1643":[{"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":"5dfaf8b2c609a9020657ebb0007c119e2df271a4","datavalue":{"value":{"amount":"+0.8998815417289734","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":"Q995466$84CED990-3100-4ECE-9D07-3AACBDCBAEEE","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":"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":"Q995466$A8DD176C-DA02-4347-A9F7-200ED148ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82ebad7efbc5727c6ace3042f64fccced6d2b2ee","datavalue":{"value":{"entity-type":"item","numeric-id":1040780,"id":"Q1040780"},"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":"Q995466$51EF143C-88FA-47B3-81E3-87334C4B6D4F","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":"e6f93c21a09dd68f80df7993ebbef570f6d6cc26","datavalue":{"value":{"amount":"+0.7473406791687012","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":"Q995466$2D5877D1-502E-40C3-9F02-D79D574A6C0D","rank":"normal"},{"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":"f8ccc1f69277cb8180a76cbe6671a36ea8564c88","datavalue":{"value":{"amount":"+0.7310425043106079","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":"Q995466$98E97FC8-CCFE-4861-B671-9F897E07BC11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of the standard uniform random variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_the_standard_uniform_random_variable"}}}}}