{"entities":{"Q2909735":{"pageid":2920460,"ns":120,"title":"Item:Q2909735","lastrevid":58065918,"modified":"2026-04-03T16:19:34Z","type":"item","id":"Q2909735","labels":{"en":{"language":"en","value":"A duality between exceptions and states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6078318"}},"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":"Q2909735$0F7BF517-900D-4DBF-BA30-B84B2679B1DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa4a634d4991cbb28fb869e1c5d7a01b4c1a9235","datavalue":{"value":{"text":"A duality between exceptions and states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2909735$199668D8-62D9-4D6D-AE7C-00C5380182B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f184f1018046e1c2f23c6ea695066c43220e55b8","datavalue":{"value":"1280.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909735$B69ABB55-823F-4A45-AA87-D58DAA772868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5bcfc88db8b65b590af1c1f2c532f86920b77a95","datavalue":{"value":"10.1017/S0960129511000752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909735$46EC770C-0C41-4024-B458-E44398674954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f63635de34ffb57bd53fe5d5cb03c7540f6090e8","datavalue":{"value":{"entity-type":"item","numeric-id":384992,"id":"Q384992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909735$F4DA2C8C-E3B2-4776-8E1B-800A85D7502F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0053237aafbf1f84d532ac720618bcc7a9399d88","datavalue":{"value":{"entity-type":"item","numeric-id":382411,"id":"Q382411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909735$30C5108D-9114-4215-9A43-5F9704A484DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe4b2a3a3f683361ec875ddad83589153919555","datavalue":{"value":{"entity-type":"item","numeric-id":540333,"id":"Q540333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909735$498CB02A-BD88-4DCF-B752-3578ACE8078F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e9603c1eb2a0329f978be13f9e3c8aea04a633b","datavalue":{"value":{"entity-type":"item","numeric-id":631571,"id":"Q631571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909735$D3E0F524-C76A-4DAB-ACB8-B54941793310","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2e785076c925608e90781bb4173656a454ded85","datavalue":{"value":{"time":"+2012-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2909735$2AD7AB96-9B12-4873-8627-ED706707E3C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac0414c3e653a5410ca5d82538e9added222c76c","datavalue":{"value":"https://arxiv.org/abs/1402.1051","type":"string"},"datatype":"url"},"type":"statement","id":"Q2909735$50B47BAD-1248-4717-8492-4D69DB51B8CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909735$445BF740-FC5E-4F32-B308-A65F55E73B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909735$07DF1A4C-76BD-49E6-8FD9-5F9055729A8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7114449800a86561811ae16e6f22bb1910294943","datavalue":{"value":"6078318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909735$B54D478D-D4AB-4E35-9378-D4AEDBD3E04D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd6bcf6ef313c81380a963fa5d9c036f751f485","datavalue":{"value":"computational effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909735$FF4A8B89-D72F-4152-A8CB-99276FA1CF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a37c687c7ebe14087b2a5a9e2f739205b5c620","datavalue":{"value":"exception","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909735$5F2619F8-1BAB-4FDC-8A4C-8FE0E9C66B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909735$A1227A86-27FE-423A-948C-44EFC2FE93CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909735$BC6CD402-A260-44F0-AC36-653DAFEC74EF","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":"Q2909735$47A0EA97-693B-4025-A624-051506622F74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909735$94585C00-72DB-462C-BBA7-FB17EFADB55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b1ed24dc50793e308079ef8e2bfc8aa15ae2a1","datavalue":{"value":{"entity-type":"item","numeric-id":3617692,"id":"Q3617692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909735$DEB02904-3F4A-4E00-A0DA-C0AD298D5DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00e500de8f32234bea3038b3f0450506820829a7","datavalue":{"value":"W2101091770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2909735$5E5D0C32-9FA8-4E0B-8412-843A151DE5A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec159f1e880362cf671a113c6496de63141fbbf","datavalue":{"value":{"entity-type":"item","numeric-id":6768254,"id":"Q6768254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909735$DB09CA6E-6708-479C-B21F-156537454598","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ded7bcafcf0813191cc102e04285f7035b7c9db","datavalue":{"value":"The short note proves a categorical duality between the handling of exceptions and the structure of states in an imperative language, once the control is dissociated from the elementary operation that recovers from exceptions. Both are defined through commutativity of certain diagrams which are formally dual in a categorical sense.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2909735$7CC2F5C4-3B44-4E8C-A959-A91C5218374F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bd8c91b20d989f47b6d5b40572fa0e13a50d9a56","datavalue":{"value":{"entity-type":"item","numeric-id":234453,"id":"Q234453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2909735$1CEEC9B6-E301-48F0-89D0-5A1C3668D5EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d759528acb4428794d376b62f41d0336dbbce0a1","datavalue":{"value":{"entity-type":"item","numeric-id":4518889,"id":"Q4518889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037da7cd2734b9796777271b14d0a61a59e96ff2","datavalue":{"value":{"amount":"+0.7512944340705872","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":"Q2909735$19096647-6608-41EC-B868-C868B5742538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f5a782de7e192e6901a541668781e5a11b1faf","datavalue":{"value":{"entity-type":"item","numeric-id":2851326,"id":"Q2851326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfa55ad46b55e7c21d301a9483ec3d7038b06c7","datavalue":{"value":{"amount":"+0.7459630370140076","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":"Q2909735$9FEFC7E6-C0D8-4B0B-9EA0-7843DD31DD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6cc43b6ee915421273e64836307ea1eae42fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3617692,"id":"Q3617692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b83d24efaa3422b788f1af352937e880e109d3c","datavalue":{"value":{"amount":"+0.7295686602592468","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":"Q2909735$6FAF0695-BDE3-4DAA-A45B-F80D160FF88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c77d2c3983a550be9adb15153d61cad45b5bc90e","datavalue":{"value":{"entity-type":"item","numeric-id":4738223,"id":"Q4738223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38f532522e950bfd9c8b91a84ad13905d8a5af9","datavalue":{"value":{"amount":"+0.7295099496841431","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":"Q2909735$73A6FBF6-B894-4609-9649-1F52A9FEC258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b2b05974fc39a5b75af7ee2e4c4662f8a26956a","datavalue":{"value":{"entity-type":"item","numeric-id":2871476,"id":"Q2871476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001ef459472c4b3cd6a5cdb0a3e6189b9c85564e","datavalue":{"value":{"amount":"+0.7242213487625122","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":"Q2909735$2BD1BF81-0D69-4328-9B5C-E885B7F3D264","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2909735","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2909735"}}}}}