{"entities":{"Q3391740":{"pageid":3402443,"ns":120,"title":"Item:Q3391740","lastrevid":88099928,"modified":"2026-06-04T13:38:25Z","type":"item","id":"Q3391740","labels":{"en":{"language":"en","value":"Every computably enumerable random real is provably computably enumerable random"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5594147"}},"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":"Q3391740$1738961F-B142-4B48-AEF9-48AF6E3785BE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bcc8201a4340e598f583588fe0951fefc3675de","datavalue":{"value":{"text":"Every computably enumerable random real is provably computably enumerable random","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3391740$2006E9AA-AA53-45A8-A0E8-BB70063F6D2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0994e63e184a78becad53c45b1b697b424cdb315","datavalue":{"value":"1178.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3391740$7A498137-B1B3-438A-84A4-DA004D2A08BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6d00cd990f9254fc37e203f172bb40670477871","datavalue":{"value":{"entity-type":"item","numeric-id":716315,"id":"Q716315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3391740$90F839EC-D05A-4DAA-84A1-055268527C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e9fd827f0c306dc6fc60932527fbe8faec3e49","datavalue":{"value":{"entity-type":"item","numeric-id":235567,"id":"Q235567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3391740$306292FF-11B2-4900-B27D-66247AF849E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f6409b2ea30c9cdad9f0bbd728c838a41b46315","datavalue":{"value":{"time":"+2009-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3391740$6D66DDEF-ACB9-437D-ABB8-AABD05BB94A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cd407326604e9184e76c2f27bd99cd66d2d92b6","datavalue":{"value":"https://arxiv.org/abs/0808.2220","type":"string"},"datatype":"url"},"type":"statement","id":"Q3391740$52998044-9A2E-45D9-8705-3B92C4D4AE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"34b9fa2562f152eb9b6347e55251a87bacee6f7a","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.314.3505","type":"string"},"datatype":"url"},"type":"statement","id":"Q3391740$3AB6DD73-1BC3-4701-92E1-E98A89A3B481","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3391740$0BE43B9F-E38B-44AC-A2BC-3BB985CF7D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3391740$84BD074D-EC19-47B3-92BE-FAF3A9F2FC31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ce8bc392f084461bedee751ee4d528e62c082cb","datavalue":{"value":"5594147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3391740$1BAC5F0D-22D4-4350-B0F4-FA0195C30250","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4afb32cbca53e7ddd9841765f139e2ef30faa2b7","datavalue":{"value":"provably random","type":"string"},"datatype":"string"},"type":"statement","id":"Q3391740$99D61D52-ED4D-4190-A8FA-35208350FE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95b6df39fc16176d4a3aa8b6b6a7dcd6f2226de0","datavalue":{"value":"c.e. real","type":"string"},"datatype":"string"},"type":"statement","id":"Q3391740$A55725FB-E9DC-4A1F-9E38-179FC2622F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496fb62b5fbbae0889439900bccaa24ccd7b815b","datavalue":{"value":"randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3391740$0944D94A-4FB4-43A9-87D1-F975277CDBF4","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":"Q3391740$98742AC7-82A3-4CF4-8D19-F4C4D83E7C71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b4c6c84b78dcd7cd7c200d3aeb64b7b245df5afe","datavalue":{"value":"W2083648745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3391740$A2E9A035-5CBB-4EFB-9E87-43905E7BE03A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b9c33b190564e40cbaffeffc2131304105058476","datavalue":{"value":"Q57001570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3391740$34784785-56AA-490D-A254-0E131F7F2724","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9ea237f3ebfe66d2bbb3eee1cda3f483e736ac98","datavalue":{"value":"journals/igpl/CaludeH09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3391740$56FF2470-0162-4A35-AD75-94977B651618","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"375e89afb476326798b1f3a9e073de628563e5e0","datavalue":{"value":"10.1093/JIGPAL/JZP015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3391740$F68D91B1-03AB-492B-ABD3-E4BB31795143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3391740$A57959A9-6C55-4D72-8644-D05A316271A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3efd3c1c5af74d818fbd497578306c7241331edd","datavalue":{"value":{"entity-type":"item","numeric-id":5958278,"id":"Q5958278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599e86e294519d529007f6287e394aa53dff3e74","datavalue":{"value":{"amount":"+0.8393226265907288","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":"Q3391740$F52F3865-6682-4A3E-B7D7-758A92745BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c69d2ab4d158b10f0632fe9775005fc18262f43","datavalue":{"value":{"entity-type":"item","numeric-id":4381402,"id":"Q4381402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"599e86e294519d529007f6287e394aa53dff3e74","datavalue":{"value":{"amount":"+0.8393226265907288","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":"Q3391740$F62B0783-ED48-4508-A214-3DD2E684B98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da45c2115dcd4f3022d3839c24b93236aa3f734f","datavalue":{"value":{"entity-type":"item","numeric-id":716316,"id":"Q716316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3336a670ea97a7e74e85cb2b2a1ed93b08a5c9","datavalue":{"value":{"amount":"+0.8102823495864868","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":"Q3391740$BB2BCA90-B861-4AE3-ABDF-208830E87348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cad670926d3accbbcf0644b0b03e1be1988358","datavalue":{"value":{"entity-type":"item","numeric-id":1607291,"id":"Q1607291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b82a2acd589542443122b952c217f476adb443","datavalue":{"value":{"amount":"+0.7936580181121826","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":"Q3391740$87D67573-BE7E-4FE1-8F64-268AD1EF6A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c170bf90eb0c2f6290fcaa22547fc0601f2fd91","datavalue":{"value":{"entity-type":"item","numeric-id":3416122,"id":"Q3416122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509d9f1e46d82669f3a186d90f44c97d026b0f0f","datavalue":{"value":{"amount":"+0.786553144454956","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":"Q3391740$C17B8923-1673-4C70-A267-79388F3FD055","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every computably enumerable random real is provably computably enumerable random","badges":[]}}}}}