{"entities":{"Q3586009":{"pageid":5615913,"ns":120,"title":"Item:Q3586009","lastrevid":90339134,"modified":"2026-06-04T19:55:18Z","type":"item","id":"Q3586009","labels":{"en":{"language":"en","value":"ASMs and operational algorithmic completeness of lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779212"}},"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":"Q3586009$FC6944B6-5167-4D6C-BE02-7F07B2DB0ACD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d8c91beddc44554abb48d176e0e81930ae83edf","datavalue":{"value":{"text":"ASMs and Operational Algorithmic Completeness of Lambda Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586009$7718240E-7967-4F01-BB1B-041BE9C79A0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3c6a69143d9ecae5603b0b4e8259c003ad65622","datavalue":{"value":"1287.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586009$3032A050-566D-4EB3-854C-A5BDB1246F92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b51084acc319cc0a59b4d4d4a1eae43179505e7","datavalue":{"value":"10.1007/978-3-642-15025-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586009$F3C9C52A-7F1C-4E86-B0D8-DE2D00DC7412","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f271b5c5ead0d5762c99c9faaec33d9274cc34d","datavalue":{"value":{"entity-type":"item","numeric-id":235588,"id":"Q235588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$E8EADC89-73A8-4BC9-8929-DDD74B2C7518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc90badce83e730fef22a8e386f4dd502e0e3901","datavalue":{"value":{"entity-type":"item","numeric-id":1817059,"id":"Q1817059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$2D4575E4-00FF-46D3-8F41-7832AA1332BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd169c7d233759e4f71b10b3d5a636c6803d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3585994,"id":"Q3585994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$425E9B2B-6F1F-47C6-9FDD-A30C1D311CA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586009$21D0AD91-7B45-4320-BB69-0C9E87DF939E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e254a9ed0b73c9b8eae67a93280c0355830b2931","datavalue":{"value":"https://arxiv.org/abs/1010.2597","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586009$300A4434-3683-482C-92FF-B678E942B37B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586009$0D245E09-07F5-43A6-A8A0-AB51282BFB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586009$9AB63C52-87FB-43F6-873A-F34E17715A76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53ba924f4c0ed15abaabea6d5ba34c02a9ef2851","datavalue":{"value":"5779212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586009$52DF0658-485A-4E13-8B91-0B619112568E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5930cd5180b6ec4d33d80c47fd19f18aa619e977","datavalue":{"value":"ASM","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586009$E9055E12-3548-4720-8336-F2CB26CEF23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586009$5BC11B89-9CE5-45C7-B4DA-63555A390ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f03331eda68c128964fa4d234f97104a9f7dbf","datavalue":{"value":"theory of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586009$5A3653AF-D7BF-4D7A-A4CF-0A13108451DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3586009$47CCECBA-1EA5-4116-8D59-974B5A17F5F1","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":"Q3586009$EC53FD41-2AAF-4FFE-909D-39F51CF630EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bddac07d26f8f6ea2a5d95777aa16f20b04f2a5c","datavalue":{"value":"W1734119196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586009$06F6531E-A02E-447E-8755-75FA269C2B2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$424F9047-2ECF-4F69-9BF2-4F8865D8F70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$6CAE8CFC-ACD8-478D-9EC7-99CC2F2B38A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"380ea457d6474b31f8ad58577d88982a6e4a3e51","datavalue":{"value":{"entity-type":"item","numeric-id":5898150,"id":"Q5898150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$76517609-ABFB-44E9-A28B-73991C36B5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ae70cbf022ce2427bdf0bd07b42c34fe627dab","datavalue":{"value":{"entity-type":"item","numeric-id":1401342,"id":"Q1401342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$CB6A2FE7-7157-42EF-950B-6A7B4F4E27DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$5B0FA3DC-1501-43C0-95E4-D3356A7ACB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4aa6f81cd55d470709edc2d918eb2452d78edf","datavalue":{"value":{"entity-type":"item","numeric-id":3616433,"id":"Q3616433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$1EC773AB-DE1C-4FBA-9637-108D770BBB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$56AA158A-8087-436F-88E3-2CD78F85F4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36377137d28a39575644432a1d5dcce2bd2348a4","datavalue":{"value":{"entity-type":"item","numeric-id":4267174,"id":"Q4267174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$C61D0A1D-8C08-4CE0-AB6B-5980A0F9837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092c87bd385bdffab3efa74e7021155389be7050","datavalue":{"value":{"entity-type":"item","numeric-id":5738899,"id":"Q5738899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$8FBED2A1-FFDD-4459-AAEB-FA938567FDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14fb011395b085a0ad4513663cab5f1c04c8f557","datavalue":{"value":{"entity-type":"item","numeric-id":5638291,"id":"Q5638291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$24038D41-D8E2-43FE-823D-A0E3FB8A5491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfa03243a2054bd4f235a087a94a4a53de67e38","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$2332B2F0-9EAC-4B04-AF8B-3FA0683CAE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0252db8f91fc184001751f0eeb3107ef96bd911b","datavalue":{"value":{"entity-type":"item","numeric-id":4349924,"id":"Q4349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$25F9E663-2F16-4927-8CC0-3ECB23C3D033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$1C139C4F-EEED-4B7B-AD30-6B9BAB0D8808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"667244bbb64cbeae656c8710018670875f6b25da","datavalue":{"value":{"entity-type":"item","numeric-id":4764616,"id":"Q4764616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$5601279D-A088-4A5E-98E4-F56F82B0BA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$33093DB5-7CD6-4E38-8B92-59FBA2FF946C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c695a3b816b96f41e6a3232481aeb2e538f57d","datavalue":{"value":{"entity-type":"item","numeric-id":2767026,"id":"Q2767026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586009$FFDA91C7-B94F-48AD-88BC-7B95DF97214E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea5a57389659f339dd977947481282811c9daac","datavalue":{"value":{"entity-type":"item","numeric-id":2956680,"id":"Q2956680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afa6ca01c34a21b69dc1b7467ba3017ab5e93e9","datavalue":{"value":{"amount":"+0.74982750415802","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":"Q3586009$4A0D6E80-4EDF-44DC-9E95-23071B266C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed97d132114bd85a8bff3ed6acaef2c8de7f2ea3","datavalue":{"value":{"entity-type":"item","numeric-id":4986660,"id":"Q4986660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6faa05a3ebeebb491f8225e288ed18fe8b8f296","datavalue":{"value":{"amount":"+0.7329893708229065","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":"Q3586009$E0CAE409-D844-4CF7-AEEE-CC8DD3D06C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11fe8b736fd1f729cc5c48193782bceacd1bc2d","datavalue":{"value":{"entity-type":"item","numeric-id":930866,"id":"Q930866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f27c51eeb120d0b057a0558cfeddd3557422d5","datavalue":{"value":{"amount":"+0.732015073299408","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":"Q3586009$9CF37476-62DD-48A3-B8C2-F5D309FD7C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683fc71f98b5813b84ed29294094da4d6b8cfd3a","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc39f720957daf876b887bdda547399cb536ef0d","datavalue":{"value":{"amount":"+0.7284748554229736","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":"Q3586009$E673B4EB-1A96-4647-986A-A29B205CC036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edeef39e2e6b0a098b482604d0dcdd7e2ff4523","datavalue":{"value":{"entity-type":"item","numeric-id":3599178,"id":"Q3599178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc39f720957daf876b887bdda547399cb536ef0d","datavalue":{"value":{"amount":"+0.7284748554229736","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":"Q3586009$D1F6B594-1F1F-40BF-B088-6806C0DB0D77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ASMs and operational algorithmic completeness of lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ASMs_and_operational_algorithmic_completeness_of_lambda_calculus"}}}}}