{"entities":{"Q1096387":{"pageid":1107139,"ns":120,"title":"Item:Q1096387","lastrevid":66956589,"modified":"2026-04-12T13:58:23Z","type":"item","id":"Q1096387","labels":{"en":{"language":"en","value":"A fast algorithm for translating combinator expressions with BC-chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4030970"}},"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":"Q1096387$E33ABE61-92B4-4F9F-B990-584CD7DDBC75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9159b868ac203c17a1d9b97298519aff9e8cedef","datavalue":{"value":{"text":"A fast algorithm for translating combinator expressions with BC-chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1096387$7D5A166A-3F60-48AE-81F7-05C353C7ECBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b41a8fdd1814365e03488e1df8189fd382af775e","datavalue":{"value":"0633.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096387$559880B3-58A8-4C2F-9A2D-79149878F66E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e0127b18eb652c39a1bd133b85637310b3b7084","datavalue":{"value":"10.1007/BF03037465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096387$F832A2BC-906E-43E6-8BAC-48AD915BCBA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e659eba0f01f347c1639e7973699d9d71fcd80a","datavalue":{"value":{"entity-type":"item","numeric-id":802307,"id":"Q802307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$0E95EFC8-39A7-4E4F-8F35-B50A98C99973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14a81f9b4dd704e3ece00feaa1da11705a47700c","datavalue":{"value":{"entity-type":"item","numeric-id":1096386,"id":"Q1096386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$180A9D66-96CC-47E8-B969-0D70EA3B937D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ea61bc9b0eb2c27313173153e64e32651c2ebb5","datavalue":{"value":{"entity-type":"item","numeric-id":169889,"id":"Q169889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$7F85D25E-9CC9-4D7F-8759-67E859AEBED4","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":"Q1096387$D533BEA3-DF54-4101-B0C1-FB7AFE7EE313","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"061585435ee3844e31ae8a6db383eb3d9b488b69","datavalue":{"value":"A fast algorithm is presented for translating lambda expressions to combinator trees with BC-chains. The time complexity of this algorithm is O(n log n) in the worst case, where n is the length of an input expression. Furthermore it requires only O(n log n) working space. This result achieves a substantial improvement to the previously known algorithm having the quadratic complexity. The basic idea of the algorithm may be applied to practical processing systems, whether they use BC-chains or not.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096387$869C2BD2-D861-4C9B-9362-19D6AA0AB75A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096387$A06096AB-7B46-4B72-A095-678895B37174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096387$E2D9E254-271A-4D56-8771-37CF42A83D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096387$C552922E-9ADE-4AA9-9800-C9D1FC5E723B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0dc2b5d5d5e5f5e63e43e77bac8165baee9b2eb4","datavalue":{"value":"4030970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096387$58597BC1-A046-4D54-91AC-904B5C1C3B98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bc9c8ba1b474c6dbe3c79bf1fd1d31db64152f0","datavalue":{"value":"abstraction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096387$EE429923-883E-43C2-B056-573DBBBC3A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096387$0A44FB55-E947-4EBA-AC71-F1349F5A320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"921833cfeadac16f6c8c9833e8e78cd4a5a6432d","datavalue":{"value":"fast algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096387$097D1806-B6BE-48FA-96A9-DADC7A0B0BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104df628fce1ef7324be419868f90d4caaa4cccf","datavalue":{"value":"lambda expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096387$39BD3CB9-5F0A-468F-A6E7-D4BCDE352883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72c58f9ad73f695b60a923bfc3cb112327f08c52","datavalue":{"value":"combinator trees with BC-chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1096387$34FAAF20-056E-4DF3-83EA-22F2B400F3BB","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":"Q1096387$3FC5585B-D850-4D0B-8917-8BBA18EE9491","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"354e7fee535f06b18b96c8fbf1ea2b4be609b212","datavalue":{"value":{"entity-type":"item","numeric-id":3664434,"id":"Q3664434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$84DDA7AC-790C-4EEC-8B5C-B9FC637B3D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e6f45bf079337a737cf685a4a28bc5114e50b2","datavalue":{"value":{"entity-type":"item","numeric-id":1837177,"id":"Q1837177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$CE1DE95D-BC3B-425E-AB51-136E6F2FDCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a3e6d3101eb86085bd2db5e9b52da079def77c","datavalue":{"value":{"entity-type":"item","numeric-id":1090671,"id":"Q1090671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$A7A8311D-2C99-427E-BB4A-31E675E4B611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e0ad154213125ffb5f142ff784e55adc020e567","datavalue":{"value":{"entity-type":"item","numeric-id":802308,"id":"Q802308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$D43A2CC5-1DA8-41DE-9C39-B890FDA947BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa95893ab8fe3b8acde79b72465e636d410e4f7c","datavalue":{"value":{"entity-type":"item","numeric-id":1077160,"id":"Q1077160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$CAD5A5D6-FCF8-4CFA-B808-E7C54F45C870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be7ec776afc6ad8ad178675a434e62027116713","datavalue":{"value":{"entity-type":"item","numeric-id":1238421,"id":"Q1238421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1096387$8A04FE54-D677-471E-A062-219E6D64DA45","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":"Q1096387$D9E94D9C-050B-42A1-B9F5-2E5D88312954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce578e907595ba32f685440e92f5b2c1f1febacf","datavalue":{"value":"https://doi.org/10.1007/bf03037465","type":"string"},"datatype":"url"},"type":"statement","id":"Q1096387$46651433-C801-496A-9D15-247EB6F0BC4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecc5d56152ff9898c3b1bbc8142465929e3bed65","datavalue":{"value":"W2045428044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1096387$15063DB9-94EA-4AFD-B488-7AF5A0D789BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a55ba82527f3fbf0ff46708869fdcdd65cb4144a","datavalue":{"value":{"entity-type":"item","numeric-id":1077160,"id":"Q1077160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf166f150664efe92806945698524d051914bf0b","datavalue":{"value":{"amount":"+0.8055561780929565","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":"Q1096387$F96DA50C-3059-46DF-9420-5DAB44F3AD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e8987db3debd5454034e0bf186425da87d3e5f2","datavalue":{"value":{"entity-type":"item","numeric-id":802308,"id":"Q802308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda83fc4de2477bcdc9f09f772e1178d2f8e296a","datavalue":{"value":{"amount":"+0.7747596502304077","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":"Q1096387$C1BEE3AC-9F8B-48B5-97D6-779AF531D7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0591252b064984632444dea1cd0442353b4e620","datavalue":{"value":{"entity-type":"item","numeric-id":3686038,"id":"Q3686038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0421960d753d04d4c71bce0c35e4b2c5e3d93c","datavalue":{"value":{"amount":"+0.7585279941558838","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":"Q1096387$F8115622-E4B0-4BDD-867F-2D9B74C7A189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362f59e6c4dec3cf48ee31f8dda8ee2320351886","datavalue":{"value":{"entity-type":"item","numeric-id":4627723,"id":"Q4627723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6455633cd7038d34a0fc55b326eae886e9aae92","datavalue":{"value":{"amount":"+0.7385878562927246","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":"Q1096387$93A61AC4-1F43-4280-9DAB-79DDC23EA06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b06d10b23582d7fc9f54e133a2abef0ff6b01d3","datavalue":{"value":{"entity-type":"item","numeric-id":1090671,"id":"Q1090671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c01e6cdaff12910db2dcd3254a3f467340ff10e","datavalue":{"value":{"amount":"+0.7293338179588318","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":"Q1096387$4F9E4C50-F350-4AAE-A250-2A3B568BB101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fast algorithm for translating combinator expressions with BC-chains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fast_algorithm_for_translating_combinator_expressions_with_BC-chains"}}}}}