{"entities":{"Q4234770":{"pageid":6264371,"ns":120,"title":"Item:Q4234770","lastrevid":46616418,"modified":"2025-12-25T05:53:49Z","type":"item","id":"Q4234770","labels":{"en":{"language":"en","value":"On combinatory complete sets   of proper combinators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1263854"}},"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":"Q4234770$70B20253-94FC-4A52-BCA8-0BD4220C862B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5df2e6e2b29574acbf5b03f98bf1af0753f8ea7","datavalue":{"value":{"text":"On combinatory complete sets   of proper combinators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4234770$9226FCAE-77A3-4F20-BE48-FE783415A5F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb61ca2b6c45d218cd1f66fe17964ea965df5e30","datavalue":{"value":"0918.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234770$575AFD22-B565-44BD-B585-3EE343A76A72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baf5218a6710755842b9972df1c4d2067b769682","datavalue":{"value":"10.1017/S0956796897002888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234770$A5DF0151-354D-4AC3-B5D7-9EF80DAE53BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5be40013d629abcf9c4dedf0b6f10313a658759f","datavalue":{"value":{"entity-type":"item","numeric-id":596032,"id":"Q596032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4234770$5B77106C-5B48-44A7-8CD7-FFCDF1D76A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2641b8e7fca864cf6fafc527fcb34eae8b18504","datavalue":{"value":{"entity-type":"item","numeric-id":596033,"id":"Q596033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4234770$ED432FD5-CD61-4DCE-9879-F1CDB63FE63B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4234770$F86B634A-DF7C-4A0A-BE8F-8879C03762B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4234770$B6184626-9603-4DC2-A48D-035B4EB8C39D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234770$8BFE5C29-2D25-4D3C-B770-20F9D643FA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234770$971EAB82-E771-46ED-AA1A-A825DC6103D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04f3c5e788a053c5b3b506bc38c8669f5ada0ae2","datavalue":{"value":"1263854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234770$FF65309E-DADA-4DCD-B55C-FE7804BC4919","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1014dea4e1497138a04aa8889b014a467a0b79e4","datavalue":{"value":"combinatory system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234770$F159434F-EF8A-45AF-B774-BF6F5940D28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234770$12F77D7D-2F30-4BD3-A1C0-5002EDFD2CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c653a71f23af399371cd608756125be556080e23","datavalue":{"value":"combinatory completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234770$C0733250-1E81-483F-8ECB-B5E5184CAB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78be19b50bf51210bb763949bb773afb0530f502","datavalue":{"value":"pure lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234770$A03B64A1-15C3-4335-A2A4-BB320FDE1C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4bb3961096c91924c4ec721db8ad1a366987068","datavalue":{"value":"linear \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234770$875BA638-5546-4A3A-BDAE-04771DABA45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ab1dddc01e2a36de83c51c0213b0d5e70ab28d","datavalue":{"value":"\\(\\lambda I\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234770$BF2D6A3E-10E4-4C6C-BFA6-676A04E13DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b75a00325d1c9018a0e971f82660982bb1944e","datavalue":{"value":"proper combinator bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234770$9CB96002-1B87-4781-9BC0-05B6C4DAADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69ff4b5667aff6779d53ecd9c308badea1eaa0c2","datavalue":{"value":"affine lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4234770$30D91120-1E7D-4C78-8EBE-7D226535CCAB","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":"Q4234770$6E76F1FB-E612-409C-9778-47A5699E3F37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2804e96ea0ec83d0c6ead183ec8258787efca69","datavalue":{"value":"https://doi.org/10.1017/s0956796897002888","type":"string"},"datatype":"url"},"type":"statement","id":"Q4234770$0A7F20E3-E58E-4F62-91D7-99E0B8CDFBC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28e25d0340991739a052ad00d7c277c79fb9e91b","datavalue":{"value":"W2019758361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4234770$3473066F-3070-4564-A8C4-B005A835A7A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16665f0c114d570f50b8a5afc346f37e39e5ecdb","datavalue":{"value":{"entity-type":"item","numeric-id":1583260,"id":"Q1583260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8298489522f6ed4d89c27bc4f671a2b38bc4945","datavalue":{"value":{"amount":"+0.7884722352027893","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":"Q4234770$A46C7DDB-964F-4039-8F88-A7B8E71EDE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74e4676089e17931db38119a01b070b1e0aba62","datavalue":{"value":{"entity-type":"item","numeric-id":750415,"id":"Q750415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccdbfb547967a0cbcd939813225cbb9b6b3a428","datavalue":{"value":{"amount":"+0.7594355940818787","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":"Q4234770$6DEC2B0D-0D59-4367-BD88-ADE25D53CD89","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":"60cb51a8f0db93a3528d7b6590d9a7959ef39bf0","datavalue":{"value":{"amount":"+0.7553927302360535","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":"Q4234770$5EB29BE1-1705-43FC-83E2-E35D1D69F462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331600552a4285b1a8d092676e1d476d7a6b894","datavalue":{"value":{"entity-type":"item","numeric-id":4870807,"id":"Q4870807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91676e7f2bea2398d1d21b94256d3c358b045d3e","datavalue":{"value":{"amount":"+0.7481440305709839","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":"Q4234770$B8E320BA-5439-489E-9660-60A627508832","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4234770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4234770"}}}}}