{"entities":{"Q2908573":{"pageid":2919298,"ns":120,"title":"Item:Q2908573","lastrevid":51543836,"modified":"2026-01-18T17:33:50Z","type":"item","id":"Q2908573","labels":{"en":{"language":"en","value":"Kan extensions for program optimisation Or: Art and Dan explain an old trick"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6076977"}},"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":"Q2908573$6054C527-18B7-47D2-BF7C-3350304CBA46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ecc54cc8d3939e5b9a21bc5c015b6a044d56f63","datavalue":{"value":{"text":"Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908573$CCFD640A-9749-41F2-A8DF-C615A64E7A5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"994ecd62612aae8e85e51be8b894979f0a7a96e2","datavalue":{"value":"1358.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908573$057C0DDD-85A4-414F-A516-31F9DCB137ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"805513fd355cf78ee700bfb3914c756695089197","datavalue":{"value":"10.1007/978-3-642-31113-0_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908573$F7F1657D-FA7A-400C-B17A-1B9447C5825B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7203456c922c316414817a6a8a5b99d0449fd3e","datavalue":{"value":{"entity-type":"item","numeric-id":700973,"id":"Q700973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908573$E57FEC16-DF61-4C10-8614-32D2A16613CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908573$9CE3D3CA-A06A-4A40-ABD6-68E1159C8BDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd0374f9cee657eee67ac4dd9d79d96d1538c53a","datavalue":{"value":{"time":"+2012-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908573$B415035F-75D4-44B7-A4F0-B8C14D1EB468","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908573$9DEA9DF4-C982-4BAE-8A81-AFE8B49B2073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908573$F60449DF-79CA-47D9-AC0C-458058CE6962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908573$F098D154-2187-4687-B82A-9ED99F046FAF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fe260c7d10a2db0c8d9fd7b516c64fa05020e02","datavalue":{"value":"6076977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908573$91EF41C5-8EDF-461A-A760-D9E472894063","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$461FA7AB-AFA0-48B2-A6C3-245F899F6BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fbdfbc61a91c53e946a6ab07c1feedf79132c","datavalue":{"value":"CPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$BCE70B86-5DD5-47BB-9D36-CFCE396F91D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32706d3cf5c0180dcd1b9d83daad32cee9c1125f","datavalue":{"value":"adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$DD1C88A5-F92A-457D-BA12-36C8F297E55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816e19bb7f6362b1045edf130e6c2b2074c26040","datavalue":{"value":"Kan extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$DB0B9FF2-A30E-4A04-892C-D88206D40C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9cddd38f68b1740e55e9173b44de62dc13920d4","datavalue":{"value":"codensity monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$8953FFD4-E77C-43FF-938B-476A64B7B8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbe0ff6f2c2ded3becccda3386525a2ab1c93d20","datavalue":{"value":"power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$C4B278D4-C350-4ED6-9064-1F38C99082AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7f39d5924184fca21e258f0c06f6e7337065851","datavalue":{"value":"end formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$1F72D5DC-B0B9-4476-9343-7F64E4917178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef8c8515cfe569380d46fe37277b94e9c25ad953","datavalue":{"value":"Church representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$13DA6B18-7432-4436-8808-27EA153E0F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$D7A79CF7-438C-40F5-8676-B44D979AC4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ec777a540f85e174b77cc75c70e39afe935bdf","datavalue":{"value":"string diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908573$D04F0A45-64C9-4EED-ACF8-E4D81D858DFE","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":"Q2908573$B5DDA01A-2190-4981-9B7E-BB286341D080","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e65d79e6822cb3209dc508cb4ac6e58fec13f636","datavalue":{"value":"https://doi.org/10.1007/978-3-642-31113-0_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908573$A32A47A7-8BBE-4F68-9A23-3DC2C3FCDDDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07d725c1a89ad86da6631de0405033424d8e56ea","datavalue":{"value":"W1764096108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908573$F8DA900C-2BC5-4575-88A4-1CF28BD24DBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8afe6f2e7c895513b89152d8d915d4d6d71d3a4a","datavalue":{"value":{"entity-type":"item","numeric-id":3348896,"id":"Q3348896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de4e5f12b39d51d1467c56b66a204c55215aea9","datavalue":{"value":{"amount":"+0.7193916440010071","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":"Q2908573$54C6AF76-4105-4D51-B988-70C9671F600A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62fcada12735c1fea924e2bf1cf594793a712ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2817680,"id":"Q2817680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d19e8bba4e6a7e4cd00c4813d3f67fabfd60d5","datavalue":{"value":{"amount":"+0.715120255947113","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":"Q2908573$600E244C-890D-4EED-B7D9-65B0B270B650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872eb3fd05e81b970653c3ccef1c577119e22cc5","datavalue":{"value":{"entity-type":"item","numeric-id":4281662,"id":"Q4281662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60aa5f4fcc459e5190bb546cadecbf875367b35e","datavalue":{"value":{"amount":"+0.7087812423706055","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":"Q2908573$9D580522-BE5A-4CCC-85E7-12BF3F0F070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecb52c58a91c58550f199c71a32ed18eafd9f793","datavalue":{"value":{"entity-type":"item","numeric-id":2936792,"id":"Q2936792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6234b8dab964dd690c4ac5c34c2ecb8d6f6344c","datavalue":{"value":{"amount":"+0.6996034383773804","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":"Q2908573$FD2FA1C0-A53D-4C47-BC1A-866B84311DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d7908f7cf8e9df9b08b8ceb17b68df2a197db4","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba3f0bfa96349e601dbb051e4a7e0c804d2d7ea","datavalue":{"value":{"amount":"+0.6925768256187439","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":"Q2908573$0858CD19-875D-4F5F-B396-4114842004BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2908573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2908573"}}}}}