{"entities":{"Q1203131":{"pageid":1213880,"ns":120,"title":"Item:Q1203131","lastrevid":66473232,"modified":"2026-04-12T10:18:16Z","type":"item","id":"Q1203131","labels":{"en":{"language":"en","value":"The systematic construction of a one-combinator basis for lambda-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 110534"}},"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":"Q1203131$919392D7-83A1-4F0A-AF30-F88346586690","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbff099cc1fe0d7ba893327b8d1182a7aa880899","datavalue":{"value":{"text":"The systematic construction of a one-combinator basis for lambda-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1203131$C11699A4-BB0E-4186-8E3C-B6A8DFFE517D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8abbf41499c14de58f09fce15ba91329aedfb29f","datavalue":{"value":"0757.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203131$680B4451-69D6-4F00-A9A4-D0FE4CCF08B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29afabfe37bae53ac319e5374c26e741741d0611","datavalue":{"value":"10.1007/BF03180572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203131$662EE193-18C6-4095-806F-7E5972ED5F2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61bd183188c23df645acf381175b820a952749df","datavalue":{"value":{"entity-type":"item","numeric-id":1203130,"id":"Q1203130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203131$84068EE6-B163-4E52-90F1-12CB63A3F640","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203131$03644729-C2CB-40B3-8BF6-F4CC886D68D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6804e778601fe2c7ca2ec610584daaeab1b8f8c8","datavalue":{"value":{"time":"+1993-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1203131$0547426F-D170-4D5B-AB36-DD0E5EC9A0C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203131$1A85AF62-5759-4F21-B2AC-A8D05E87EC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203131$D0780190-C6E4-4F98-8178-9918B68CE461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed1544701bcdc55b6d6b297006924c4c528508e3","datavalue":{"value":"110534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1203131$8BA49B36-DE9C-4935-95B0-A0EC8AC2F4D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a4a6aa10dbe4f1c3dca5b299de420da23c0c4a6","datavalue":{"value":"SKI-combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203131$0B4D7F15-090D-4E03-B6D1-858CA2AA79C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfc56bf0f41742c9daaa451136366f353892851","datavalue":{"value":"single-combinator bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1203131$6041E492-4498-47B4-ACB7-09B9F9EE5C5E","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":"Q1203131$36CB968A-DA2C-4FA5-968A-44258999C30A","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":"Q1203131$7F1A0FF3-E49C-492C-B5DC-08943E4479AA","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":"Q1203131$E286AF80-A133-49CE-B103-1C9BC0888C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1203131$A383048D-2EA6-4B0F-96C7-72A6094E78AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1ceb5910a143e0d6c224dd84f252f497c467af","datavalue":{"value":{"entity-type":"item","numeric-id":1029098,"id":"Q1029098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a0f44ef7119bba2da8956c5134f16e1328da3c","datavalue":{"value":{"amount":"+0.767711341381073","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":"Q1203131$70850C0B-B58F-4848-9800-76CBCDDAD983","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":"3fe07230525d870b798cc3c8271e6a5c768cc14e","datavalue":{"value":{"amount":"+0.7535656094551086","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":"Q1203131$A9F4AFE6-6DD6-4516-8A66-3B8443D0423F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808363178f3eadbc3f628120867f7da69424ca42","datavalue":{"value":{"entity-type":"item","numeric-id":1349878,"id":"Q1349878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe07230525d870b798cc3c8271e6a5c768cc14e","datavalue":{"value":{"amount":"+0.7535656094551086","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":"Q1203131$D769DB7F-CF50-4546-BABC-C1A6D5ED7C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669ad75f7a711b33c50c2efbd9b5cced92f92ae","datavalue":{"value":{"entity-type":"item","numeric-id":3783263,"id":"Q3783263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcaeb4916b090c0dcf8fc9a76450e7266f8024c6","datavalue":{"value":{"amount":"+0.7493623495101929","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":"Q1203131$6CB681FD-575F-4230-ADD6-853E428DEE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2896b97054795c95a709c07317812eaa2104020","datavalue":{"value":{"entity-type":"item","numeric-id":4304128,"id":"Q4304128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea786de63c746c0c3e580fc9002972882116741","datavalue":{"value":{"amount":"+0.7454045414924622","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":"Q1203131$94D3FBA6-C9E1-46EE-9163-510AA8E8F18A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The systematic construction of a one-combinator basis for lambda-terms","badges":[]}}}}}