{"entities":{"Q2942885":{"pageid":2953605,"ns":120,"title":"Item:Q2942885","lastrevid":52343420,"modified":"2026-01-22T09:45:30Z","type":"item","id":"Q2942885","labels":{"en":{"language":"en","value":"Algebraic foundations for effect-dependent optimisations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481260"}},"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":"Q2942885$4723B287-5338-4D2B-84F5-29DAB5AB2CF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2e2e39bb8348f7749bb408dd3718199cefd2f41","datavalue":{"value":{"text":"Algebraic foundations for effect-dependent optimisations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942885$2CA82872-2C4A-4209-9551-14D62D4567EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c29d230cc83ac47c6cebf66c512661f9a9e8003","datavalue":{"value":"1321.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942885$ED02D94B-7C8C-4352-A92E-A11597762CD4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c18c1b8fc07573467b173a1d81c1f0e231d1c0a1","datavalue":{"value":"10.1145/2103656.2103698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942885$FFD1E3D7-1A77-4BE3-B771-53F83FC6A40E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e240c57f5cc9b4782bb905d53e629d9b003f70aa","datavalue":{"value":{"entity-type":"item","numeric-id":2134830,"id":"Q2134830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942885$933E8243-6365-4F2A-AF17-9B58FE6590F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387a3219b709013614b6a72c3083dc1a75c5189c","datavalue":{"value":{"entity-type":"item","numeric-id":371257,"id":"Q371257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942885$7F615A45-3918-4EA4-A378-7022196F74C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942885$B734D4A8-6C51-4E50-97E8-BAF6A79A962E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942885$21A8B2DD-4110-44A2-B560-D95E906635F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942885$FEFDCD34-888E-419C-888B-A83322A5870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942885$B309B20E-6576-44DA-A9B6-A498D23785E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"894718debc91d90c6f86dc1645fcf8740156e9a6","datavalue":{"value":"6481260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942885$1EE52B93-1557-410F-9A5B-E774C0E6744E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab8dcda7845bede8bbe0ffff46a6400857e30e99","datavalue":{"value":"algebraic theory of effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$B95644A0-5737-4371-B58E-934382365785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fb84930e1ac9108ddd697c730f78d686fc511e","datavalue":{"value":"call-by-push-value","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$6E2432E9-5307-434B-81AA-F927E0476540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffa6087f79452e4e78dad236a793f6cc3b5b19c","datavalue":{"value":"code transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$B719306F-2810-41E7-85D1-983A179BFFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74d2c6e748afa3ed6850b3722c144c2fb5ba2e56","datavalue":{"value":"compiler optimisations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$FB8D4920-E8B6-490D-B511-42D832F1F00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$BE511F1F-83C0-44E3-880B-A6862769F6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$76D52220-C1B0-46C1-8031-E8AE2770A6AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$8846F3D0-0CA3-44F9-A482-577BF31B3D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d96fd46a27fbc3339d7b22415d37b71ac625dac2","datavalue":{"value":"inequational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$19397934-2F94-44F9-9B91-0A5204588A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a0731f81fb68ed6a6199c5eda142d6d6830c39","datavalue":{"value":"relevant and affine monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$4EE758FC-9A28-42A5-9663-D91072F7EEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a687346296ef36d87664fafe44d49562efdbf6ee","datavalue":{"value":"sum and tensor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$EE9F683E-8B7C-4FC7-8D4C-1DB9B5012EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c414403643a473aa76edef8cf1861d80e4df020","datavalue":{"value":"type and effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$9BC95455-50A2-4B65-93B1-2C70B80E4480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a188bc590546995974b55a3f2f84f00e08b2a9","datavalue":{"value":"universal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942885$202AC0E2-66F2-424E-806B-F0FF58D7B653","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":"Q2942885$DBBB5940-DC35-4E80-804F-4811887FDEBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0508311d5daca37cd6fdf85d010b0ce8a3558e20","datavalue":{"value":"https://doi.org/10.1145/2103656.2103698","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942885$92FCB5E4-18D3-444B-8CA0-576CE380FA80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"592095858ae72ccb3812d087acab2ff96cc22af0","datavalue":{"value":"W3160062581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942885$D7827C21-502A-49BB-B5B0-CCBCA92F1BBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5e29fb8f06ee08bf86e6868491e0415733cce6","datavalue":{"value":{"entity-type":"item","numeric-id":5120228,"id":"Q5120228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56706d69d5cd7828697dcb1f9f9954072bd3caab","datavalue":{"value":{"amount":"+0.7505922913551331","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":"Q2942885$7AF0217C-C673-4801-8A20-CDC29241E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8a7e54422306ef6836845c47bdc9cfcaaa6a5e","datavalue":{"value":{"entity-type":"item","numeric-id":5891182,"id":"Q5891182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136c48aa919d4675844643f6b23b27d4e31e9332","datavalue":{"value":{"amount":"+0.7344138622283936","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":"Q2942885$13CFF73D-31CF-4D90-ACF9-1236350583F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55b518aae1ad3e69b25a3f42324daa402412ed81","datavalue":{"value":{"entity-type":"item","numeric-id":5892064,"id":"Q5892064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7745ccc00c85a700fd61b12e2cfcc6dffe3aa6d","datavalue":{"value":{"amount":"+0.7196266651153564","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":"Q2942885$E8936779-BBEE-4E58-9E64-F3A6201FEE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd295948025b09ea9d83f7785833aa9dfb232c2c","datavalue":{"value":{"entity-type":"item","numeric-id":2941182,"id":"Q2941182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d88f1c2ae55dbb374113ba9d827e6e5395cffa","datavalue":{"value":{"amount":"+0.709130048751831","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":"Q2942885$99C896A9-20AE-4193-909B-20D03B816B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed877fb2cc7aaebb9f4eb91b3bae44099c42b0fb","datavalue":{"value":{"entity-type":"item","numeric-id":4499197,"id":"Q4499197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc0b450693f2424ae8edb60ebf9f3770a7d21c8","datavalue":{"value":{"amount":"+0.7071309685707092","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":"Q2942885$D882EAE1-1FE6-48B6-A8DC-1A8A7A0B276A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942885"}}}}}