{"entities":{"Q1120559":{"pageid":1131308,"ns":120,"title":"Item:Q1120559","lastrevid":66170703,"modified":"2026-04-12T08:01:25Z","type":"item","id":"Q1120559","labels":{"en":{"language":"en","value":"On pseudo-c\\(\\beta\\) normal form in combinatory logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4101141"}},"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":"Q1120559$6AD44257-FA90-4460-B7D9-4A014BCD336F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b8580f624ff63ca6cc1531b793ff418715fc6fc","datavalue":{"value":{"text":"On pseudo-c\\(\\beta\\) normal form in combinatory logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1120559$AA547636-9116-44B8-AF16-E3E6773B0C68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b88a8168329409cbc7ec0ca159691c7ce024b4f","datavalue":{"value":"0673.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120559$B2B0AD81-7AE6-4C6E-902C-7C65428FA5AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7cbb111b6093389f3a0b1863e9f2bc1b00d8a70c","datavalue":{"value":"10.1016/0304-3975(89)90157-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120559$C3326A89-624D-4021-A5C4-D54309DFC985","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"877dbbc9d4edae4be0006cd2ca1a1869156c20c2","datavalue":{"value":{"entity-type":"item","numeric-id":762136,"id":"Q762136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120559$E623AB9F-10D0-41E7-BC18-021116CE8A58","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":"Q1120559$CF35BA04-BFB6-4B91-9E8F-7B877DC012F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q1120559$483C2DF0-661A-48E7-BD8D-7A5E3299C453","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120559$6B26B4BC-33F5-44DC-B281-F379EF394B37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c434e20d533102a47660aeadbb6100432a5f724","datavalue":{"value":"4101141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120559$BE9BE3BF-B8EF-4095-B591-F7975EE08000","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68de5ff5ca587650364200ae43733e17dc8d9b39","datavalue":{"value":"c\\(\\beta\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120559$A3073876-508B-4986-8481-69E6AF93E5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120559$600DCBD7-1660-4BB4-A441-8E0957041A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf3aa42c166f7abdb315ec73ea4bbba36baeb74","datavalue":{"value":"pseudo-c\\(\\beta \\) normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120559$7F1C652B-3DFE-4C35-956F-9E32365D1F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a4c04478701c2bbc98d404d38561b3ae8197f1f","datavalue":{"value":"\\(\\lambda\\)-term","type":"string"},"datatype":"string"},"type":"statement","id":"Q1120559$AC9593E3-EA0E-4998-B582-5B1F742C0BA2","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":"Q1120559$D40D047A-7739-4C8F-BEE1-7196B0FE65DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85f77de12d398733baf0936b04b7e406db4b17d4","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90157-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1120559$414F0005-B51E-4E3C-B91C-62FC3F10C81F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b713d3d115da3d10a08d65cf86b8e7ce6e70658","datavalue":{"value":"W2083220767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1120559$072159FA-D715-4BFB-A120-2FCC99EE50E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120559$BD0CD181-AECD-4E19-98DB-EB5964C6C794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120559$9BE230EF-AAB9-424A-8199-0397BF9F469F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f55109749153efd86fba034d1d14b858025c63","datavalue":{"value":{"entity-type":"item","numeric-id":762137,"id":"Q762137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1120559$78EF4E2B-E887-4676-8CAB-654B6D2F9139","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"928a1567490a3e48bfa05fca81378e4ae780f4a1","datavalue":{"value":{"entity-type":"item","numeric-id":762137,"id":"Q762137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a71f3fa6bc4bf4b776e274fbe7a766d5b2e0d5","datavalue":{"value":{"amount":"+0.8214696645736694","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":"Q1120559$96B8BD5F-0DD2-404E-BAFD-D21AFF2E4C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf2fab5b363b105785b75a93ff3c3004c472786","datavalue":{"value":{"entity-type":"item","numeric-id":654911,"id":"Q654911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d07d4935f0a64acefd1ef947e0965244781b83a","datavalue":{"value":{"amount":"+0.7935280203819275","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":"Q1120559$06779936-F35D-4CAC-A180-B6912950A99D","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":"9d50b839eb83d47fe4cac854d2141800bb4292c3","datavalue":{"value":{"amount":"+0.7873485684394836","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":"Q1120559$7EA2E74A-5A73-4667-B122-1F70C62F5B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12bf3750f462336c15c02823e9abf186e9c40d9e","datavalue":{"value":{"entity-type":"item","numeric-id":505454,"id":"Q505454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44935f58b25b77913612bd6c73feeb195c2e7beb","datavalue":{"value":{"amount":"+0.7775148749351501","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":"Q1120559$2ACE8601-A9B2-4D8B-90D5-78654FC64D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7ac57d23a992d88a8dfc8139388242c56f90a5","datavalue":{"value":{"entity-type":"item","numeric-id":1903133,"id":"Q1903133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11877c002d75cc327dd5f5553664553e78b76234","datavalue":{"value":{"amount":"+0.7763833403587341","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":"Q1120559$C3E867F7-B16A-4AEA-B91B-C4BDCDD62B60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On pseudo-c\\(\\beta\\) normal form in combinatory logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_pseudo-c%5C(%5Cbeta%5C)_normal_form_in_combinatory_logic"}}}}}