{"entities":{"Q1075052":{"pageid":1085804,"ns":120,"title":"Item:Q1075052","lastrevid":69816549,"modified":"2026-04-13T09:34:54Z","type":"item","id":"Q1075052","labels":{"en":{"language":"en","value":"Complexity of the combinator reduction machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3949713"}},"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":"Q1075052$C0F036C9-F896-41FC-A82A-E83EFC22076F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ebc5d753b1b700671e1c582c6322ac86b5aaedc","datavalue":{"value":{"text":"Complexity of the combinator reduction machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1075052$C24B7BE4-E80D-4AE3-BADA-75DF6A1C1B64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"941ccf0e543c00e1dc71fbc4eb093f05441689f4","datavalue":{"value":"0591.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075052$277FCC99-5565-495A-ABA0-8B434547B27B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92b9a4c3d5dce8b06ac20b3b66ee7de7c423a959","datavalue":{"value":"10.1016/0304-3975(85)90076-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075052$D532FCFD-2630-4AF4-9D2B-5AA2E9FA7963","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9126baf050ca2a9061dbf118bb26f3c0708e62a7","datavalue":{"value":{"entity-type":"item","numeric-id":1075051,"id":"Q1075051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$99258E6A-DED4-4204-85CA-415A66C89B9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$696092F6-7A85-4716-ABC8-CFDFC43D8675","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1075052$42405341-F21A-46FE-94B1-56CF8BA5B378","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075052$2FB0225C-FEE7-4657-911D-45C541DFEE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075052$C46F5596-4674-4D9D-BA04-BF3727C9EE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075052$3D7C9A55-6D85-48B9-8F7B-E92A9CB71C2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25276d634735b7c1561ce25f252d765937f3339e","datavalue":{"value":"3949713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075052$1E1D16A3-11E1-4692-8BA5-D6DC4C06BFF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5950369e3296ba8752027da07ec6b3ab18326cee","datavalue":{"value":"recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075052$06B3EFD7-67DD-4EE4-A769-B98E450C3AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9837379d573d8517ad8a601421fd447f99d5200","datavalue":{"value":"number of the reduction steps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075052$AA15D323-8E81-425B-AB5B-A5FE924A058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51f5daad972e3ae93b964cdcf23fb05d9be8605","datavalue":{"value":"program scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075052$B5CFDEA7-1AD5-4120-A2A6-9C18D1751096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03171a61bcc72e1a8d1b9d680cac3d750319d101","datavalue":{"value":"combinator code","type":"string"},"datatype":"string"},"type":"statement","id":"Q1075052$DB7DA549-C5B9-4DCA-B4D7-E7981D170CA5","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":"Q1075052$C7EBCADB-1FF2-4781-BDAC-622E1C790B67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fad94706b32902b6567ea13456fd9b7b90e9cda3","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90076-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1075052$9ED8B5DD-E5B6-4B43-B697-E2ED30FD72AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"db4e35cf94e2f2d41b58698e9b1cf266859a22d2","datavalue":{"value":"W2072736133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1075052$45C6A76C-AFAF-4B67-9098-15DCB54E2B35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0548a942458b8d121da5f1a29933e5b2b851d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":1158139,"id":"Q1158139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$E174C6B6-55E9-4290-90EC-CFC37D2B58A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$634C0B68-A46F-4693-8A6B-70B59F539610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$31C5E04A-B3B5-42F6-8DCC-EEC28D4F9CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e6f45bf079337a737cf685a4a28bc5114e50b2","datavalue":{"value":{"entity-type":"item","numeric-id":1837177,"id":"Q1837177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$4D32B450-10D2-4C18-8077-674CCDAAFFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556550aff1eed09303bcd454bf33259f4e813593","datavalue":{"value":{"entity-type":"item","numeric-id":3683527,"id":"Q3683527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$3FDFFE7D-EFF0-4A60-880F-DCBFA7B8A22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$67CA7267-ED64-4C82-9719-9BF37006462E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa95893ab8fe3b8acde79b72465e636d410e4f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1077160,"id":"Q1077160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$0D05B9AA-CCCB-49F8-BDB2-12C8AB612BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$5E542AD1-FDE1-4337-A7F2-A3A2AEEF67F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10546887ee0615eb07bca2e1dc0f41e60f6caeff","datavalue":{"value":{"entity-type":"item","numeric-id":4194932,"id":"Q4194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1075052$077BBECF-04F7-43E3-ADB2-AE031BD53620","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"188c4964a586803dde8e6f739bd20a6ac3045f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3777430,"id":"Q3777430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb30aa7e8fc662d6d3a0118c3c14f6aac2fdc21","datavalue":{"value":{"amount":"+0.8122257590293884","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":"Q1075052$7D1A5144-B8FF-4646-8742-CB1D3B16629E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bb42e049f2b4d761774555b43b818eef26cb82a","datavalue":{"value":{"entity-type":"item","numeric-id":3686037,"id":"Q3686037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9af06a9d02836684aac0cd34f1701eae745155","datavalue":{"value":{"amount":"+0.7502274513244629","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":"Q1075052$E3CEFAB1-BB42-4AB9-9FE9-B3A69AF9581E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85b655bd45e36b7ba2a4de1af96579cb163b5e9","datavalue":{"value":{"entity-type":"item","numeric-id":3782743,"id":"Q3782743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d540974e13484607a229ac1738bf5a31b2050f4","datavalue":{"value":{"amount":"+0.7452349662780762","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":"Q1075052$3E2961A5-A601-45CF-A14F-9F1C478227EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ed1bd30c5f4a428aeeb17d784ba5a2718718bf","datavalue":{"value":{"entity-type":"item","numeric-id":1389686,"id":"Q1389686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6a191ed97a14011efa4376a42a6b9cdbe0ac82","datavalue":{"value":{"amount":"+0.7450206279754639","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":"Q1075052$BAA2523D-DBAF-4F52-AD85-066CC3D3A124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cb4078fd2ca4380d1999e6c7395ad56b13cf09","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b6a191ed97a14011efa4376a42a6b9cdbe0ac82","datavalue":{"value":{"amount":"+0.7450206279754639","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":"Q1075052$C44777D8-41DC-49C4-B8C7-45F798E7A353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Complexity of the combinator reduction machine","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Complexity_of_the_combinator_reduction_machine"}}}}}