{"entities":{"Q729891":{"pageid":731740,"ns":120,"title":"Item:Q729891","lastrevid":63895008,"modified":"2026-04-11T16:16:32Z","type":"item","id":"Q729891","labels":{"en":{"language":"en","value":"Computing halting probabilities from other halting probabilities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668233"}},"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":"Q729891$6344A066-51D0-4DE5-BAA0-C279028A7E21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a47cd844c008b2cc03e6b4ad105aa03d85d6385b","datavalue":{"value":{"text":"Computing halting probabilities from other halting probabilities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q729891$875CFBA8-4827-4D4B-A52A-C82C654ECC7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35a97d6e4b22dea9adaa20cdff6542d4fa9f8958","datavalue":{"value":"1355.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729891$A7917417-8C60-42AC-B8AA-FC6F7B8410B2","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":"Q729891$9B552241-DADC-4BF6-8C10-FDC82282F121","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":"Q729891$42E23CC8-CA68-4555-9932-D9E44085864C","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":"Q729891$DC5D31C1-9332-414B-895B-9686BDBCFCDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22cfb65c3a705144ee5104515a956f003c155b5f","datavalue":{"value":{"time":"+2016-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q729891$7EEA9561-8450-4228-BBC2-A388FFEB6256","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"231cf73554825febf7ebcc8c3357c9e5aef159da","datavalue":{"value":"https://arxiv.org/abs/1602.06395","type":"string"},"datatype":"url"},"type":"statement","id":"Q729891$5315FA98-02E5-4CA9-A245-0FDFA54B7269","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729891$893F6552-6E8E-4481-9606-FA6D5DDA0ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729891$FA4514F4-A41D-433F-9455-88BC08FEA45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729891$35FFDF7A-60DD-449F-B44D-D860C92DFA79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46e897a6203afdec2e816fec1051488ae3cdc701","datavalue":{"value":"6668233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729891$44693833-20BB-4701-A460-1687B3987CD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35ff20c2409c5acf398e3e58f29e36ad784af70","datavalue":{"value":"algorithmic randomness","type":"string"},"datatype":"string"},"type":"statement","id":"Q729891$CD93293C-88F8-48FC-81F2-B7C5ABE383BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a291f7d74bc6e1a5f6c2b9a8aecefe4a1a572c","datavalue":{"value":"halting probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q729891$9140D18D-F2A2-407A-9890-2057E17E09C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be2b95c84c7011a379baed2791d9e6ca777f6d5","datavalue":{"value":"bounded computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q729891$363A09B4-A6FF-4CDB-8660-EB3284DA38FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095b50adbdb9da1165f943afa227eeed97868099","datavalue":{"value":"Chaitin's omega","type":"string"},"datatype":"string"},"type":"statement","id":"Q729891$7BF62660-886A-4504-AFC7-CADE337E1627","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":"Q729891$82CB598D-184E-4E82-A441-A1D1123E21A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c905aef60eb21bf3219936b1385c3974b491c10a","datavalue":{"value":"W2283473154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729891$C4674076-B1D1-4EE6-A8C2-46DAD5D2E121","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07e0fa9a060cb6c97fc8abde9ceff324130b3176","datavalue":{"value":{"entity-type":"item","numeric-id":3377732,"id":"Q3377732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729891$1AA12512-75C1-4937-980A-1C425A800388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75986679bf21674580cf992a70b8430f6103f752","datavalue":{"value":{"entity-type":"item","numeric-id":2941600,"id":"Q2941600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729891$CD52D4C7-70EB-4680-8541-FE1C8254CBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e882de00de684c0a3a275ffd798eae81a5bde1","datavalue":{"value":{"entity-type":"item","numeric-id":5189151,"id":"Q5189151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729891$A46C4BA1-2796-45B7-BEBB-2BB367372929","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":"Q729891$057D2D93-6716-4F48-93C7-56A317E1ADDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b467f9793d429294838b85c8faf6cdf9da59e27","datavalue":{"value":{"entity-type":"item","numeric-id":1105595,"id":"Q1105595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729891$D49DFEB1-55DF-4E4E-B688-AB8E21BE2501","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":"Q729891$D2030D3E-4267-4954-8B2C-F0E1FF651EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ac81113ad191bea492c91a479d793387535b6f","datavalue":{"value":{"entity-type":"item","numeric-id":4520520,"id":"Q4520520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729891$FAF75804-B69F-4F20-A11D-7EC6A9ACF5A5","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":"Q729891$F3CB2DE7-C175-4675-83E9-2AD5AAB72D78","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":"Q729891$329DF088-0056-4950-AEBF-1D12F458D289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bada37c92bed4c30d9680e5a208382ec66ced5e","datavalue":{"value":{"entity-type":"item","numeric-id":3379458,"id":"Q3379458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729891$8AF08863-FEE0-4D73-80F3-4C0D50CABCEB","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":"Q729891$8E2EB94E-D049-4B61-81B4-C79CD16B2928","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":"Q729891$CB7C1623-4C83-40C9-80F1-042A363791EC","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":"Q729891$813641FB-7A6F-4971-BE99-ABAAAE642C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378f5d65f759ce9dbf2559ab9eef7ca0e049bdde","datavalue":{"value":{"entity-type":"item","numeric-id":3576077,"id":"Q3576077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q729891$D777A218-1DBF-4908-8055-627CF1013B99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb26509dab283e90b199054de82bbb20624e7320","datavalue":{"value":"10.1016/J.TCS.2016.11.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q729891$23521B9A-118F-48C2-BCBB-04EA09B64086","rank":"normal"}],"P1643":[{"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":"8c493898b0a0d502f8a6196174fff52e6b31cfe8","datavalue":{"value":{"amount":"+0.8641613721847534","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":"Q729891$117F1842-F718-4598-B46C-B06003A5461C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59778c00046126e38d7964fa688fee9466964c7","datavalue":{"value":{"entity-type":"item","numeric-id":3576077,"id":"Q3576077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4030e1eb011cce2b483c34601da64614af6a67","datavalue":{"value":{"amount":"+0.8481543064117432","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":"Q729891$47139423-8F03-4A09-86BB-92157D8736F1","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":"4a67b65d8be7347db0d4ca210f05f3cc4535d850","datavalue":{"value":{"amount":"+0.8309159874916077","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":"Q729891$EA32AD4B-9399-4051-B41D-B469731EDE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28970a95deb1f05c8c19ee25e02ea593ce49c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5941066,"id":"Q5941066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b887988ce5270920a5188cc912a387e9976032","datavalue":{"value":{"amount":"+0.8050631284713745","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":"Q729891$DA831837-B762-40F6-AD01-2FE1D6E5387B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da8932fee169a93ba2ccbf73ab70d6a17796c81","datavalue":{"value":{"entity-type":"item","numeric-id":5472034,"id":"Q5472034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7baa759fa4f987c3c2c32e18cb64a8a610df74ef","datavalue":{"value":{"amount":"+0.8036345839500427","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":"Q729891$E60FB0AD-F407-4203-A5B9-DFFBCD2279C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing halting probabilities from other halting probabilities","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_halting_probabilities_from_other_halting_probabilities"}}}}}