{"entities":{"Q5020617":{"pageid":7050194,"ns":120,"title":"Item:Q5020617","lastrevid":54194129,"modified":"2026-01-26T10:57:01Z","type":"item","id":"Q5020617","labels":{"en":{"language":"en","value":"Unifying graded and parameterised monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453166"}},"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":"Q5020617$B7F78D98-C423-4EB8-B708-ACD027CE98C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64291cd98f197686ffec762027c05eaeba9376b0","datavalue":{"value":{"entity-type":"item","numeric-id":1001350,"id":"Q1001350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$52BFB814-3628-41D5-B49B-D56D7163E2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$ECE85D3B-893E-4FD0-86F0-8289BC3DB41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6916f094f20ca880fb7017420e62627357be9e5","datavalue":{"value":{"entity-type":"item","numeric-id":1709706,"id":"Q1709706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$3CA93416-7A6A-4CA3-A154-12F4853D6C92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-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":"Q5020617$C799E5F4-8B8A-41E6-8D1E-6986A18F369A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"339145277e72046b6407e619670d565e09a858a3","datavalue":{"value":"https://arxiv.org/abs/2001.10274","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020617$7AA6D664-7FC9-4BB2-A3D2-7552199EF377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd74da20f66a0c2773d3e2a46d8321d284c76c59","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2020.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020617$F101DE35-30F1-448B-8532-3003A47F339A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020617$D5F3FE45-3080-4A7E-9072-F2ECAB7CD2D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34a012dfa926839767c18d938ad705bb85556f58","datavalue":{"value":"7453166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020617$AB48B585-5184-47BD-BCFD-B8EA21A586CF","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":"Q5020617$C627B337-4C73-4558-A27B-0DD86E72FF64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70507837844716b8f7971c7306be4417bcbb915","datavalue":{"value":{"entity-type":"item","numeric-id":2888473,"id":"Q2888473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$73F57A94-7F02-42F2-873C-4E0CDA354630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0bf4d0370e73f02ad33b97c00b2a12344329fac","datavalue":{"value":{"entity-type":"item","numeric-id":3638920,"id":"Q3638920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$BE26978F-32C5-48F1-A5A9-A6C1C9E45065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316143837875ac590c934f918f716bdf20a897cb","datavalue":{"value":{"entity-type":"item","numeric-id":4598248,"id":"Q4598248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$5898A8BD-8319-4209-8537-2571F5A18E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$E52B79A6-4054-4D73-916B-33C9A1C893FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed4441d0bc6ce43329e07a21ab57ea2687e328a","datavalue":{"value":{"entity-type":"item","numeric-id":610688,"id":"Q610688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$C39D62D7-7C09-4FB4-AAFE-1056A96DD3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b527c91107aa50a2b869240344d964ffd7812c6","datavalue":{"value":{"entity-type":"item","numeric-id":5190929,"id":"Q5190929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$3BCB47E0-70CF-4A62-A065-6AE5FC011068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462fcb52b924020348225febee36daef91bd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":5410709,"id":"Q5410709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$48CEAB99-E5E8-4F3F-AB5B-5E9F6FA44EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1306cf5971ea6ae481c5f8330b5b35e143e8527f","datavalue":{"value":{"entity-type":"item","numeric-id":2811361,"id":"Q2811361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$F7DCCBD3-C8EB-4F2D-B658-49A15D9CCF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75e3d52810814c579c973630d54a8096a771faa","datavalue":{"value":{"entity-type":"item","numeric-id":2985796,"id":"Q2985796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$65C4B2AB-99F4-4D5D-AADF-3DC42EE0D42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfe212947f5528215b692a0b52aa33dbd786744","datavalue":{"value":{"entity-type":"item","numeric-id":5410708,"id":"Q5410708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$57F12EB2-A7EE-47C6-8C26-1F2D22418F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9450f43fb84cefb9924521370a32f1c11db1d1","datavalue":{"value":{"entity-type":"item","numeric-id":3188283,"id":"Q3188283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$04D00308-727F-4574-BF8F-E57A496100E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$124B56AF-DB4A-4A14-9DA2-F1A651653D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6001383377310e4b4785f7b29f084981c17a96e","datavalue":{"value":{"entity-type":"item","numeric-id":5408455,"id":"Q5408455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$A704A2D9-BCA8-4002-982D-60D6B8865512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e61ef78a2ac35e332b4ecc523df23636244889f","datavalue":{"value":{"entity-type":"item","numeric-id":857915,"id":"Q857915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$EB997B00-576C-42C9-A4D0-AE1A2F2ACA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff2d5e1e036d049fe6be615c4598075f5e41bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5275355,"id":"Q5275355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$E2C99967-7CFB-4EBE-BAF4-1259EB43AE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$265EBC3F-A592-44DE-B981-17A6A8929E48","rank":"normal"},{"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":"Q5020617$0680B7DB-0793-4F41-AA4B-D2101D256F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244cfa83cf44a62e9f82d4e1f057f12442a23dd3","datavalue":{"value":{"entity-type":"item","numeric-id":2796214,"id":"Q2796214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$3A64E60F-3FC7-427F-B9EC-79301DEC3665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$FA275966-20A2-4125-8AD4-7DED1F02AF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b417da68d5e260ebbaa6a1e9fbd1c014c3e45625","datavalue":{"value":{"entity-type":"item","numeric-id":2828297,"id":"Q2828297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$B5DD919E-82AB-4248-8E05-2165E5DC3536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4acf48c088e1bf6cdbbead4e5b78479dba27f3e","datavalue":{"value":{"entity-type":"item","numeric-id":5327449,"id":"Q5327449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$AD6C7E6B-3916-43BB-9BB1-53E29A84B1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1ff209c1cfa803220fc129438e9d0a8188a99d5","datavalue":{"value":{"entity-type":"item","numeric-id":2451246,"id":"Q2451246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$0C009F34-345B-4470-8D21-C4674C659575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf3030e8e11ce902fda27f8db4a377ab45d97141","datavalue":{"value":{"entity-type":"item","numeric-id":5665322,"id":"Q5665322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$15AE1F68-3632-467C-847B-0848AA6F8CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2cbe2fad91e57e03aca7ed630439cbed3e0af5","datavalue":{"value":{"entity-type":"item","numeric-id":2931778,"id":"Q2931778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$22C1641E-5A85-4249-A663-E370E2A191C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e417d6d5926695afcb0f22fb006eacd6484b213c","datavalue":{"value":{"entity-type":"item","numeric-id":5267422,"id":"Q5267422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020617$E4DE4F1C-C46A-4BC2-8EB7-58A2F6015390","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7574b1812ed53d4f21cf058e6108de27f2385d61","datavalue":{"value":{"entity-type":"item","numeric-id":3638920,"id":"Q3638920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed04bbce1bfcff978112c8e20ba4e24070650d8f","datavalue":{"value":{"amount":"+0.81416916847229","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":"Q5020617$508E2660-69DC-4A10-B1F5-1A741482644F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8036ccc4b0025109af4ef258d853c13a176e6119","datavalue":{"value":{"entity-type":"item","numeric-id":5408455,"id":"Q5408455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0403ddc6ba620a2bac53000406326661c9bd9dcf","datavalue":{"value":{"amount":"+0.8027297854423523","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":"Q5020617$3101DF53-0053-472C-B152-49D58349F0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61a61fc64e525e4bc6c1b5b68df9caa103ec277b","datavalue":{"value":{"entity-type":"item","numeric-id":2888473,"id":"Q2888473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a72d4ba11e0b65415733e28ee7d50be1f71de7","datavalue":{"value":{"amount":"+0.7884311079978943","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":"Q5020617$4846395A-23F0-498A-919C-F34BCF024163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40d4dd7b7588f6438e4e756b6d8fb99f9f673a6f","datavalue":{"value":{"entity-type":"item","numeric-id":2811361,"id":"Q2811361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35ae5f2f4409e38aef427a39d7872173c6d51f20","datavalue":{"value":{"amount":"+0.7859690189361572","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":"Q5020617$91874EC5-AD85-4ACF-94FE-CBE6B2FC2261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29dfb8eeaee47b3e7498f6d0050ea6dc59208e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4995163,"id":"Q4995163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1108fb113c5ce8f78ba8545406019ab4b9010285","datavalue":{"value":{"amount":"+0.7614852786064148","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":"Q5020617$384B2D6B-0916-4D7C-BE12-91F6F8A0F7E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020617"}}}}}