{"entities":{"Q3782744":{"pageid":5812650,"ns":120,"title":"Item:Q3782744","lastrevid":88773386,"modified":"2026-06-04T15:25:34Z","type":"item","id":"Q3782744","labels":{"en":{"language":"en","value":"On the efficiency of categorical combinators as a rewriting system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045105"}},"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":"Q3782744$492249CD-4201-4110-B0D0-020C5735AC59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb12fb83da30a4113bdd8bd0b7ec1c7bfc4c4bf1","datavalue":{"value":{"text":"On the efficiency of categorical combinators as a rewriting system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3782744$D6731F6D-A6C7-42A4-A1BC-5E0D8876CCAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cc141e9b9ce61b2053efc59c4d671c61e63720d","datavalue":{"value":"0641.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782744$E074BBFE-0B60-438A-A01F-27624CFE1782","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6bbb50f7f5b3cd8a52a9219fdf89800968ce21d0","datavalue":{"value":{"entity-type":"item","numeric-id":111603,"id":"Q111603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782744$9DCEAEB6-7CC3-4A03-A065-B2B1F072955B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3782744$CD2361D4-078F-4D01-AA86-D4D2C311CE77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782744$AA3AE511-6E77-4CE2-92AE-825FAC288CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782744$E8114726-B28C-438E-9D46-2938B8B0A056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782744$978C1678-73A1-4275-B088-005742E69126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782744$D9D1AF3B-F4BD-465B-984A-49289E7B5DBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cc47bd2f4ca50b81fcf113bcec68b2e85625139","datavalue":{"value":"4045105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782744$02012350-A393-4F12-B097-877F943B7DB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782744$D9B74EA0-4CA1-48F4-8BBB-7D6D90B1E6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5263ef9f2085aab5a422247e6ec140dd66cbd7d9","datavalue":{"value":"combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782744$0DDFB68A-3DEA-4032-ABC3-3776DBFD26ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2fcdabc34faec2b0acf7add19f8dba3e97fa0c0","datavalue":{"value":"typed \\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782744$A4A81B95-21AB-4798-98AB-D556924CB435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782744$719A9FBF-82AB-4DCF-A63D-49847A1D21A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782744$15668BEE-94BF-49BB-92AF-8DBD0E9EEED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc63158e3b5900e98ad83cfdeb445f4fa3b66d97","datavalue":{"value":"categorical combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782744$650E6AC2-D139-40CB-858D-BE628A03FC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21bd8640a48a43f33083efd421e4f1a645de9b80","datavalue":{"value":"applicative languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3782744$F5AC0D18-F709-4F45-BECC-7F2AE82CC40F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89e75a3a2c10c891164d6bca42b3194ae9efdc95","datavalue":{"value":{"entity-type":"item","numeric-id":975530,"id":"Q975530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782744$F26907E9-5332-4EF6-A819-371247FCA6FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782744$CAC79B64-F68E-4599-B4EA-CDBEE3C04E72","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":"Q3782744$E401FFC2-E6EB-4F31-B822-11B307B7A6F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd285a7841d26d6f9f0ba6ee54bbcb5f8b1fbcef","datavalue":{"value":"https://doi.org/10.1002/spe.4380170807","type":"string"},"datatype":"url"},"type":"statement","id":"Q3782744$6EE8E03B-D15B-4E48-A30E-36F7BB8AA90A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7a24bbfbe33068b7e6ba38bf9160295879015a3","datavalue":{"value":"W2014841514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782744$AF2C8570-6A36-403D-8786-02FFA336377F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8128be7a2395e4b6b58abe3d71613f69ea9d0962","datavalue":{"value":{"entity-type":"item","numeric-id":3785893,"id":"Q3785893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782744$784E43E6-5422-4382-9113-FA5AD5EEE159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0bc180311b57c62eeb872b6b44fa7298188cae","datavalue":{"value":{"entity-type":"item","numeric-id":1097043,"id":"Q1097043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782744$90581171-0404-4FC3-A58F-2A6BF2DC5B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10546887ee0615eb07bca2e1dc0f41e60f6caeff","datavalue":{"value":{"entity-type":"item","numeric-id":4194932,"id":"Q4194932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782744$69042658-EBD1-4779-909D-30E21E9CA2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3782744$3C7EA68D-0B1A-4E50-991D-E83E98A75899","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2a752408717aec6a41232d65c8d51dfa7ffda48","datavalue":{"value":"10.1002/SPE.4380170807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3782744$C230B860-6E2C-4FCE-B5FE-F4ED1D2541C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c1cc2db09994b4d434a2cfd31ca84e241d46cf","datavalue":{"value":{"entity-type":"item","numeric-id":3783516,"id":"Q3783516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f01655002805e2377b7dc4d6185e38d61e9d565","datavalue":{"value":{"amount":"+0.8219454884529114","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":"Q3782744$BDFC95CF-4186-49FF-B8C8-EFE6AAEE8844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02871bdca13c10a889d09f63b1518ab563361267","datavalue":{"value":{"entity-type":"item","numeric-id":4884898,"id":"Q4884898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ce155593d833f07e3320d0546fd73fe8b11df4","datavalue":{"value":{"amount":"+0.8133962154388428","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":"Q3782744$B36E1F19-7C9E-4562-953F-25136006EC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e86a7f5cb63c7ffc1e66391f948c2be18ad344","datavalue":{"value":{"entity-type":"item","numeric-id":3801523,"id":"Q3801523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0ce155593d833f07e3320d0546fd73fe8b11df4","datavalue":{"value":{"amount":"+0.8133962154388428","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":"Q3782744$B03D77ED-EDF6-43C2-A0A8-6C1B7E328795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a236635be5d58b1daaba90b0ae04d9f0b68760","datavalue":{"value":{"entity-type":"item","numeric-id":1119562,"id":"Q1119562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccd265bb111e45b28f54ee977706d096ad6a053","datavalue":{"value":{"amount":"+0.8128941655158997","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":"Q3782744$63C5CB0E-DB88-49CB-A4B6-A876D495802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25036cb7ecd232d6eb024f82d928c3f01c56d499","datavalue":{"value":{"entity-type":"item","numeric-id":3745827,"id":"Q3745827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d32e247ec96a064353683bbc8a1fea3aa4e63df","datavalue":{"value":{"amount":"+0.7959707975387573","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":"Q3782744$614EE3EB-BD49-4B1B-8B71-EA02B948307C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the efficiency of categorical combinators as a rewriting system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_efficiency_of_categorical_combinators_as_a_rewriting_system"}}}}}