{"entities":{"Q5261515":{"pageid":7291083,"ns":120,"title":"Item:Q5261515","lastrevid":91980509,"modified":"2026-06-05T00:33:48Z","type":"item","id":"Q5261515","labels":{"en":{"language":"en","value":"Bidirectionalization for free! (Pearl)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455610"}},"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":"Q5261515$157BAE9B-51DA-4DD1-8697-00B7C5BF6EDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54892af95399558a1da7bb77d1ed3a0f7d2088d6","datavalue":{"value":{"text":"Bidirectionalization for free! (Pearl)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5261515$75838455-3160-4B88-A21E-3E3B6B52303B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adeff83395ec8992d35cd6715cd9b72675d4349b","datavalue":{"value":"1315.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261515$01862E89-6EB5-436F-80E0-48CABD562857","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b40d909ce1fe7bab5a92d57200e0e1b6d6abb059","datavalue":{"value":"10.1145/1480881.1480904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261515$AD1D77DA-B017-4719-9802-257623341B74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"934fdffff0f9ddf6cf8affa63ec8f5198caf4ea3","datavalue":{"value":{"entity-type":"item","numeric-id":347390,"id":"Q347390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261515$C1CF5D84-D58C-4262-865A-AC65BBFAC95F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"46f537985766180e7666197286053366e18cfc41","datavalue":{"value":{"entity-type":"item","numeric-id":5261500,"id":"Q5261500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5261515$7E69798F-2711-4A47-9EA1-1D8003CF8450","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36939684543aa00214e950d282e803789dfc1071","datavalue":{"value":{"time":"+2015-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5261515$EA0A4339-8585-4145-BB6F-1D7537E62F23","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261515$9F202EEF-BE83-4BF5-8D2A-6B7C4911B352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261515$32F4CA5B-A20D-4A94-9CBA-6D8859B2C4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261515$509298AB-D43C-40EB-B1C8-A53408EC4BD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b63c63eda450a35d81a555a167025ef986f7b4de","datavalue":{"value":"6455610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261515$8B0E4AB3-586E-4E05-8122-D04EBE921C67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa2b8296571e7051a9b77ed4d379e1f97876ce75","datavalue":{"value":"bidirectionalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261515$C7CF8372-A211-4D9A-9B47-7222F8555E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573dd28224472be702c32f92d9f2e6fd28822f8a","datavalue":{"value":"free theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261515$A12DBD51-90BD-455A-8519-DD78CB218984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d517d90d43d21c0e033101aac2f2db5cb9a56168","datavalue":{"value":"generic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261515$10F82010-BDB6-4044-A45B-FCA3F3CF730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261515$75EBEA32-C99F-4380-BC66-978EDD5B49C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261515$716B2E0A-7B67-4A7C-9933-A4248D7D0DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"965dd402c53205f69a542ccec90654cc0dfcada5","datavalue":{"value":"relational parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261515$494E78F7-D63F-4CEF-AF4C-5E5720F9F2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d670c39dde6f21f1dd5b67f480b0d61220ceb452","datavalue":{"value":"view-update problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5261515$BBE3AB6A-18D2-4A3B-B634-D3DACCAAC38B","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":"Q5261515$4EBC304F-CCA7-4005-A57F-C316832388AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c1295463a0903956dde49cb463bb3e1d153eb7f","datavalue":{"value":"https://doi.org/10.1145/1480881.1480904","type":"string"},"datatype":"url"},"type":"statement","id":"Q5261515$3520287F-98A1-46E7-9140-FCC0DC50403F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2732bec1a24170fd7b9c1908200e7c2d15fe6ab","datavalue":{"value":"W2024951218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5261515$376FA0C0-4CAE-4369-BA75-F9EBDE55CE30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23eb758babf5a568bd732c67e428108c7dfd6347","datavalue":{"value":{"entity-type":"item","numeric-id":4779176,"id":"Q4779176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1851a07d408483675b6b7a79c277d3cc49140cd6","datavalue":{"value":{"amount":"+0.7275291","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":"Q5261515$EDF8EB08-3DF1-48AB-A085-7C014053192B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b036a5c8a2dacf875cef88782de31024f9ec1d67","datavalue":{"value":{"entity-type":"item","numeric-id":4649378,"id":"Q4649378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c92f55603d994077d4d7eaee7d6b79b469d337","datavalue":{"value":{"amount":"+0.7176908","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":"Q5261515$4EE7CE61-AAE8-413F-94E2-17DE21D5701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4f3d93992674fe3858c4008904eebce9953f2e","datavalue":{"value":{"entity-type":"item","numeric-id":2982013,"id":"Q2982013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160ebda0759b70abbdad1824c49af90d5bc98174","datavalue":{"value":{"amount":"+0.70125246","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":"Q5261515$3CAE27BC-0270-4CB8-96A1-EE9EB80BE83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42df6c1deb70cffc71006cf3045810c08ba7e5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3189823,"id":"Q3189823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"412b00ab487e34cdab43954822b047b5d6bd4baa","datavalue":{"value":{"amount":"+0.69855547","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":"Q5261515$7DC960E4-2F21-40AC-B2B7-53B8CC623B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"034ca37e73b6d3a08fedf0d54d22fd853358d43c","datavalue":{"value":{"entity-type":"item","numeric-id":1725931,"id":"Q1725931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af79a2651c01104dffeb1578cc9ceb59526216ec","datavalue":{"value":{"amount":"+0.69604075","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":"Q5261515$85BF9469-CEEC-4CEF-BD8C-E6B3D3323DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2518e7e972b1ecef5afed44dac35de8ecd95281","datavalue":{"value":{"entity-type":"item","numeric-id":1401248,"id":"Q1401248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49077402e86430c4fe20d70c1b91c6f82961b5f6","datavalue":{"value":{"amount":"+0.6897998","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":"Q5261515$BFF28A25-C4D0-463F-9C77-BCD12635268F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d7ada6c7f5c5a21efd9228ab0d8f10b03a361d","datavalue":{"value":{"entity-type":"item","numeric-id":5178763,"id":"Q5178763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7fbf83f1de9bcc9a843eb5a07c094147d5bd44e","datavalue":{"value":{"amount":"+0.6863495","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":"Q5261515$3BA5EBCD-96EF-4556-84E9-2761B0195311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bidirectionalization for free! (Pearl)","badges":[]}}}}}