{"entities":{"Q2123055":{"pageid":2133798,"ns":120,"title":"Item:Q2123055","lastrevid":43525625,"modified":"2025-08-25T08:32:32Z","type":"item","id":"Q2123055","labels":{"en":{"language":"en","value":"Generic recursive lens combinators and their calculation laws"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7505207"}},"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":"Q2123055$E7AC5DAF-D56F-4CA2-8CE1-7511224891AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1de973e78c1611eb346daef6160f9d2a4f3908e9","datavalue":{"value":{"text":"Generic recursive lens combinators and their calculation laws","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2123055$EA5376D9-2FBD-4F68-A844-E969BE15A589","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"682a0448685e868f4e7fd27c5d91a7578b5ccec0","datavalue":{"value":"1499.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123055$7F7E2385-25DC-4D0B-8CE7-C67B6520D817","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b757a998e1515d90ca6c8714dbee4bb15ce8684d","datavalue":{"value":{"entity-type":"item","numeric-id":2123054,"id":"Q2123054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$99B1C418-532A-4603-B35D-1424BB3219E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20262fd99a0096946ca41e5051e1c5352b288570","datavalue":{"value":{"entity-type":"item","numeric-id":702008,"id":"Q702008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$90945A00-B74D-4665-88E9-769D5EC0BD4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$8BCD60FD-792E-4606-9455-91D12A2B9494","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a2f352e7a542b4980d82f437cd18f5554f8da75","datavalue":{"value":{"time":"+2022-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2123055$CB89D563-B749-4D18-A82D-021159D9281A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123055$96701208-7C45-4A98-8F9D-0E6CC3018DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123055$BF07F3CF-7B29-4BDF-A31B-62A8911F827A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee1c7468691d916ff3a41a18ea39d98b36b45959","datavalue":{"value":"7505207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123055$644F0695-9CCB-4ABC-B584-B4BD5574771A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ea4af1d073446004eb0b9af503f56d831271954","datavalue":{"value":"bidirectional transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123055$7EA35814-1872-4458-980C-6C71B6344B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7ebf2fb8348b7d9defee8efa658bf41bb542db","datavalue":{"value":"program calculation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123055$9233B4B4-BBA0-42B4-B790-9B3B908747A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2032ccabb55a9aa3ed4d55c898800d3bdac6ded","datavalue":{"value":"programming language theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2123055$CC345EEB-5A78-4F18-BC87-10F94D5AF99E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$F07F346C-E4FB-4437-864C-45845D86B9AD","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":"Q2123055$3571C69A-C8E0-4D42-8821-BCDFD3EC0339","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e866b7027c68e8f266d52689e8ffdddbd2aef531","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2022.02.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q2123055$C914DB7E-06EF-4ACD-A5D6-F34F706A7F31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b86c7b9892ede7658ced59d88f8b9b98375e405c","datavalue":{"value":"W4213199541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123055$BF72945C-17FB-4A46-A1FA-8CB8475B6D76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f32365b7a322b24cf5d5cb10fef31efa05053a","datavalue":{"value":{"entity-type":"item","numeric-id":4162630,"id":"Q4162630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$6136EE86-1543-4B8E-A9A8-14059A407281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688982e4aff111d509d08f1631ddb3e68d67baa9","datavalue":{"value":{"entity-type":"item","numeric-id":3575279,"id":"Q3575279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$242C7487-CC32-43B2-A2D4-04497198ACBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"151fedb7cd9feb7c7cefaaad81a60e3553ce92c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281667,"id":"Q4281667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$2DCEDF0C-FE06-41C1-8FD9-4558E7AC532D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$A710C55A-2B00-4F6E-B401-DD5286C58BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4fee9be7bf3ed279fea03d86f7104947574770","datavalue":{"value":{"entity-type":"item","numeric-id":2942897,"id":"Q2942897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$0C0FAE47-72EC-4601-B67B-F0789B5DAA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87b4ed7731028b5ed63e9b6b85380602669d8ad","datavalue":{"value":{"entity-type":"item","numeric-id":5408557,"id":"Q5408557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$6EEB54A0-A39C-4D27-8C08-01FFA19F1A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b936d058ef51c3d5753ff21eaef1fc6a2447f9","datavalue":{"value":{"entity-type":"item","numeric-id":5464046,"id":"Q5464046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$2EF6D218-8C53-489E-8222-E7F9DB98772F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53d1b5dbabfa4a05e9cbd66d4a8f6f09652433d","datavalue":{"value":{"entity-type":"item","numeric-id":5168924,"id":"Q5168924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$DD080CEC-2A19-4B2E-BE30-F18297C205BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff9ed74bfc734a0735a31103b9d379dc0b6c57a","datavalue":{"value":{"entity-type":"item","numeric-id":5261515,"id":"Q5261515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$B63566AB-1106-4128-AAEC-19A79297369E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$3987FD00-4DA8-4E0B-8B1B-5C076CB362BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14d3c940a5cb5f7068f644a997c203fcc785357","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$A61FA5C4-902C-47E9-9770-0FE264E7F250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6df64544c0eec8ced5b78fbd60e68d3ae563cd8","datavalue":{"value":{"entity-type":"item","numeric-id":749197,"id":"Q749197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2123055$694F9610-9083-4243-9FFF-42599CD7D8B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b6163a6230a1a15dbb83ddf8e12e23696ac35fc","datavalue":{"value":"10.1016/J.TCS.2022.02.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2123055$1B2704C3-6673-4BAB-B7A6-DFE479A67077","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ab7638bae12062560c16454fe16af5a5574ee6","datavalue":{"value":{"entity-type":"item","numeric-id":4715567,"id":"Q4715567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21652f951301fecfe993fd64264dcae386b67964","datavalue":{"value":{"amount":"+0.8495495","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":"Q2123055$7B4229E0-034E-40C6-9FDF-6945143F42CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb485e9fd4932ac3f46f79ab63faf36a264c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2765926,"id":"Q2765926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eb57c574d8e0a49ded1d4f3f7bdd8cd63b6828c","datavalue":{"value":{"amount":"+0.84817123","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":"Q2123055$0E6DF632-127F-4772-9937-7E73316BA432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11500af5d0ea3694dcec1670fc3175a87a84087","datavalue":{"value":{"entity-type":"item","numeric-id":5843358,"id":"Q5843358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48a5693f8cb66735ac135e4bb8f2dec4bb071489","datavalue":{"value":{"amount":"+0.8415229","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":"Q2123055$B8C785EC-352C-44DB-A6F5-162831999318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c9b4e47b945e8831f4bae2b9851d4dcf58d9d6","datavalue":{"value":{"entity-type":"item","numeric-id":5145323,"id":"Q5145323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f4a0e04c9a000d0410ab8881bb0f5ffec2d7e6","datavalue":{"value":{"amount":"+0.8349813","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":"Q2123055$13D5D588-9470-4016-A86A-B0391E31B72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35a8f9fef2b3b8bea305cf37e5e01eb25074f3e1","datavalue":{"value":{"entity-type":"item","numeric-id":5554973,"id":"Q5554973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bf59ec01781b5d4b836a9655cced090298cd1c9","datavalue":{"value":{"amount":"+0.83461857","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":"Q2123055$5BD8D3B0-E9D6-44B8-B12F-4AC538B9FEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25a8b5f3b287c6fde92a7eccd6b0c76feeed93f","datavalue":{"value":{"entity-type":"item","numeric-id":3727983,"id":"Q3727983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85765a2ef28c8f1ebcd1cd5ee1c3ea94878dfb96","datavalue":{"value":{"amount":"+0.8343505","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":"Q2123055$ADA6C25C-D30E-4584-8112-2F6C5B6AF546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8a5485110591be4852e46709d9cb6b2eae56d8b","datavalue":{"value":{"entity-type":"item","numeric-id":3203736,"id":"Q3203736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b941e8c4f851acf486b50363b8b1014f9207b79","datavalue":{"value":{"amount":"+0.83324695","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":"Q2123055$FA1DC522-20D4-43FB-8DB6-F35DD1ABC695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4bee42ed88e50b52e0f4c743875b2ad74dd3dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3845375,"id":"Q3845375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acff930a176b43d312bfd952a67ca5d47f13ddbd","datavalue":{"value":{"amount":"+0.82731885","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":"Q2123055$1FB9876D-4EBD-46EB-A6D8-D764A48B31CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77691aaa76549be68c379aa4e82003c863b4bc6","datavalue":{"value":{"entity-type":"item","numeric-id":2119035,"id":"Q2119035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c8db731921cd01a0a5dc1d05db2c9d7b441171","datavalue":{"value":{"amount":"+0.82547545","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":"Q2123055$AE57DE36-D5E6-4FAA-8D19-CA2C2A0999E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2123055","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2123055"}}}}}