{"entities":{"Q4993347":{"pageid":7022924,"ns":120,"title":"Item:Q4993347","lastrevid":91075559,"modified":"2026-06-04T22:11:37Z","type":"item","id":"Q4993347","labels":{"en":{"language":"en","value":"On repetitive right application of \\(B\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359414"}},"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":"Q4993347$4818DB57-7EDD-4C0F-8F29-717007034B4C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b882e37b6fb84442a5e90a5d8441c75e87c7662","datavalue":{"value":"1462.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993347$63ECF52C-AE3D-41DC-BA73-EA135D4B3FCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"759428a8d055d1a830482f2cd2725fc8995964ac","datavalue":{"value":{"entity-type":"item","numeric-id":4993346,"id":"Q4993346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993347$E73B1F13-D36C-49A4-A243-79DBA8AC8486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a91941562e93e8b8208c7e1725fbdb115f3aec7a","datavalue":{"value":{"entity-type":"item","numeric-id":526438,"id":"Q526438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993347$8FB0ADA2-6DF0-46F2-9FD2-D51FE04BCC7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993347$E44F3D5C-EE11-4298-A870-25F36630E453","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e52fd1a8c0d223640a8cae4a6b9a674a5080d26","datavalue":{"value":"https://arxiv.org/abs/1703.10938","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993347$57F9C6BD-86F1-45AC-85B0-D013E99A8925","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993347$C4AB2766-8747-4D50-A673-66A4F8BA6210","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60b7af3c8bb34f64eb5f87038a75cc8a85f6a430","datavalue":{"value":"7359414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993347$3CB41A6F-0B57-4DAD-B7CB-C3BEC5B20DF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993347$24FA9C97-D938-4891-8859-3DE8CD5A191E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f650ac81c519445d1f203e311b9203e005c1340f","datavalue":{"value":"\\(B\\) combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993347$FE6C9601-1EBF-4188-B233-5316425B5726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993347$6BB3D51C-5A3A-485B-A67B-B4D7A8E1B47F","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":"Q4993347$B765A08C-AE04-4453-8EDA-72FAA7E3B7D1","rank":"normal"}],"P223":[{"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":"Q4993347$9B2B9BE5-4929-4EB2-8F76-71238E532CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d93b1bca22a668f970aca7b50abbc0d16fb7714","datavalue":{"value":{"entity-type":"item","numeric-id":3881775,"id":"Q3881775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993347$724B16B9-0CCA-4C64-9399-1D51DA105A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad9c94e7533cf9a3a4dbb3d541a81e06befc84a","datavalue":{"value":{"entity-type":"item","numeric-id":1208417,"id":"Q1208417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993347$5D9941A9-F994-4DA7-AD9D-8227C90FD3AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a634cbc29683300650d9989a01808c0a4931ead5","datavalue":{"value":{"entity-type":"item","numeric-id":4398780,"id":"Q4398780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993347$7F4478BF-8E76-4A7D-BD69-73754B4D0F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d4a1d0a9c1621e7006b0094a6c2779493da179","datavalue":{"value":{"entity-type":"item","numeric-id":4461771,"id":"Q4461771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993347$62A75219-84AD-4521-BB0D-AFB826C4438E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72375014650c7cad712b553ec08002913166a29","datavalue":{"value":{"entity-type":"item","numeric-id":1114668,"id":"Q1114668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993347$D8106BF3-6FCB-4074-82E4-0034F4456B7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bda9f035fe84f88630e4d1c37393b90ff2dc730d","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993347$3D6DCC85-E795-4D67-9549-1252AD1D769F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19282f64a73882f55808acf867808a33c8e8f8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1854346,"id":"Q1854346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1522275a789ab142953803ace9793b3d9f103566","datavalue":{"value":{"amount":"+0.7165448069572449","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":"Q4993347$B7B540CA-E622-4E86-88FA-02CAF747E8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555246963945b89ffae59a54800ccb658e76ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":1346635,"id":"Q1346635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f0c4d35365ba93910bdea1719a4b554293cecd","datavalue":{"value":{"amount":"+0.71038818359375","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":"Q4993347$1F730D90-6E92-4CFF-8E95-A05C368BCE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3ef89d043804e49905ac84a086b2d1bc66696a","datavalue":{"value":{"entity-type":"item","numeric-id":1203131,"id":"Q1203131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f0c4d35365ba93910bdea1719a4b554293cecd","datavalue":{"value":{"amount":"+0.71038818359375","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":"Q4993347$4B676F2E-8E9B-4788-941E-0905FE637416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"725758fd1a49cb53ea68976dfc9d451c3fea2e86","datavalue":{"value":{"entity-type":"item","numeric-id":3784043,"id":"Q3784043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f27f73a13d7de7d4b652d4ca13f39fc687e2e7b","datavalue":{"value":{"amount":"+0.7014744877815247","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":"Q4993347$2D24DDC8-B3F4-4623-807C-09A372736FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6f33af9ee8f3ec8494f37e39ce34a68ff13cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1104313,"id":"Q1104313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d66c1f669ea004f76f050ff6e268c5f57fb653a","datavalue":{"value":{"amount":"+0.6876749992370605","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":"Q4993347$4364832E-9F00-4D55-8E43-CF37EBE35160","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On repetitive right application of \\(B\\)-terms","badges":[]}}}}}