{"entities":{"Q4986664":{"pageid":7016241,"ns":120,"title":"Item:Q4986664","lastrevid":58390776,"modified":"2026-04-05T00:31:20Z","type":"item","id":"Q4986664","labels":{"en":{"language":"en","value":"A formalization and proof of the extended Church-Turing thesis (extended abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7340321"}},"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":"Q4986664$C97CA767-E611-45D4-84ED-F4D1A3047EB3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"739338d8c9cd237a1b8edb8dd6f4e788cc9d8e63","datavalue":{"value":"1459.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986664$7BC36BA5-3877-4140-B4AF-C60A986BBCEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986664$5C12343C-50B5-45D0-95A1-8AEDA22FB802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28767811fc2cb4224076539e2870ece3d2f9686f","datavalue":{"value":{"entity-type":"item","numeric-id":2898064,"id":"Q2898064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4986664$7E31B085-46B8-4C85-905A-080992D897E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"661f4d8ef06d99d35e1e7e7ecc507a8b7968b768","datavalue":{"value":{"time":"+2021-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4986664$E52B032A-1DC4-42D6-BC25-0B5FDD213DE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfa69fac211739d39b6364cb1259fa1931dfa209","datavalue":{"value":"https://arxiv.org/abs/1207.7148","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986664$B6768423-6797-4C7C-B348-89FA33E2BB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"95f1b496e7cb8f7e7f7d8e6a6549c67cc7fb6799","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2011.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4986664$A454E83F-B48E-460F-A8C2-A833718DA023","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986664$DE65C1C3-0D4E-485C-BB36-9FEDA760510A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986664$4CA128DC-2E2F-4313-A1B6-9806071CBA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986664$DCB7ABCD-B083-4DCA-8F53-A678D6526A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1bcdc2a107fd2414d151e8610f3471a8784e75bf","datavalue":{"value":"68W01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986664$A6230DF3-0AFC-4468-8C53-726AA5FDBF6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28835f71b391219874dece86cd559f81ea0eec84","datavalue":{"value":"7340321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4986664$C4EA9C35-841E-4F40-9B63-388312586C0A","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":"Q4986664$B3821ACA-ACF6-4ECD-9FA3-C319A0803142","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4745afb07e21c0e1e58292c222e65c5f5145862","datavalue":{"value":{"entity-type":"item","numeric-id":3616433,"id":"Q3616433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f68c3d3dba6b97ac650637c752e04eecec5b346","datavalue":{"value":{"amount":"+0.8486316800117493","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":"Q4986664$2B735A78-CD72-4775-901E-39E56D3FA3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad54b639f2d7320f1035b02d05309968e0296e5f","datavalue":{"value":{"entity-type":"item","numeric-id":5207881,"id":"Q5207881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37db526b8b650fce7ec7f8a61c3d7ef1213a3350","datavalue":{"value":{"amount":"+0.7890547513961792","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":"Q4986664$0890728A-636A-468B-8A29-AFCB08155EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c96ce8594d52a5bb91fb848fee72a9c2e662b7","datavalue":{"value":{"entity-type":"item","numeric-id":5452180,"id":"Q5452180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5561a4e05410991032ebac4565de484408542cf","datavalue":{"value":{"amount":"+0.7864774465560913","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":"Q4986664$76780822-739D-4F55-AB19-4CD2ABA83E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77b8a41c20f0b3feb211f3cbe3f6ef0d3db25ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4221237,"id":"Q4221237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6e5f8aa7357894124695c7ce06aacd753d3feb","datavalue":{"value":{"amount":"+0.7712332606315613","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":"Q4986664$DC62684F-B707-4F81-8FEE-9E74E5195540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f92577057e240cb63e05ea8f0ec753c4adfc3115","datavalue":{"value":{"entity-type":"item","numeric-id":5493749,"id":"Q5493749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9a99ae25161437b9b12fb13530fed25eb3717c","datavalue":{"value":{"amount":"+0.7685418725013733","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":"Q4986664$7BDA842E-4339-4598-90D8-C05113CF0B85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4986664","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4986664"}}}}}