{"entities":{"Q2800974":{"pageid":2811712,"ns":120,"title":"Item:Q2800974","lastrevid":58001664,"modified":"2026-04-03T10:02:51Z","type":"item","id":"Q2800974","labels":{"en":{"language":"en","value":"Generic algorithms for halting problem and optimal machines revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6570499"}},"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":"Q2800974$31B48FE5-D261-4AC3-AF7D-08AE2088E37E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f96bd66d83f7da991860c39a1e21328425028f4f","datavalue":{"value":{"text":"Generic algorithms for halting problem and optimal machines revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800974$3AE350EF-6666-479D-881D-C803F80C701B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39fb5e85d16b098118329a1c66e26d65a97c7f07","datavalue":{"value":"1448.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$542926A5-B48C-480E-9CB4-5114B6753E5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e47426d057ebde7697b16d8271c90572d24bede7","datavalue":{"value":"10.2168/LMCS-12(2:1)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$2291B6C8-1DEC-4C1D-B2AE-516951D3575E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd86380e4b6d55c67b77b4e3fb65fe4741cc4b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277526,"id":"Q277526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800974$9508012B-D1B8-47A4-86D0-4159DFA806AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c58a5ec7116efb5b69210890480295268cc0304","datavalue":{"value":{"entity-type":"item","numeric-id":2800973,"id":"Q2800973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800974$0AE306FC-B3F8-4F5B-A98D-913CF362B863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5476b83132587367d55252d960d0edb44ecf4f90","datavalue":{"value":{"entity-type":"item","numeric-id":235575,"id":"Q235575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800974$4490F1B0-671F-4E17-B386-03DA35F5B080","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800974$F39C8D1D-903D-4BA7-9568-9FCB3641A51C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ca45399d7f8e443a58842f216d6469aabc08f0c","datavalue":{"value":{"time":"+2016-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800974$46853F3A-531A-4C27-91EE-285AA2B1EC12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d880b4f16ec244537d3c0c25209d38e943cb343","datavalue":{"value":"https://arxiv.org/abs/1505.00731","type":"string"},"datatype":"url"},"type":"statement","id":"Q2800974$5187A51A-F1F5-4012-B00E-AB2675D730E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$C4AE6675-017E-41CA-B453-804C440DE41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$82813AE0-D00A-477C-BFA2-480C05FC93A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bfc1b1c272474384546bcd37c9164f9d239a9903","datavalue":{"value":"03D32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$3669B130-F2CE-4B5B-B50E-3744F65D1A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$732797FE-D3BB-4315-9627-3C2600F3B4DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03b687b989d3c0a7cf25fd66f25baf2fa1939fd6","datavalue":{"value":"6570499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$B2FE65D5-8D4F-433F-893B-F823DE4E88ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f50a5cde18ac24cb465dfedc6efb8b72354c0d0","datavalue":{"value":"generic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800974$DE720618-58AE-4DEE-8667-9622BA911B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800974$EE79D232-1633-416A-88D6-F99B9C36F7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800974$9DA10186-E007-4B42-BEFB-393EB2F94C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1447dca7a4696bb044b5810d9612010f9364a81c","datavalue":{"value":"optimal enumerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800974$8DC4D946-F5F3-4177-9794-D3CEDFBFA57C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e5b7cc5ab8fa01b09a86b5b008cd2cc441670175","datavalue":{"value":"Q57349380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$6E5193CA-725A-4673-88B4-115027383154","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":"Q2800974$2DAD579F-D532-4739-AAF5-8A08BC030216","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9fc5b8a7646597d5f2b123cd1fa0b3444fabefd","datavalue":{"value":"W3101918022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800974$F4A982EB-1067-4F0A-A5EF-B0C29D47D887","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05cc60b8721c71ad1832530218a6bbb2438191c8","datavalue":{"value":{"entity-type":"item","numeric-id":3448787,"id":"Q3448787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bec8beeef80caea3da7dad1c37aa9373ad0ec77","datavalue":{"value":{"amount":"+0.8427109718322754","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":"Q2800974$A08ACCE0-6DF2-4D1F-8808-3696ECE75DC6","rank":"normal"},{"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":"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":"Q2800974$6500B614-769C-4C9B-87BC-A0E79405ACFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec84e7de6c49834808256cea135672466751761a","datavalue":{"value":{"entity-type":"item","numeric-id":5492951,"id":"Q5492951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298ae83244e0f320face2d71b4c634a82e77803f","datavalue":{"value":{"amount":"+0.8031368851661682","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":"Q2800974$AF354E8C-B36C-4135-A079-B09EC18492A8","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":"c4fffa6f9eefdf365ae45cd619cd561bfd16d099","datavalue":{"value":{"amount":"+0.8025191426277161","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":"Q2800974$64763744-C7A8-4A92-ABC2-C86EC4981455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0929dbd645ef3de8b518e6b4d0506097dc6ba62f","datavalue":{"value":{"entity-type":"item","numeric-id":884482,"id":"Q884482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a73d069bbff82950587d781104ffba72cfbe2e8f","datavalue":{"value":{"amount":"+0.7869004011154175","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":"Q2800974$442B1169-194D-4942-B158-F7F5A91152D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2800974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2800974"}}}}}