{"entities":{"Q283736":{"pageid":285503,"ns":120,"title":"Item:Q283736","lastrevid":60640149,"modified":"2026-04-10T18:13:47Z","type":"item","id":"Q283736","labels":{"en":{"language":"en","value":"Coalgebraic update lenses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580850"}},"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":"Q283736$415FDB67-7AB3-44B3-9F13-3E02D09D9520","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e017aacc9385df8cc2407daf78fc06b8048781d","datavalue":{"value":{"text":"Coalgebraic update lenses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283736$698E9AAF-829B-4E72-8873-CB213EA76702","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b17816ff8c224dd85ecfdc6727561a0801f300bd","datavalue":{"value":"1337.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283736$8D2CDBF8-BF10-4551-8FDA-2A3F2C5771A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dcd7850e46a0b0acd4be366ca173c3191291ad8","datavalue":{"value":{"entity-type":"item","numeric-id":265790,"id":"Q265790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$DE06BD69-AE74-424F-889B-83BE95244AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$DF09F932-0AAD-4219-9C7F-198127329355","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283736$26E7151E-9146-42FB-BA9B-7F6C26D8E9D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283736$570CD12D-DAC8-4C01-A4E8-9A15E6AC0D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283736$D6086E6B-32C2-430A-8998-10A43DE6252C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283736$9CA4506D-652F-4949-9210-ECDAF536EF15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e531ea82b5585ecea5d7c5c7eb380b1e4d74a50","datavalue":{"value":"6580850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283736$03CF45D5-1269-46FF-974F-B80209431924","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a289d59a4a184861187e67a8c6219e217bcaa7a","datavalue":{"value":"lenses","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$6382BBA8-6E24-4DBC-AB3B-03154BF2C1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dd63649bc42cd8761636bf82ada7e534f568f45","datavalue":{"value":"comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$50F1C044-5BD0-49C5-BA32-BD53581A5F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$C043D029-2A94-448D-BE78-72E0F8CDF82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbfdeabc9d9c8d23822e01288875f022a98a7da0","datavalue":{"value":"coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$868FF846-C1E6-4BAD-915B-FD5A62BB523D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8d3650413ef81e939c9dd325e2f0da76d740640","datavalue":{"value":"algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$C08F3686-852E-4EFF-9634-93FF033FFA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc9090f53ccf4afd15ae67ea0d85c1a629d69d","datavalue":{"value":"bialgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$2FE7CA31-44DF-47DB-A346-30CC91AA2171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b681e5e76ee6e412b156689781ac06af17087f42","datavalue":{"value":"distributive laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$627D3428-9D88-42D5-BF55-55C1D5794BC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed07919d1b866f2d751edc03157201edfe74ce3","datavalue":{"value":"liftings","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$6DD26615-566E-422D-938B-3B4EE36758B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ac1fd44c2b188bc22eecd13541ed976d618f227","datavalue":{"value":"monoid acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$024A42C4-9D8B-4051-96C0-2FAB8D883C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a5b06b8833170dce23d7d0f2acf6bda47dc0d2","datavalue":{"value":"directed containers","type":"string"},"datatype":"string"},"type":"statement","id":"Q283736$70489609-ACE9-47A6-9C15-E1B31ABA6DAC","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":"Q283736$7B5B7F6D-7542-4AEE-BF19-FD73BF55B7E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43efdd9caba8cf5068dec1a3503e8648047727fc","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q283736$97272251-1DE8-4887-85CE-277E32359A30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6a7117707566dd6ea1b4816d282ee51e47d12a2","datavalue":{"value":"W2096533573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283736$A66EBD07-51DE-4FE7-BA26-9201E0232373","rank":"normal"}],"P223":[{"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":"Q283736$7270066E-D038-4B7A-9643-1B58850D5DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a5d58cc17b672f689c9afd725f5cace8fc5b4a","datavalue":{"value":{"entity-type":"item","numeric-id":2878762,"id":"Q2878762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$2C41CAC6-CE8C-42A3-B969-1D3F57491D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72562a6f8d0ec0d7167987906e0b0a5d60e46059","datavalue":{"value":{"entity-type":"item","numeric-id":2968407,"id":"Q2968407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$43D30C39-374A-4891-AE91-F4571752B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$CBC3E9A2-E322-4072-9F23-40311E47D68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$C2C535D2-236D-4605-859D-88CE1E5A25FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfebed2dfd055b7c0ce0c9700bf4142282266dbc","datavalue":{"value":{"entity-type":"item","numeric-id":2520849,"id":"Q2520849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$3D7800D3-8E9F-47BE-AA57-2E91E842BE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff5dac3a7e106779353b95ae20f87da9089a9c5","datavalue":{"value":{"entity-type":"item","numeric-id":5178774,"id":"Q5178774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$6D2A11AB-6ED5-462B-B82F-56889B825AA7","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":"Q283736$8BC620AB-F073-40F4-8CDE-4C8580FF6020","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":"Q283736$C6DDBE5B-4ACA-41CD-BDF7-03FE8927E65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$3B1EBF65-7BF5-4640-AAE7-EE64BB15D362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb18edc7e5f742f1a136502e43f100ac8661b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4929408,"id":"Q4929408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$ABB3DC47-A5D6-4913-92DB-DB7847B2C3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$00D0F631-E344-4751-B85C-D83384D41E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43eb2c43d326a029ed0ae4e6800e57491b8620dc","datavalue":{"value":{"entity-type":"item","numeric-id":2847820,"id":"Q2847820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$B9340693-E329-4F29-A264-F100E9B205BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90085dbe273edb3ca478a8ab8409461b528e817b","datavalue":{"value":{"entity-type":"item","numeric-id":1603819,"id":"Q1603819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283736$B8054E0B-BF03-4DFD-90AF-ADE031D18BF6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"46ecc4aae9ac7fdf50a07ad1186ec65d2cd4ab39","datavalue":{"value":"Q113317853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283736$93E9220E-7BFC-4C84-8A6A-32EBBA9234E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c59687bdab7bdd49b6b65f9c01055d2df5910471","datavalue":{"value":"10.1016/J.ENTCS.2014.10.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283736$B92C3BF3-0574-4F18-B503-4EB87B41D893","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6f127dcfdb139a0f9729ad5b6ba0d3d03243cfe","datavalue":{"value":{"entity-type":"item","numeric-id":2942897,"id":"Q2942897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2487f83ff7b96c1efdcb711187aa4e97d8f16ae","datavalue":{"value":{"amount":"+0.8217329978942871","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":"Q283736$2D4FBBE9-C50A-4EA5-ADD2-3040B7E77037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5a2b55ca87a60ae136cb2d201f1b67cf70d3bd7","datavalue":{"value":{"entity-type":"item","numeric-id":5408557,"id":"Q5408557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18645889ab2b6e598e2438d543fecd709c6f62a7","datavalue":{"value":{"amount":"+0.818370521068573","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":"Q283736$4E45DE31-CD04-4E57-B4B1-F77CB61EDACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc92093672379b321296a1bbe10d5c6b290a935","datavalue":{"value":{"entity-type":"item","numeric-id":3575279,"id":"Q3575279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfddbf0c5799ed7bf74e8a64e6772694dee00b43","datavalue":{"value":{"amount":"+0.8114678263664246","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":"Q283736$C3EF940A-A835-44EC-9F78-BB0C044D0176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c58ce8e3c0256f1cb8e60c56ac6d61fac94f2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3540384,"id":"Q3540384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3052437fdfc0ffde4b5303261ce24bdab9b7af84","datavalue":{"value":{"amount":"+0.7906497716903687","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":"Q283736$E42F2832-FC3D-41F8-AA22-F6558D1579E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7994ae509fef4d96d7a554c1c9e281e3f3a156ca","datavalue":{"value":{"entity-type":"item","numeric-id":3225736,"id":"Q3225736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518ce12b9fed31a1fb5a048b4881d484f78f5322","datavalue":{"value":{"amount":"+0.7905332446098328","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":"Q283736$17243545-D606-4113-AC99-187DD290C2DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Coalgebraic update lenses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Coalgebraic_update_lenses"}}}}}