{"entities":{"Q2828265":{"pageid":2839003,"ns":120,"title":"Item:Q2828265","lastrevid":52656293,"modified":"2026-01-23T05:06:56Z","type":"item","id":"Q2828265","labels":{"en":{"language":"en","value":"Dependent types and multi-monadic effects in \\(\\mathrm{F}^*\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642957"}},"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":"Q2828265$9837A126-3452-428A-9FF3-B33E23E320E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836b6b1c16efbd67fe05c513eeafdb01bca12be0","datavalue":{"value":"1347.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828265$49825956-D382-4799-BC2F-9AE0370B97FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2f46cca35f6138fad2da146f34e628e9657166a","datavalue":{"value":"10.1145/2837614.2837655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828265$52726DD0-166B-493F-84C1-1E6D2792E4ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c43047206e58c5aa24afe8babee124065c6b77","datavalue":{"value":{"entity-type":"item","numeric-id":2819800,"id":"Q2819800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$436081FC-BC33-47D7-9A5E-12A5D496B738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dca520b2b44c51b0ffb92f2dd255590e5e0e273","datavalue":{"value":{"entity-type":"item","numeric-id":2324195,"id":"Q2324195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$4F70470A-8E90-491D-934C-9EEE232D6B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e50206a6040e5309045ac8ce1bd781dc58d9c2","datavalue":{"value":{"entity-type":"item","numeric-id":1683462,"id":"Q1683462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$F0C90882-A5AB-49CF-989A-990521DD9D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4efe461cd9841e8acab75aaa516869b7bed4e3e1","datavalue":{"value":{"entity-type":"item","numeric-id":2819799,"id":"Q2819799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$1F53CE3B-CA95-408F-96CC-4DD610D6B9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5674e5208582f5412383dff7db7b6bfc9a128c4b","datavalue":{"value":{"entity-type":"item","numeric-id":1710671,"id":"Q1710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$35848504-BD8C-4A82-B3C5-3B92D7CA6CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115173933d814563145ad3d1217bc76494a5bc2d","datavalue":{"value":{"entity-type":"item","numeric-id":2828262,"id":"Q2828262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$DAED4536-583B-4CA4-B090-850FD0582C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c68535838fd2019c488fecc0f4dd99c350a7f3e8","datavalue":{"value":{"entity-type":"item","numeric-id":557892,"id":"Q557892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$CC4EBC8E-6BC4-4D1A-8CF2-8494B7DDE507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1745bdeb092262739da6d0fd18a64d1c3c06446d","datavalue":{"value":{"entity-type":"item","numeric-id":2323969,"id":"Q2323969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$3C594DDA-FE2D-466F-9A0B-BC93FAB57185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4f248958cb0153534d1c4548bdc822c3a420067","datavalue":{"value":{"entity-type":"item","numeric-id":321314,"id":"Q321314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$8666EB03-FDC1-480A-AB19-2E41F584ECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e21c6abcdeeea3a1e82b2425bafc9053dbba468","datavalue":{"value":{"entity-type":"item","numeric-id":2828263,"id":"Q2828263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$75E0498D-3B0E-4609-B704-24A2BB7C7BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b350b305ba5692b2409809a226253975c56090c2","datavalue":{"value":{"entity-type":"item","numeric-id":2828264,"id":"Q2828264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$18D3EBA2-19A9-40D0-AE37-6A5A1E89391A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc3bbc8146d8b3b4282d333dce118410bd01d27","datavalue":{"value":{"entity-type":"item","numeric-id":557893,"id":"Q557893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$399403E1-18B9-4465-AD2A-14C0E76017D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$E9464816-EE9F-45EF-BAAB-D534AD8C9429","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828265$9F520B7D-79D4-423B-B551-9C2266DAEEF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828265$16D77407-9C16-43E5-A56A-DDE9F1AAD7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828265$11067455-B021-467A-895A-65218C8E798F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828265$AAFC407D-BAFD-409C-92D5-FFED0DDA7F68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78aa7ec0cffa9af01e7049917c34aa7c8010c681","datavalue":{"value":"6642957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828265$FCE429D7-7551-4A2A-B3FC-DEC5CCEFEF7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef5048594903ff955e1f02904312a1a658f04fd8","datavalue":{"value":"effectful programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828265$93BAB543-CD04-4A5B-84DC-3ED756F0C3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828265$39706334-E9A5-4EBE-A13F-86FEA783C03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828265$99EF58A5-ADE5-4E68-8FEA-4AAD24D532D6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$629673B5-B85E-4A5B-9995-ED7370388E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$44E6DD38-C372-4F09-BBCF-C916AB383CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$67D6AB9F-AC4D-4A95-A919-E8579023DB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86480bb4691d863898fef34b9a1f68745c775c70","datavalue":{"value":{"entity-type":"item","numeric-id":34459,"id":"Q34459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$DA1067DA-B895-41A7-BDE3-BBF878E8F383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c386673f22e237daea70b393a7ff50a58f10f3c","datavalue":{"value":{"entity-type":"item","numeric-id":34460,"id":"Q34460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$7FE492C8-C889-4A4B-BCBF-B93C3A25BEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828265$D4B04222-44D4-4AB1-B8D6-E20A56BF63E6","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":"Q2828265$B4380619-639E-48CD-90E1-86AF5BBD8FEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4425dc0792d547e6fc7e23691826a69c5708614b","datavalue":{"value":"https://doi.org/10.1145/2837614.2837655","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828265$DED227FD-E00A-4514-9001-749436F9BF69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"807ad7fd843764e3c9fec2e204bc2ff985ebd939","datavalue":{"value":"W2267469130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828265$6FF4BA8F-FF09-4C5D-873A-96C9B5C5821C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9998424609adc4df3b63bf229c0b3e25ce8bf814","datavalue":{"value":{"text":"Dependent types and multi-monadic effects in \\(\\mathrm{F}^*\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828265$40399210-ED0D-470F-84A6-C6A26F366C61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be89f585b0a7d77e2b7fdd7fb2feced816a95e46","datavalue":{"value":{"entity-type":"item","numeric-id":5398328,"id":"Q5398328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0f09917063f62b3d8a637528673ebd759747b51","datavalue":{"value":{"amount":"+0.8288581371307373","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":"Q2828265$8A16EF4F-D059-42C7-BCFF-03AF3AB44C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b4e28a800e673f4f1172085914098a4ccd7613f","datavalue":{"value":{"entity-type":"item","numeric-id":5176981,"id":"Q5176981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2f0d561e6c10a51d673bc3fd39876342429985","datavalue":{"value":{"amount":"+0.8236544132232666","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":"Q2828265$30CEF23E-C40A-4B6E-BBAF-9D71C09644B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb88fee278b797ab7d310392c9af78a612623688","datavalue":{"value":{"entity-type":"item","numeric-id":5370885,"id":"Q5370885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce45447e47a9b8e3004b9369dad395348cd0f4a0","datavalue":{"value":{"amount":"+0.7857130765914917","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":"Q2828265$039EAA48-52FF-4ECA-B1F5-63F5A0665214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b68b20c1298c85f698d1504c857237640510348","datavalue":{"value":{"entity-type":"item","numeric-id":2942906,"id":"Q2942906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca6eb510d5bd464dc47bafd535dba1da7e8bf68","datavalue":{"value":{"amount":"+0.7619147896766663","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":"Q2828265$7E0301DA-EB48-4D74-8730-D44F6BF4C8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffbed544246e54d1ce7de6f97ee1ad1afaff97c4","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba044645d1d813920a50b59c7a21e0e2a22323cd","datavalue":{"value":{"amount":"+0.750870943069458","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":"Q2828265$969DCAAC-954D-4D4E-8506-C7FB306D9B1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828265"}}}}}