{"entities":{"Q789160":{"pageid":791008,"ns":120,"title":"Item:Q789160","lastrevid":64430919,"modified":"2026-04-11T19:49:46Z","type":"item","id":"Q789160","labels":{"en":{"language":"en","value":"Some FP algebra with currying operation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3845015"}},"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":"Q789160$AA2DAC9B-D808-47A9-BA86-EB0E35191636","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcf3f547f2b3f053ac381443ae9a6aa622f622bb","datavalue":{"value":{"text":"Some FP algebra with currying operation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q789160$FF6881F1-D073-4975-A1EB-F06AE5C3A4D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9e31f27406389129032549be5354e0081244078","datavalue":{"value":"0532.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789160$3F3DDCE3-EB89-4575-8BEB-6EF990809420","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b62fe27b37f3e6198d6890dd16b18285c3461723","datavalue":{"value":"10.1016/0020-0190(83)90110-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789160$828BC741-D652-47D1-AD06-1E55F9FAD740","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b6abd34bf2c1ff2e47854f70a86c2a484a01cba","datavalue":{"value":{"entity-type":"item","numeric-id":485838,"id":"Q485838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789160$CB59B68D-2E85-4924-B05E-E19F6BE9AE8F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789160$FF5C4C00-43B4-4D74-B17F-4CCD931136E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q789160$C1FD5A64-A0BE-4F98-8629-F42FA90D8470","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39d25c0c2b0ea2b4b0079f533a866fd7c1ecb9b1","datavalue":{"value":"This paper is concerned with the algebra of function equations in the framework of a functional programming language FP proposed by Backus. In the original FP, a certain types of algorithms which are naturally expressed by Curried functions are awkward to express. Therefore, we introduce combinators into FP, and give algebraic equations that hold between the FP expressions without the use of Curried functions and the new FP expressions which make use of Curried functions and the combinators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q789160$A9A365C2-07F0-4A7D-BA5D-733314CF5E34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789160$12D83DE8-3715-4C3D-AE62-89900633A74F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ff023a8539dc9d8e82ae80219a37beddfa311d6","datavalue":{"value":"3845015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789160$A9EE1DAF-F664-449C-8458-260DE864DCE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q789160$11C956E1-E625-4662-B5F9-FBED40BC6D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd182c2e9058301efa292c2afe2941792b9eb1ae","datavalue":{"value":"program algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q789160$665B90B8-5454-4313-AA3D-9EFC1B6B97E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d527c4aa2f7d747663364552ac135fe192e56ffa","datavalue":{"value":"combinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q789160$C60ABAB8-D6E0-46FB-BD6F-5FCB13A0F974","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":"Q789160$98C13F35-770E-4525-B074-1ED3E7625BB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82f94209702ce8aeb78a562b8a264353750b952d","datavalue":{"value":"https://doi.org/10.1016/0020-0190(83)90110-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q789160$DAB683ED-0FDC-44FA-955A-AFF8A94BA5E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec41746d4230b2151a83d6c251b7041fc49d3d53","datavalue":{"value":"W2072086164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789160$6773A4C7-BBFD-42B2-B008-10CDBB3554D1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7e19c60a0e49ff72d0562afa3c40a4112525e075","datavalue":{"value":"Q112879893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q789160$61E11FE8-A3A9-4372-B19E-901057F9D7DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789160$576CDB95-D434-42FA-9032-6F45DFEA0410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8915558f86a640cb1719cd43897ef85a98df6771","datavalue":{"value":{"entity-type":"item","numeric-id":3729993,"id":"Q3729993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q789160$8E1D69E5-0DBA-4F3D-B1F2-DBCB897B7BB6","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":"Q789160$4DBA342E-F25A-4107-B4A5-3B54C7E59563","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b49d1291fb59ef6867966d6a2f8adb75f128a7ce","datavalue":{"value":{"entity-type":"item","numeric-id":3821565,"id":"Q3821565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d93dd4668dc8ca5f2cc98405a28edd00ed4b329","datavalue":{"value":{"amount":"+0.7751693725585938","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":"Q789160$EA73D346-D502-43BC-977D-CAEF41B3D0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08462a83c6a61fdc9db392a1380ac058d3eef7de","datavalue":{"value":{"entity-type":"item","numeric-id":3702496,"id":"Q3702496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c55491382f78a9b4267296a52288a434c1b525d","datavalue":{"value":{"amount":"+0.7529247403144836","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":"Q789160$8B6511F3-B404-4F21-8FB3-4684C0837A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5e7136ee2724c05935be9c621faebd8133d359","datavalue":{"value":{"entity-type":"item","numeric-id":3741016,"id":"Q3741016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a20b39b4136e8801856b2531a8dd706af56f505","datavalue":{"value":{"amount":"+0.7467572093009949","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":"Q789160$547B8021-C91D-46D0-AD72-291F44982997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0e341382b0df85b5d0a8344d749ec8c3a1a880","datavalue":{"value":{"entity-type":"item","numeric-id":3316549,"id":"Q3316549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64db6ff325db3edaa84296104a751bbb1f759d93","datavalue":{"value":{"amount":"+0.7369349002838135","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":"Q789160$A343E58D-94E3-4E04-98F7-A46E6B3B967D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba92b240c67f837697cea5b234c38f16f91a4f3","datavalue":{"value":{"entity-type":"item","numeric-id":3325009,"id":"Q3325009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c215147ca4a30d19db7a1b34401a0f01bf2ab2b0","datavalue":{"value":{"amount":"+0.7362506985664368","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":"Q789160$BA6507FE-DEC7-4981-AF50-99E7266675F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some FP algebra with currying operation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_FP_algebra_with_currying_operation"}}}}}