{"entities":{"Q2710613":{"pageid":2721352,"ns":120,"title":"Item:Q2710613","lastrevid":82801568,"modified":"2026-05-06T22:06:57Z","type":"item","id":"Q2710613","labels":{"en":{"language":"en","value":"Expedited Broda-Damas bracket abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1590620"}},"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":"Q2710613$28B1EED2-F639-49C8-A3F8-09F79332AD41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b2102ca7812d6e4d36bcb7eca9918b0a9beecc9","datavalue":{"value":{"text":"Expedited Broda-Damas bracket abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2710613$D588595C-87AD-4BC1-B0FA-2F0E7AAF8E99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b0e5c34afbc827e14acc1ce37721d4736a2789f","datavalue":{"value":"0977.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710613$73D5056F-296A-44BE-AC95-4554753627B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4a6c96d7218eaa7c513ed08a585c04430338a8c","datavalue":{"value":"10.2307/2695081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710613$3A97A7F1-9B62-4E6C-8CA3-B86CDEF37E6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da1e102b79cffd268b6f68feaae2005a6fba4d8e","datavalue":{"value":{"time":"+2002-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2710613$4ABCB54E-988C-44C4-8652-9675232CA22A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd88dfbebbdf859fa8dd082b31568736b9091d13","datavalue":{"value":"https://ro.uow.edu.au/eispapers/2703","type":"string"},"datatype":"url"},"type":"statement","id":"Q2710613$A91DF916-8734-49C4-B97A-280575C67C6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710613$484C624C-A77A-4AFD-B85D-71C3B08083E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cefc5f84383704f4d8212ec3da2003e63d282fc6","datavalue":{"value":"1590620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710613$4BB2A8BE-D3B8-4BF9-84E9-05D3100761ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710613$60390AB4-D46D-4D8A-9CFD-0BD53FDF1A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710613$B44D5E5A-23CA-4173-AB6A-90F7A419D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3d11dcc120c90fedea9eb8b914a38633591a60","datavalue":{"value":"bracket abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710613$8A7CF738-E540-4572-95FC-E4E0B3F0D80C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710613$51EFCD6E-79A6-4B0E-B7BF-47FD20E796ED","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":"Q2710613$96C82FEC-C825-4F19-B23D-8E2A4DB13570","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3589f52e6708d0fe27db9a405f905c39a6801eae","datavalue":{"value":"W2039196897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2710613$AC3A9456-D075-46B2-88B9-DF9DAA733760","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56732c33b1c7b0bd69f66aae4b7c2ee439ef4fea","datavalue":{"value":{"entity-type":"item","numeric-id":4372904,"id":"Q4372904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710613$7AF3CAAE-6B09-48EE-BD1C-8832AD988938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ead1e4f94069786fed45265128c037a402757c","datavalue":{"value":{"entity-type":"item","numeric-id":1349878,"id":"Q1349878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710613$D2D78D7C-7C1C-4364-8892-92A53D92836B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d79c1f48c0c8ed5f30a65fac9c84a037b1fdb7e","datavalue":{"value":{"entity-type":"item","numeric-id":4843016,"id":"Q4843016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ce76bb153e5af5470efa753b990c0093d109490","datavalue":{"value":{"amount":"+0.84304297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$F9B59676-EE15-4FD9-A1AA-26E22E036EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ed8c5979be5b80d8a5b9674be1c32b8137e5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3199391,"id":"Q3199391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201cabeff2b2bd99bfc1e90ad2b404133f50f0e0","datavalue":{"value":{"amount":"+0.8423498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$FF37605D-B319-466E-80B9-E7ABE60A6E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d2df01aeea6240ed02dd9924993c7a53d2f36d","datavalue":{"value":{"entity-type":"item","numeric-id":3589076,"id":"Q3589076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c09174e2a0971f28022400c6eaf6286152ec4c","datavalue":{"value":{"amount":"+0.8291034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$53434AB4-0C5B-474C-9E4C-C56342E1ED51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9923a3c2609418bbbbd30225d1f47727de2b8d2","datavalue":{"value":{"entity-type":"item","numeric-id":2878662,"id":"Q2878662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c1b6801fe0377620f138b761ac13e2765fc6d2","datavalue":{"value":{"amount":"+0.82190585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$8CB36795-777B-4078-A91B-45FDEEF0792A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbefc8b53148fecf9fe10c943f5a797ea4f643f","datavalue":{"value":{"entity-type":"item","numeric-id":1176832,"id":"Q1176832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f0c01ac9aaf195de15d6765f8ec1fd9ba5ce08","datavalue":{"value":{"amount":"+0.8122038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$722E7725-3387-48B9-BB69-006A83A34B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50af0a0a74dab26ab63c70322d9685125b56f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":4372904,"id":"Q4372904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"680970c760e2070b560d33122efd0fe6278dab5e","datavalue":{"value":{"amount":"+0.8065819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$BC658038-EA26-4751-8EAD-BBA3B273A168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f911bc70f6e115d16e1a7aaf01a09d54e81038a","datavalue":{"value":{"entity-type":"item","numeric-id":4029517,"id":"Q4029517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798113a07f9d56b0bd1f4d8653163acb7be57f39","datavalue":{"value":{"amount":"+0.7964435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$38FDA647-96AB-4190-912A-79C4224A6661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f71114a15604f2c8777130e4fad412329e88bbb","datavalue":{"value":{"entity-type":"item","numeric-id":5120218,"id":"Q5120218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856c09b4432da948de1157cf4426f11111cfa912","datavalue":{"value":{"amount":"+0.79464024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$71C43184-48BC-4BD6-BE98-078E116C87E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d31f982402ce39061ae2d25d4a24fb470e973191","datavalue":{"value":{"entity-type":"item","numeric-id":6162835,"id":"Q6162835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ed39207e7b2c80b467a5053c648ad011b73d810","datavalue":{"value":{"amount":"+0.7944013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$3419DF68-3A45-4CDB-ABFF-DFE919FA4C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674a44e0c781fbd97d4100619004f3ac52828b21","datavalue":{"value":{"entity-type":"item","numeric-id":4019675,"id":"Q4019675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205e0370ce9639bb7f84fc9126a1ffa8bdbcc3a4","datavalue":{"value":{"amount":"+0.79145575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2710613$24A9A1FA-B338-474C-94D7-E8075630AA83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710613$87065C95-6332-4658-B7C7-75DC35877A5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fff64b95ed66251659d8619ce0fce1e40c393ce","datavalue":{"value":"The Broda-Damas bracket algorithm translates lambda-terms into combinators using Sch\u00f6nfinkel's bracket abstraction and two mappings. Two expedited Broda-Damas algorithms (EBDA1, EBDA2), are defined, both connected with some advantageous features, in particular, EBDA2 requires fewer algorithm steps for evaluations of abstractions than EBDA1 (useful if ``the speed of abstraction rather than the simplicity of the abstract is important'').NEWLINENEWLINENEWLINEAll the lambda-terms definable in terms of EBDA1/EBDA2 can be abstracted without the use of (the combinator) K.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2710613$76BE58BA-E3FE-4454-8A78-86F7EDCF1A42","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"639db72055e00dbcf7c5c772a4c6714fc15efa01","datavalue":{"value":{"entity-type":"item","numeric-id":587578,"id":"Q587578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2710613$27450401-321C-4A2D-8CE6-FBD406DDB026","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Expedited Broda-Damas bracket abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Expedited_Broda-Damas_bracket_abstraction"}}}}}