{"entities":{"Q2937541":{"pageid":2948261,"ns":120,"title":"Item:Q2937541","lastrevid":58061319,"modified":"2026-04-03T15:54:43Z","type":"item","id":"Q2937541","labels":{"en":{"language":"en","value":"Asymptotic proportion of hard instances of the halting problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385304"}},"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":"Q2937541$689718B4-B286-4C97-ADEA-51F378460DEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe2a1c8222568f5216b3d580ef426031b878c17f","datavalue":{"value":{"text":"Asymptotic Proportion of Hard Instances of the Halting Problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937541$C02731E1-05D3-4A8B-BD15-5FAF50DE8760","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf4f7d2fe62382d572ffd18bfd3b57e9580120a5","datavalue":{"value":"1313.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937541$95527926-81AF-4BE7-9BD6-9FDAA29E8D42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937541$2CBC0A46-E695-4453-BDD6-328878175095","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937541$D6AB0055-A6B4-467C-85B3-4F90F3DC9846","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd7ba69d7066824c61c2338d47523cfe00b021ae","datavalue":{"value":{"time":"+2015-01-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":"Q2937541$70D9EA67-ECAB-4FAE-B37F-FADA7551DEE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5da39e05510994588f2e6b2a3bde8c3f5487e36b","datavalue":{"value":"https://arxiv.org/abs/1307.7066","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937541$D02CE23C-3F3D-4803-9113-DB01A1E68C59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937541$110D91D5-DF5A-4C56-9ADF-2D6C6CEC5706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937541$6DB824DC-3889-4F5E-ABDD-0858E513EAE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffa7bd1e90f1d5ea56584233851775f60909e563","datavalue":{"value":"6385304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937541$F723877F-1CCD-44D8-9669-F79E9BD5F412","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937541$23037D63-A785-4F57-8EB0-043D0E67EAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffe96034a03eebabb0fe7ea108f6c6ee457694c","datavalue":{"value":"three-way tester","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937541$9DA87F73-735A-4C93-9E0F-F861D1103BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50796990fc23eec0960512090fe949800d5df214","datavalue":{"value":"generic-case tester","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937541$3540206F-AD9F-4E01-924C-806E38DCD973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33be485961dbfd3a7f9deacaa4439bf1442c8a7","datavalue":{"value":"approximating tester","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937541$6713D2C2-ADF6-469F-8FA5-C268ED1771AD","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":"Q2937541$87CAA2D7-FD06-4EFA-AB5F-4FFF24FBF41B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"676b9762b9a7ccc75daf619e484267aa9e5e637f","datavalue":{"value":"W2963586885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937541$D9F98F0F-1FFF-4A0B-9FC3-919A4DA73515","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d8062a728923867f44069c413a0aac9626d3cb5","datavalue":{"value":"10.14232/ACTACYB.21.3.2014.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937541$5F8A8147-EF27-414C-B8E4-EA08B54E061C","rank":"normal"}],"P1643":[{"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":"b79cae6eeafe014768d522bd69a40a42ba1957e2","datavalue":{"value":{"amount":"+0.7893485426902771","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":"Q2937541$C8AB18D6-B61E-4075-AD11-CF561CF7AE0A","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":"71fcbba0009cc62aaab1d7644a85af1b760de173","datavalue":{"value":{"amount":"+0.7840057611465454","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":"Q2937541$53B899B3-FC5C-4F15-B880-B01FD3A7FA1A","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":"364efce22a9200044f97b3f5086db4db4ad655c3","datavalue":{"value":{"amount":"+0.7719900012016296","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":"Q2937541$5084B78D-5D0F-4FC2-A057-C79F2F13B5AB","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":"b451b635c2580aff8206a472708ceecc60ae3899","datavalue":{"value":{"amount":"+0.7621899247169495","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":"Q2937541$A40DD993-B2FA-47E3-8A7D-71536F94711A","rank":"normal"},{"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":"928535043199ed68587ca60ec25b0c8029270596","datavalue":{"value":{"amount":"+0.75960773229599","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":"Q2937541$31D5E46B-F163-4783-8DB5-525AF519AA0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937541","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937541"}}}}}