{"entities":{"Q1848712":{"pageid":1859454,"ns":120,"title":"Item:Q1848712","lastrevid":69350250,"modified":"2026-04-13T06:25:02Z","type":"item","id":"Q1848712","labels":{"en":{"language":"en","value":"A template based graph reduction system based on combinators."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1827814"}},"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":"Q1848712$D2739993-5D41-4542-8E06-417C2F733521","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"163445a8f33c69d5b8b1da093af7150f8ba0a709","datavalue":{"value":{"text":"A template based graph reduction system based on combinators.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1848712$103E01B8-DFB0-4781-8844-5456610BD1EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d3d5d41fa62f6fbd14fadbc3debd06ffdfbcb9e","datavalue":{"value":"1060.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848712$BC741985-4D08-4863-B0A0-C82AFE12933B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33b249e8befb1745f11306fb53e7f627f587f5d","datavalue":{"value":{"entity-type":"item","numeric-id":924568,"id":"Q924568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848712$E8AA78F9-1875-4102-8458-C26BC70D481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cb73e70b16c84ec65f3cfde1a99fc8200680ec4","datavalue":{"value":{"entity-type":"item","numeric-id":1848710,"id":"Q1848710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848712$A6536BCC-5322-4F55-9A5A-6E4395D23B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7403bdfa2f06914a07ec8038d6a9743b97192c38","datavalue":{"value":{"entity-type":"item","numeric-id":1848711,"id":"Q1848711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848712$3E35DE4F-E32E-4829-8373-CBE94FFED700","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"15f88aa8bef30d5f7d1df3dcbda5f07af4811c8b","datavalue":{"value":{"entity-type":"item","numeric-id":424005,"id":"Q424005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848712$EE42597A-1444-4DD4-AB9A-491270BE9FBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-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":"Q1848712$608A00EE-B3CA-4496-8337-EFCCFB5A6D03","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66b79e2235028ad985bc9a29edd8ad53caebd918","datavalue":{"value":"Summary: Graph reduction is one of the important evaluation strategy for lazy functional programming. A combinator is a function that contains no free variables. The idea is based on the fact that all of the variables in a program can be removed by transforming it into a sequence of combinators which would be drawn from a small pre-defined (fixed) set of combinators, or which would be drawn from an unlimited number of non-predefined set of dynamic super-combinators. We suggest a template-based algorithm which reduces the stored graph structure of the super-combinators. We can define any produced super-combinators by using templates and use them to perform reduction on the graph. The template-based algorithm could be extended and any produced super-combinators can be defined with a predefined template list. The test results show that our approach increases the efficiency of super-combinators algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848712$30C9CA5B-8B68-45CE-8295-2F76EB15D3CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848712$61976811-EBE6-4910-80D6-6A288623C04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848712$31C1212E-B4BA-4F94-B509-253ABC49698D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6ba6ea54bac8b4091d41f8e2b110c63af4dea34","datavalue":{"value":"1827814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848712$D429D587-7E69-40FD-92EB-958CC2422E50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3427dff87f2bade9b054fdf719896347e8898256","datavalue":{"value":"super-combinators algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1848712$D535CAD4-8A19-49C7-8B0B-E0D13BB1EA21","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":"Q1848712$C84B7969-19F2-452E-A902-4A2BAC7FE8F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c17b6966bfb8b5a952e2c2000118320cccb08d2","datavalue":{"value":"https://doi.org/10.3390/mca7030253","type":"string"},"datatype":"url"},"type":"statement","id":"Q1848712$1E523DB6-BF4E-4DB4-8979-E1673FAABD95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48d298b6f94b3ffadf5f77a24f26157d6b079345","datavalue":{"value":"W2313450777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848712$25FD2488-51B5-497F-A680-BE0208CC2886","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fcd1b4cfa4914a21168b1e8fd10a8ba68b01cb53","datavalue":{"value":"10.3390/MCA7030253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1848712$67781DFE-CE88-4510-88F7-5178A376C67A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85f43ef85401a3f2a6c7672713b06c413ce27af0","datavalue":{"value":{"entity-type":"item","numeric-id":3741018,"id":"Q3741018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22701c193ec1ab1be169e85ed5b8d03054bce4f","datavalue":{"value":{"amount":"+0.7579230666160583","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":"Q1848712$467C7131-896F-4FF7-A0E3-D7C8BA842FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ac26c97ff77e029d73ba66676f2f4fa6486429a","datavalue":{"value":{"entity-type":"item","numeric-id":3997674,"id":"Q3997674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08afe34a5561521c3655f2ffd2ae05c2bf099501","datavalue":{"value":{"amount":"+0.7573276162147522","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":"Q1848712$BD67B929-F0D1-47A9-B493-7E0182FC2EF1","rank":"normal"},{"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":"281bde18fe0a274e1ad544b2981e0ee620a29a37","datavalue":{"value":{"amount":"+0.7530515789985657","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":"Q1848712$DD625D0D-2A35-49DA-861B-D09D27BE6815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ded523aaf33f307e685577881d667b873f9cce","datavalue":{"value":{"entity-type":"item","numeric-id":3003482,"id":"Q3003482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2007fd5dc9ff963320ae4123aa3653095ef75377","datavalue":{"value":{"amount":"+0.737906813621521","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":"Q1848712$6A5375D6-496A-4A24-BB26-9368709ADCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c1e5ef99cf5eb56c5296d5444c6f8465905e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2946718,"id":"Q2946718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5696bceaa9832b0defb25faf1c8ab71979a03c8a","datavalue":{"value":{"amount":"+0.7345319986343384","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":"Q1848712$F5AEAB67-DEFF-4D3B-BC93-2385A8590F5C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1848712$CD4AC653-D70A-4F4F-A3E8-98A77223D3EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A template based graph reduction system based on combinators.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_template_based_graph_reduction_system_based_on_combinators."}}}}}