{"entities":{"Q4683154":{"pageid":6712735,"ns":120,"title":"Item:Q4683154","lastrevid":90621338,"modified":"2026-06-04T20:51:52Z","type":"item","id":"Q4683154","labels":{"en":{"language":"en","value":"A probabilistic anytime algorithm for the halting problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6939448"}},"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":"Q4683154$8DADB7FC-325D-427D-80F6-EBA0E4058B58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb2d3d5463ee14d909154262aaebc4505060a588","datavalue":{"value":{"text":"A probabilistic anytime algorithm for the halting problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4683154$FF792358-269A-4945-AF69-C4A954C7E2AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4eb2148eb94d02905c5828a5c5e38609168d0375","datavalue":{"value":"1394.68260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683154$97317C49-B374-4639-8869-D8A3D1135043","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0619a8ba12cfc7b8128c85e783a90b784691e8a5","datavalue":{"value":"10.3233/COM-170073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683154$3AECB1AC-862C-454A-920D-7FCB0F1BAB76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e652e1c2c00675d054e3773e493ce298f7f340c","datavalue":{"value":{"entity-type":"item","numeric-id":1086928,"id":"Q1086928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683154$3E5487CC-52E5-405C-904B-E041BC26A474","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":"Q4683154$009B9011-9ED9-4956-9BFA-454B10CDFE53","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e8a3b9e7335900ac902ebad9aeb9e9b12596e42","datavalue":{"value":{"entity-type":"item","numeric-id":2799745,"id":"Q2799745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4683154$99C62B42-30B2-47FE-B463-7252D971923A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45b0b308b892e14a056523b8ca557a64add37a38","datavalue":{"value":{"time":"+2018-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4683154$93B7C96B-F117-4EEB-855D-9C37D6A081C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683154$A16273A2-FA19-42CE-979F-EF1C30590321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683154$D41D66C6-2B71-4EB3-AA90-52ABF9C5DB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1aa607685f2faa2d81a018b093e1e66d41eb5a9e","datavalue":{"value":"60E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683154$C1A7C62F-18B9-44EE-AB64-83E1F776DCE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683154$280CE9C9-6695-4068-9B6A-A025738A36D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d79a2ab160e74563160f11a0f51b4af7445afe4f","datavalue":{"value":"6939448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683154$E783304A-D1EB-4C66-9144-F353C1170411","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683154$9E967758-77CC-44CA-8A57-52688A50BDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52f9c37fca1da2db30c02333420590ed747218b9","datavalue":{"value":"anytime algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683154$A52AA9EB-A3BB-4A2A-A8D1-0115D95D1DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"587590af4812a72f8a52f9cdc3d11d9273671e45","datavalue":{"value":"running time distribution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4683154$3839A688-9F17-4B3C-AAAE-AE7FB6EFEFC3","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":"Q4683154$6C5A3773-5855-403C-B81B-D498E60C42C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b65512a208938c490de748c78ed33652e57d9436","datavalue":{"value":"https://doi.org/10.3233/com-170073","type":"string"},"datatype":"url"},"type":"statement","id":"Q4683154$BE755AA7-D7C7-407B-80E0-8A4B33F07B63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2f73273fcb1e84d23a782c2c72fbcffdb55e105","datavalue":{"value":"W2614456850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4683154$2A50A129-04B2-4631-860A-CA1E06E99DC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d199360d7d8e358b578fbea94b120fda593efe13","datavalue":{"value":{"entity-type":"item","numeric-id":5131647,"id":"Q5131647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb4ef616d22dc3392202f8cdb798e6f067a6e94","datavalue":{"value":{"amount":"+0.9366538524627686","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":"Q4683154$3F6FACB3-CABD-4EA1-87E3-CC597F3382AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cab6f85be67d6d0faa474e4efa2110bbf7d5e0a","datavalue":{"value":{"entity-type":"item","numeric-id":2947801,"id":"Q2947801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1ea3e3467725dd9f73ac45e47bc36725c083fb5","datavalue":{"value":{"amount":"+0.8634527325630188","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":"Q4683154$C072AD7D-D4D8-437A-B7FA-39CB6AF91204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d9423c0667e96ab69cb7806db5cf76295e624d","datavalue":{"value":{"entity-type":"item","numeric-id":2482913,"id":"Q2482913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f8c2118a7c07ed53eaaae77379e288234a5584","datavalue":{"value":{"amount":"+0.847038209438324","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":"Q4683154$8C2C62F0-1AFD-4708-A4E0-3EACA7AE10D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f53e2948f9edd63967b4b5d80119fff7f9b494f4","datavalue":{"value":{"entity-type":"item","numeric-id":2800974,"id":"Q2800974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c97ba80950a3a5349e532278e9afb7af8bf5ce","datavalue":{"value":{"amount":"+0.8152293562889099","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":"Q4683154$E19FFE63-CF5E-4944-BCFF-C7C4437AC8A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfcf14298af65192b49d474a8c0f4dc74af3019","datavalue":{"value":{"entity-type":"item","numeric-id":2372684,"id":"Q2372684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b91af6d35c06e3421c8e70f29a33e6724f9338a","datavalue":{"value":{"amount":"+0.7918612360954285","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":"Q4683154$C50E9254-4768-42FA-BD59-99D8BD75826B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A probabilistic anytime algorithm for the halting problem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_probabilistic_anytime_algorithm_for_the_halting_problem"}}}}}