{"entities":{"Q5370883":{"pageid":7400457,"ns":120,"title":"Item:Q5370883","lastrevid":41671454,"modified":"2025-05-07T00:49:49Z","type":"item","id":"Q5370883","labels":{"en":{"language":"en","value":"Type directed compilation of row-typed algebraic effects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794673"}},"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":"Q5370883$7DEB5299-A7B2-489C-87A7-9EB21C23744F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfbae0c8b554e159d6cdc3b82d66d85e469ea59d","datavalue":{"value":{"text":"Type directed compilation of row-typed algebraic effects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370883$FC7BDDA2-7EF1-462D-8B1A-116C59038237","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b5b5ca33182bd9512678d799fbb627fa9880264","datavalue":{"value":"1380.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370883$168AA041-E625-418A-8BCF-A49CB8711F63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a2562f56c1538c2227e617cc07036f17a4bc15e","datavalue":{"value":"10.1145/3009837.3009872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370883$492406F6-D8F4-453C-8DC8-DB9C3BAF2C8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27f36de70590d4de7c5b1b245f4e3dfeb746f76d","datavalue":{"value":{"entity-type":"item","numeric-id":2892720,"id":"Q2892720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370883$065222F7-E703-496E-8949-FAB2D54A0BA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370883$190E81DF-D312-4D9A-90D3-D7D1B8DB9810","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370883$670751D2-2615-494F-8F46-86D2634409EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370883$6DEB098F-842F-4673-9C29-0DD573AEA289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370883$096A3B1F-8847-4BD8-9A35-E910F421BC34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf0c2fb2b59dd056971575cdb3ea231452ba169f","datavalue":{"value":"6794673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370883$D1E4506C-BDF0-46D1-AFE0-E61E4AF47253","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e6141669ac0c20a87c0714acb8e117f800d1758","datavalue":{"value":"algebraic effect handlers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370883$5CC1BFA4-58D0-4251-9A10-C9CEB9E6D4CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26e40233afd4af678128085a70b4daf737ffb48","datavalue":{"value":"CPS transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370883$FAC30FFB-9EAC-4123-94A0-A5AF80AE0F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370883$F9F641B5-BEF1-45DC-BF3A-8051A1A9B742","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370883$4F47A117-E0B0-48AE-9225-A250FB3B92EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fba8757780672e40a4200f1b2a922103400cb200","datavalue":{"value":{"entity-type":"item","numeric-id":30899,"id":"Q30899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370883$E2CD1649-E6AE-479C-8E7E-175D6B31D13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c23a9395dd5b0f23fd8cfc5a28c9c3aaa5f849fb","datavalue":{"value":{"entity-type":"item","numeric-id":53512,"id":"Q53512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370883$F5C963FD-F711-4D20-B438-90E4799D4805","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":"Q5370883$1F41B851-536E-47B8-8D24-528541E4EC26","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a21a3618a61ed9b81e68e3c621a3bf7f5933ec8","datavalue":{"value":"https://doi.org/10.1145/3009837.3009872","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370883$361F7B4E-FC84-4CC0-B36D-33245775ABA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb56c16727cb7d469770a0e2c20a27f6dd82160e","datavalue":{"value":"W2561708922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370883$973FBB76-330F-4B1D-897B-CCB72A6C9BEF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"19c2c716a84e925bd0c9ce878b163f5a28bb0a20","datavalue":{"value":"Q131127729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370883$E62DFCFE-9E13-489D-8A0A-BFC3B507E591","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b655a57eb636dabfb5aa5918511c48c0830e50","datavalue":{"value":{"entity-type":"item","numeric-id":6111455,"id":"Q6111455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fd93d49f2cc5ae78b487007a127f3e331507ac","datavalue":{"value":{"amount":"+0.8550533","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":"Q5370883$DB77627A-45DF-4E80-A6AA-87284C88E427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a5324825a2c42612d8cdf741c2841c5ea254fe","datavalue":{"value":{"entity-type":"item","numeric-id":5244796,"id":"Q5244796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2246bd897151d65dfb22990d98606ab4f00c5a6a","datavalue":{"value":{"amount":"+0.852069","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":"Q5370883$AA59D02E-4015-4645-B591-6777565467AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940723fd7e6ea9f480a9accdd2cd50405f238aad","datavalue":{"value":{"entity-type":"item","numeric-id":3736891,"id":"Q3736891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"486677de1c4b4db2b5c7a92e56410868ea5cf896","datavalue":{"value":{"amount":"+0.83856636","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":"Q5370883$0C510702-8206-4218-A0BD-4309451B7F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fa112c6a994181899e43f35de7f7ec3a4b70ca","datavalue":{"value":{"entity-type":"item","numeric-id":3521992,"id":"Q3521992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ce6a2ebc8916029309a12ca2dd6788175b5b295","datavalue":{"value":{"amount":"+0.8355139","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":"Q5370883$04074140-0AF2-46D5-996A-CFBACA804957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3822394d283f7cc115cee706cbd344a2ce5c8b","datavalue":{"value":{"entity-type":"item","numeric-id":5348926,"id":"Q5348926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7879423d70ccd341b339bbbf73993a00985d2ea","datavalue":{"value":{"amount":"+0.8316309","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":"Q5370883$9E453136-1945-41A6-AD4A-7DD2210D6BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d647bad39de915935b836362a2d8848fa1eb6f","datavalue":{"value":{"entity-type":"item","numeric-id":535623,"id":"Q535623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd98ef8fc84f2c0fa542894a2e3477024139457f","datavalue":{"value":{"amount":"+0.82874954","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":"Q5370883$76ED2931-6B8E-4902-95F7-57DA03F3331E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9780eae0a34f2bf652daa583b96cc2f0a8ae73","datavalue":{"value":{"entity-type":"item","numeric-id":3644752,"id":"Q3644752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e58c99f960c93446aeb819967d86bca20288688","datavalue":{"value":{"amount":"+0.82830423","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":"Q5370883$04F4B128-4274-468E-8A27-CAA66A61981D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370883","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370883"}}}}}