{"entities":{"Q2402368":{"pageid":2413111,"ns":120,"title":"Item:Q2402368","lastrevid":57893085,"modified":"2026-04-02T23:48:05Z","type":"item","id":"Q2402368","labels":{"en":{"language":"en","value":"Differences of halting probabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770494"}},"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":"Q2402368$F1AB14A5-55E1-4A7F-A535-8602DE7BBCF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd860195bdd751d6bc729a07b8a0d37ba01ac28a","datavalue":{"value":{"text":"Differences of halting probabilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402368$A2F461C4-58C4-49BA-B3FE-A9FA0CA76ECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1be98940ac62c4a60eaf58d0d44160b799b1b64b","datavalue":{"value":"1423.03144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402368$B1205603-713A-4BFD-9DC8-D3F837352233","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$599A3F75-6BDB-4895-956F-F6BB6F6CC8C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11ba1318fd992fb8963c975351f80696c931b262","datavalue":{"value":{"time":"+2017-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402368$BFB690AD-CB83-49D2-AB2B-2B89D20E0916","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e54486e675523a515a2670b33f9962eccf28387","datavalue":{"value":"https://arxiv.org/abs/1604.00216","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402368$03EA9034-63B0-4E45-BD10-2414308D9B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b891264a1fc51bf98e91eb899bb3df2edef4dac8","datavalue":{"value":"http://eprints.lse.ac.uk/81819/1/Lewis-Pye_Differences%20of%20halting%20probabilities_2017.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2402368$49C214A9-B256-46E0-A419-0B5C67C3C3AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402368$09BA4A46-DD78-426B-A88A-20DB4454AFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402368$556539F9-B0B0-4A9D-833A-7997131AD8B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09b1ce86ba4d1eb04ac28cc3a4ad7d47779bf6c2","datavalue":{"value":"6770494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402368$5871485F-FB18-4AD0-86DB-9A84BA2C9208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35ff20c2409c5acf398e3e58f29e36ad784af70","datavalue":{"value":"algorithmic randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402368$A0FFD495-F6F3-43D4-86E2-29E83235FAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b4ec37fae7c0dcbb2c54f2fe0e6d68a7476dd97","datavalue":{"value":"Chaitin's \\(\\Omega\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402368$A3BF8B4A-E561-4510-A0A0-2C7EC2CD9240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6861413b68629baa6911b1456ec758c2ddc4b6a","datavalue":{"value":"halting probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402368$CF3A54CE-A515-4AA4-8935-C14945F9E2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02722d9478f76ff0f4d66e4ae1f86b6fcd28591e","datavalue":{"value":"computably enumerable reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402368$29CABD47-6F45-4D48-9890-217762CAD044","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e474523a7d3f1899d3209a3168783415314b3cdf","datavalue":{"value":{"entity-type":"item","numeric-id":342723,"id":"Q342723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$2ECDCC2A-2924-4156-8E3F-98931A97E1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23f7e124212a492c9d972f12d1a41a3954f8147","datavalue":{"value":{"entity-type":"item","numeric-id":471690,"id":"Q471690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$C3408D70-9A52-42F3-8239-C98FCCEB42E2","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":"Q2402368$15AC1461-961A-4094-897D-E7FCC2097413","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c28f4583a9fd03772911462c7a8bba888fba933d","datavalue":{"value":"W2964344050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402368$147E42FB-1C3D-42F7-BDE6-A3D9CE22095E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db1962e7d4ec7242d4a1cafb074dcba0acf2109","datavalue":{"value":{"entity-type":"item","numeric-id":5925970,"id":"Q5925970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$F859626F-9D44-4590-BE21-6C86A3D5F6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ff9dd25549128f4aae48b568b1721b231495df","datavalue":{"value":{"entity-type":"item","numeric-id":2752143,"id":"Q2752143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$07A4C129-7D88-43D3-BAD1-9C85FAFB3269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a28ea53bb7a84256da72e4130e32a0ff851db4","datavalue":{"value":{"entity-type":"item","numeric-id":3416122,"id":"Q3416122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$C7F2A769-FF12-4F89-B267-26CD10D77CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93261e39e3b1dbd1ae8702db07b92a737bc3ed2f","datavalue":{"value":{"entity-type":"item","numeric-id":5718694,"id":"Q5718694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$B85CC0DF-A17A-47E3-9DCB-E7013FCE262F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5159b62e572fd11052db7ad9ddac2708db47b32","datavalue":{"value":{"entity-type":"item","numeric-id":3616346,"id":"Q3616346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$2987CE58-812A-4BEB-97C6-A0F3209D80AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688e530530b2aa80b106b3a8c0a385dbe89600f0","datavalue":{"value":{"entity-type":"item","numeric-id":4068087,"id":"Q4068087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$7E7D278F-DDE7-4531-BE64-0E48C84E23F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf3935e31f6be78e5602b59529545b103b0a4b1","datavalue":{"value":{"entity-type":"item","numeric-id":1242451,"id":"Q1242451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$7D7E52C5-ADE8-4423-80CC-9A74F37263C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d28fc9026587677cdd10d7cefda996374edd58","datavalue":{"value":{"entity-type":"item","numeric-id":4522700,"id":"Q4522700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$E331B0E8-5F3C-42E7-B3CD-0C6CD4DA4F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"945ea1fb83b49de1f4cd6b14978535c2605399b5","datavalue":{"value":{"entity-type":"item","numeric-id":3802576,"id":"Q3802576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$E3D59D9B-5576-42DA-8DBA-EAE87C7C8159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed3be17003868c3b654bd82a4a213cf21c0e5696","datavalue":{"value":{"entity-type":"item","numeric-id":5941066,"id":"Q5941066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$ECB13A96-7AFE-4F1B-8D68-E0BAE935CEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85dcfeb8c98c14378ec6624f50ff88cabb847b87","datavalue":{"value":{"entity-type":"item","numeric-id":4081221,"id":"Q4081221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$F509FBD8-5F4B-4BAE-BDBA-4FB440FC6A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45131a38ff53f12b9952d52e2962c28740fef2f7","datavalue":{"value":{"entity-type":"item","numeric-id":3161424,"id":"Q3161424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$987C8915-5348-429F-A490-0186DAF77AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58b1d49eb984495f5a085a4388f6d387ce7066e","datavalue":{"value":{"entity-type":"item","numeric-id":2784497,"id":"Q2784497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$7B20BDF0-71C2-4F11-B0AB-230803D14EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1871d25aa12fcef4925b73188c7552197018776b","datavalue":{"value":{"entity-type":"item","numeric-id":4460833,"id":"Q4460833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$D49EC7E5-0BA4-46D3-85FE-725062CB56F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c0110559795b0c6515ba0759d4ae4b4923fcafe","datavalue":{"value":{"entity-type":"item","numeric-id":3159420,"id":"Q3159420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$6E0D2BC2-C357-4710-BE9F-0ECB3501BF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7b689b48272b1af6088ec088039fe641af40a5","datavalue":{"value":{"entity-type":"item","numeric-id":864423,"id":"Q864423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$FC65A613-C316-4C11-970B-ADD93E87F73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838afae8de48692336e4c511c507f1399af07f89","datavalue":{"value":{"entity-type":"item","numeric-id":2784448,"id":"Q2784448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$E6958012-0529-4DC7-B21C-56E1DD32E8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5becf6b269d2da73d5affe1d576ca0555ebccf","datavalue":{"value":{"entity-type":"item","numeric-id":4337021,"id":"Q4337021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$35F91367-C4D4-4061-A00F-D4804A9ED8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd514c90c7f323fb9ff59fd2e84fd017b8e3054","datavalue":{"value":{"entity-type":"item","numeric-id":2970985,"id":"Q2970985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$4CBDD37B-4FEF-4917-BFDE-F7447E05368A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb06568540491b4e4dd3a7ff2ead4eda703f71e","datavalue":{"value":{"entity-type":"item","numeric-id":5656214,"id":"Q5656214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$4B47D25C-C09C-4018-9D10-1443AF2106CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d4da1e521dc7b833967c0583bda42cf0d40819","datavalue":{"value":{"entity-type":"item","numeric-id":3412462,"id":"Q3412462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$8E8E2921-6697-4391-A406-F74CE749B492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55925e4427f56296e6dd5b43dea359b56ab0d8d8","datavalue":{"value":{"entity-type":"item","numeric-id":3611832,"id":"Q3611832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$E8513E1F-3A76-4438-AD36-41B4F00DE317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e1ff76ef6247d6c2872dcce7f694e21ca99bef","datavalue":{"value":{"entity-type":"item","numeric-id":3370767,"id":"Q3370767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$41F19552-DACB-4C7F-8369-055454FEDE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ed9673f692e52f9423d361ecd9c0d0af028e4d","datavalue":{"value":{"entity-type":"item","numeric-id":5716953,"id":"Q5716953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402368$C6966212-FA0E-4015-8E44-662F0C8A2E33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c156f8c096bf1223fe0853e71004fb54d1c169d","datavalue":{"value":"10.1016/J.JCSS.2017.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402368$BA5065CC-B9AF-4CEE-B38C-E68D2CEE5507","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55239685ebe6a88c1c1c447520f79c17a67139eb","datavalue":{"value":{"entity-type":"item","numeric-id":2970983,"id":"Q2970983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605f3117837cadb351e8f3cdd26e5ac2dd375370","datavalue":{"value":{"amount":"+0.8438899517059326","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":"Q2402368$1D6894BC-2E36-4394-8013-06B4BD00C83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22be5e69cad21d6245ecebca160017087591cf5f","datavalue":{"value":{"entity-type":"item","numeric-id":3379458,"id":"Q3379458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c38418bf8bc55609f7da91c582ce33980f43996","datavalue":{"value":{"amount":"+0.8292118906974792","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":"Q2402368$4FD03331-9885-4CE8-822B-2A0FA3CEA53E","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":"dbac3306774f0690dacaba5752a54567b4c06993","datavalue":{"value":{"amount":"+0.8120279312133789","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":"Q2402368$7E2250CE-BD01-4F59-93A2-6CDBFE642003","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":"de73eff631d69ea9cae1a811056909c1fdd20a91","datavalue":{"value":{"amount":"+0.7763378024101257","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":"Q2402368$C835C750-EDBE-42B6-A9EF-AB9343DB5660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fdf888762e133174d303866f1a362c7315cdafc","datavalue":{"value":{"entity-type":"item","numeric-id":729891,"id":"Q729891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5ed3b72e36989c0a5fb76e59bc1ba895aa9052","datavalue":{"value":{"amount":"+0.7736238241195679","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":"Q2402368$0E6B2297-8986-4217-BCB0-02CC9AC191F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2402368","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2402368"}}}}}