{"entities":{"Q4682579":{"pageid":6712160,"ns":120,"title":"Item:Q4682579","lastrevid":89947220,"modified":"2026-06-04T18:41:34Z","type":"item","id":"Q4682579","labels":{"en":{"language":"en","value":"The applicability of \\$-calculus to solve some Turing machine undecidable problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6938786"}},"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":"Q4682579$D4FECD90-D2A5-4703-B6AD-FDE0C01350C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3258c0b1901fc3cd29caa53869e4886d4118e9c","datavalue":{"value":"1395.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682579$FE7A97E9-5D58-42D3-A35F-DC174ABC7705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b33cc0311440c81816682dcf1f8fa1b08ce199","datavalue":{"value":{"entity-type":"item","numeric-id":962634,"id":"Q962634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4682579$7ABC4461-06A5-4077-97F9-67D9F31A5534","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0999c2299c6e7b0f926a30f34cc3f95d56fb8fa","datavalue":{"value":{"time":"+2018-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4682579$3A01DC97-9F9B-4D0C-920A-5202CDF447A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682579$C9C60111-CDC9-40FF-AC8A-48B523159A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682579$C5E10DB7-5010-47D2-881D-2BD0F9E66B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682579$3BF670AE-BA84-492B-8CD6-88BEEC066D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682579$9FD95FC0-F6B8-4770-8615-7064BD1B487E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a021fefb11b56ff9faf2941ffa6cb0fcd51550f2","datavalue":{"value":"6938786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4682579$4F7E5E0C-69AD-487D-B4F5-2D4950754DE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baeaf27c29b44a613ac26700723ca8323310e938","datavalue":{"value":"problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4682579$04489C90-E84D-4797-93F1-3C904189B654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41db9a25d7ec51fe95032f4acc75058f2a77e7d3","datavalue":{"value":"hypercomputation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4682579$B0039329-CC2D-4475-A839-B01CCF87FD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4682579$9970E112-8DB7-4B7E-977E-6452EA2B475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d64107022675ab3ca0b67f8dd3364beb63c2140b","datavalue":{"value":"superTuring models of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4682579$28CF6A5B-BB16-4C28-9E1E-A9EB6C8D9CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b358ec9f1f5981e1e3010ba1de48e22fb347b195","datavalue":{"value":"resource bounded computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4682579$BCF3D2BD-2A62-4051-B0E0-D11FBB0087A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4682579$065AB061-910D-4A12-B18C-5D135E49104C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1c5e1a6ced27ac2a9a59438cf882cf227e4f1c","datavalue":{"value":"\\$-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4682579$5A88740A-C45F-49CF-B921-77A9E3F883AF","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":"Q4682579$F21A9243-2A62-4B18-B59C-2ACE0A84B132","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06afab302ddd1c0388e9295c10b821275b742acc","datavalue":{"value":{"entity-type":"item","numeric-id":2383594,"id":"Q2383594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9caddcc15c0e7d413bb5c0c1e38a0de7a7f91c","datavalue":{"value":{"amount":"+0.8967975974082947","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":"Q4682579$7FEED9AB-01A9-4E28-AE4F-C414020AAD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4399e708f93080a3e84aae10de0b641ee675f585","datavalue":{"value":{"entity-type":"item","numeric-id":4513849,"id":"Q4513849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614c2a29f8ed1b1fe50a2fcadcb1228b0ab76efe","datavalue":{"value":{"amount":"+0.7510942816734314","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":"Q4682579$B9FABE87-FF73-4535-B68A-3C2DD17A2E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"102ab75e70df5507cc6e9bd0f29b139ea5c170c9","datavalue":{"value":{"entity-type":"item","numeric-id":919823,"id":"Q919823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67e0dc5902f74e5a70078bd38a59e87dd5b305e1","datavalue":{"value":{"amount":"+0.7384258508682251","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":"Q4682579$1ED9D793-A35D-4B7C-8AAE-B1F83F42798A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bca8aa01c1f038b4fe232c11d54975967d63b44","datavalue":{"value":{"entity-type":"item","numeric-id":5472885,"id":"Q5472885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430bfd1ce2886234fcb1ecec42c3b51a2f657a09","datavalue":{"value":{"amount":"+0.7151145339012146","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":"Q4682579$694A6706-83FE-4D3A-BAB3-540B25889D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49afee4b4601ce91759b6c3cb0811e93a65a3065","datavalue":{"value":{"entity-type":"item","numeric-id":1434371,"id":"Q1434371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2504f8b24e584f4dcc220d7d6a7e36caff9f4021","datavalue":{"value":{"amount":"+0.689414381980896","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":"Q4682579$8412B356-C9D6-4EC5-9296-1FC17986A991","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The applicability of \\$-calculus to solve some Turing machine undecidable problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_applicability_of_%5C$-calculus_to_solve_some_Turing_machine_undecidable_problems"}}}}}