{"entities":{"Q5131647":{"pageid":7161219,"ns":120,"title":"Item:Q5131647","lastrevid":53865995,"modified":"2026-01-25T20:37:31Z","type":"item","id":"Q5131647","labels":{"en":{"language":"en","value":"A statistical anytime algorithm for the halting problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7271561"}},"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":"Q5131647$3918D2F4-4A0D-4CEA-BD85-C36D46330900","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28f6ea74e24e06381a2de385c2f9355fbed87973","datavalue":{"value":{"text":"A\u00a0statistical anytime algorithm for the Halting Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5131647$45EEA901-2B7C-48E6-A215-AC72B9AA4007","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4916f7a5a267d93f3a09df65a84865407697c219","datavalue":{"value":"1485.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$F5B32812-B5F1-4A08-9253-F5A5A92F8674","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2702bd45ea32d345d433d30aa7fec92010162c0","datavalue":{"value":"10.3233/COM-190250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$E6526CE9-30F4-49DD-A8B4-63442C587BC8","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":"Q5131647$1BE812C0-F977-4A1F-99DD-8E3D8F5E55DD","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":"Q5131647$E08D9E60-5023-4EA7-9147-E3D822B9A942","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":"Q5131647$08101D0F-066D-423D-88A3-A6EA5F909168","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74b6275d7d5b9070917d49297441fe3ab07d4c10","datavalue":{"value":{"time":"+2020-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5131647$0CEDDBD1-0642-400E-A610-19A50B341EC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$3BA3A613-F280-431D-8AD1-2DDCB05996D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fedc54d041dbaf3922f156ba09e5514c44ab5169","datavalue":{"value":"60E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$E133A161-2F44-4147-9988-47601AA0DC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2eefbc1f50e1f7a468c6eb4dcce17dd2525691c5","datavalue":{"value":"62G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$A9CB56D9-616C-4F0A-9543-73E4FDDC8E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$921BCC7C-1DD0-448A-8AA4-CCF28384EAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$A54ED716-730B-4D4A-809A-1073E6767B19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6692d161d34c44783eed4e2e1cbdcce270c71c86","datavalue":{"value":"7271561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$B8A0B1BB-3FD0-4597-8E3D-879DEB6E0678","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5131647$42715DAF-3317-41D4-8F3F-DB8BCAAF497A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52f9c37fca1da2db30c02333420590ed747218b9","datavalue":{"value":"anytime algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5131647$B1337C1B-0B0D-4FAE-8CED-7B17D5BDA686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f3d4c4f0402aa58af4ddf1e2cea9445dfba8f84","datavalue":{"value":"running time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5131647$9CAA3F5C-8CFF-45E5-AE17-945544514788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f270b8fd909db317ff4cd9e23d79b92775eea97","datavalue":{"value":"order statistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5131647$3EBFD907-79C4-460D-A4EE-9E939D9916DF","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":"Q5131647$6FCCD823-4790-4A23-8D37-82CB693E4A23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a759e0a73ad994bc020ce657b5efe7bd79c34b9e","datavalue":{"value":"https://doi.org/10.3233/com-190250","type":"string"},"datatype":"url"},"type":"statement","id":"Q5131647$90E6D7A6-10AD-4A9C-95C0-543442982CA6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a868f3e16dbbe53b36a395bd84a4e24e6d03c1f2","datavalue":{"value":"W2910610446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5131647$CE3B81EB-A6F1-48A0-8024-B5D6446A7538","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"339ea3a00451e084de946f4d4575dd6b76f0bf80","datavalue":{"value":{"entity-type":"item","numeric-id":4683154,"id":"Q4683154"},"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":"Q5131647$D94B699E-69DB-425D-A502-E463A5C73D70","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":"95c174df64042fdb23ae3fd8e168b28b399db108","datavalue":{"value":{"amount":"+0.866930365562439","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":"Q5131647$5154EDE4-A25F-44C9-BF8E-5956ADA803C2","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":"e5d2b20b58edc38427b02f5ebe72e9b48170745d","datavalue":{"value":{"amount":"+0.8181277513504028","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":"Q5131647$E4D61BDD-0B33-4B60-B11F-29BE7C727BA6","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":"0e7c80d093389447857ccdd0206c4f5880f2f284","datavalue":{"value":{"amount":"+0.7823070883750916","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":"Q5131647$8193B46C-FC75-4D25-8735-3050CD7B89EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086a031673703433ac93482774e1b6926a0ce48f","datavalue":{"value":{"entity-type":"item","numeric-id":929131,"id":"Q929131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2592525b3881f00b8be1d400a4f4f01965ff8c3a","datavalue":{"value":{"amount":"+0.7725264430046082","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":"Q5131647$BF18AB05-D22C-4223-8A77-4F23FC556F4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5131647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5131647"}}}}}