{"entities":{"Q5244796":{"pageid":7274364,"ns":120,"title":"Item:Q5244796","lastrevid":52236047,"modified":"2026-01-21T05:34:14Z","type":"item","id":"Q5244796","labels":{"en":{"language":"en","value":"Programming and reasoning with algebraic effects and dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6421033"}},"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":"Q5244796$3423CB1A-BD36-4EE1-BFC3-D70B4B730F43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2538d45733ed23e31ce3a6a4eb0a2a0d32811e25","datavalue":{"value":{"text":"Programming and reasoning with algebraic effects and dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5244796$A42BFC6E-D691-4B3F-AF0A-73DDE07046F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c986e8cafdb92346e05c35611ce2f3e0771b5ce3","datavalue":{"value":"1323.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244796$73966439-FE4D-4D8A-91A3-4CAA34B3F852","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0dff3dd03cb2dbbc3e93dbdd3275aae9bd18bd3","datavalue":{"value":"10.1145/2500365.2500581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244796$15CEB154-C955-4F17-8249-10B2CC78D56E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d31e496bca92cc6ce2d8d2fbd9fe1acfa896bb1","datavalue":{"value":{"entity-type":"item","numeric-id":2364698,"id":"Q2364698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244796$DA95C31D-6CE9-4944-9F86-9848A4C27E03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"732dc09e3ebce0f285d80218f54999eeb2a4f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5244781,"id":"Q5244781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244796$3B4CE8F0-92CD-48B6-A701-5A67D10931C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"431bdbf37423818137431b52ab3aaf4b16104bbb","datavalue":{"value":{"time":"+2015-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5244796$9594249D-40C0-4B47-A7C1-02F628F2CADD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244796$BB56343B-D188-45FF-9627-C09BBBC01F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244796$D607F566-7C01-4E41-9A9C-27EB0C3A0FCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a9e55458d37f3505f35a833967620d4cfaa2283","datavalue":{"value":"6421033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244796$0E1985E8-4BB3-414A-9814-EEA342372A2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67349c6be58a5d9a0c2386b802eac1530b65e644","datavalue":{"value":"algebraic effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244796$1BF5A469-38CD-4597-B157-0D02943947D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5244796$5C04EF08-E6DE-4D75-856C-2D151B306753","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244796$5DDB504B-C28B-44EF-97E6-3377EC658B16","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":"Q5244796$054675BC-E158-480A-B63F-BCB544C30D6A","rank":"normal"},{"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":"Q5244796$C545AAEE-ADE8-4164-8B6F-C6A3D7ADA9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244796$57BE4F64-CF2B-4BFA-AE6B-8192862C3C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e603d7c91a5659a0e67ae5a0b1fc4700fb0830e5","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5244796$5FC94094-5DA3-47D3-A4A8-D35A5D3B4B65","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":"Q5244796$E2A6C936-9E3C-461C-BB1F-FA4FA9561B63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92744d4653401291bcfbcd70d6b2d394d5c356f0","datavalue":{"value":"https://doi.org/10.1145/2500365.2500581","type":"string"},"datatype":"url"},"type":"statement","id":"Q5244796$E8CFA5E9-C6D9-4E35-A5F2-3DFE58AAF38E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dd09871bb55d83c142152c4912938b9ddd28c89f","datavalue":{"value":"W2099741881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5244796$1C035411-829E-4A5F-84CC-5BBBD212C431","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684d31309be37548e92107cedb2b2244c0b4f7ff","datavalue":{"value":{"entity-type":"item","numeric-id":4813222,"id":"Q4813222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14088175d60e80b476850fbaedf2ea44367ba2b","datavalue":{"value":{"amount":"+0.7724579572677612","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":"Q5244796$3479B365-3025-4526-AD9E-A9B7594959E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd29fa1b1ae9f629423860529a9b98cd61d4cf5","datavalue":{"value":{"entity-type":"item","numeric-id":5176957,"id":"Q5176957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab2fc2db79c0146d7fe9ebc58d85dc521380554e","datavalue":{"value":{"amount":"+0.7631412148475647","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":"Q5244796$2F349B66-787C-4DD5-8FB7-48BFC0FB3381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1bf95434b4bcc5b8676f07792916d13aee2c76","datavalue":{"value":{"entity-type":"item","numeric-id":5255104,"id":"Q5255104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae66980b67e383e4f731ecbae55f94160fce87dd","datavalue":{"value":{"amount":"+0.7576378583908081","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":"Q5244796$378AA9A4-87A4-494F-80BF-7986EE3B6BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef375055e128d5ce974effc663bf7f3f9384c84c","datavalue":{"value":{"entity-type":"item","numeric-id":5018775,"id":"Q5018775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f884690a534b50d6ea6ff073ede4d145f51700","datavalue":{"value":{"amount":"+0.755876898765564","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":"Q5244796$65854055-062D-41EC-9E5C-267BA15DB672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c041540e54421d20edff7afadc0ebc0c0d0c8bdb","datavalue":{"value":{"entity-type":"item","numeric-id":478396,"id":"Q478396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7965d4c11c5ac6f73af8ba843a776bde02a12f","datavalue":{"value":{"amount":"+0.7548051476478577","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":"Q5244796$22EE021A-AE38-41B7-B7C3-CB92E590834F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5244796","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5244796"}}}}}