{"entities":{"Q2039941":{"pageid":2050683,"ns":120,"title":"Item:Q2039941","lastrevid":72486771,"modified":"2026-04-14T05:15:07Z","type":"item","id":"Q2039941","labels":{"en":{"language":"en","value":"Declarative pearl: deriving monadic quicksort"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368088"}},"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":"Q2039941$48348F07-0144-4D92-A59F-8875C742EE85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f4f7950467e991d5f2f3cb849bf2e64caff2e33","datavalue":{"value":{"text":"Declarative pearl: deriving monadic quicksort","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039941$C3F1CB6F-6374-4836-815A-B737C9CE7FC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7198a248f0fe8c9cb53432ac0ed7387b9fb9bad5","datavalue":{"value":"10.1007/978-3-030-59025-3_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039941$14702373-7F86-40C9-9EC5-AAC1227C0C6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de02a9fa0078d5c4dd476379688b2208c97acc13","datavalue":{"value":{"entity-type":"item","numeric-id":1648869,"id":"Q1648869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$F35177ED-8981-4DC7-B948-E82E01A5159D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f91baeb9a3bbefbf07dece437b42b7a9ce789d2d","datavalue":{"value":{"entity-type":"item","numeric-id":2039940,"id":"Q2039940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$9F9DC3EE-9A21-4979-A21F-B432E6A60031","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea07e2e14cf0a66355cfc6e3cc2a283124ee993","datavalue":{"value":{"time":"+2021-07-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":"Q2039941$6E8C3018-24AF-4B18-9B31-0C3D2BAF6EE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d749f39fbaaec421f7143e0dd35c081f8ee3d8b5","datavalue":{"value":"https://arxiv.org/abs/2101.11421","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039941$F9A23B91-3264-4BC3-9C07-2DA19021E55B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039941$245121A3-B4D9-4153-9307-B1163506F459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039941$D7DAB6B3-3B99-4D77-BA8E-01BDCB849E54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f10e79bf1387f80d18123bdeaf0379fbe83eb66b","datavalue":{"value":"7368088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039941$7862DE0E-1BA3-4FFC-9DA5-908EB621BBFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039941$8A4379EF-A609-42C7-AA13-934717799CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039941$3E57BA8B-2B97-4D16-BE56-2D2CD17F9D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039941$545B0F7A-6713-4EE1-BD28-6FA7F4A8666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039941$8730F0B6-A740-426B-978A-2A0C35F8EC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039941$F8D5EDE8-8BCC-481C-9B17-6749CE6E8A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbea74bea78fb379c705a66bfbc4d6cf8cdd3408","datavalue":{"value":"quicksort","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039941$8FBDCAC0-00C9-46FF-9A9A-4C342ED34998","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":"Q2039941$C4159E52-78E6-49F9-B56F-3E79663DE664","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ee0db26ce62b04c118bce6f20b890bcd8474959","datavalue":{"value":"W3085221868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039941$B095BF6C-AC1C-4CC0-86C7-027F39D7E43F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c52681a2c2863609537624a2f6d82153e9c88fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3992623,"id":"Q3992623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$22A854E4-9CA0-4208-805D-B04AF3D2422D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7265479d5cd976358ec176e13070366f2dcb3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1916357,"id":"Q1916357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$ACD38211-64F5-4252-A688-B1215893BFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f915bd6752b8e731b62673178ee8eafb7e0b32","datavalue":{"value":{"entity-type":"item","numeric-id":4331824,"id":"Q4331824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$C835FD75-F784-4F37-83D1-8E16550A049A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea4d86e022971ef41af6c175f7a227cec292808","datavalue":{"value":{"entity-type":"item","numeric-id":2176675,"id":"Q2176675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$061EE4F4-0C9F-4F4E-9291-9AF3657AA1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$B0179BB6-4B68-444D-B776-9B7BA9B237DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0445525fc9a893df8d184d0f1721ac06176cee56","datavalue":{"value":{"entity-type":"item","numeric-id":5176957,"id":"Q5176957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$21BC2DB6-5D7A-4923-B7F3-AFF96A63B718","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":"Q2039941$13BAE1C9-7B4D-475D-97A0-168CEA6727CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2efe631542fb9631184c7a18468301c2629df9a7","datavalue":{"value":{"entity-type":"item","numeric-id":2767187,"id":"Q2767187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$6B638C70-C70F-4E3F-AE16-1DD52683AC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf47df6b67e434836504f5f36e5c3c78af2f440","datavalue":{"value":{"entity-type":"item","numeric-id":2176670,"id":"Q2176670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$677088E8-17CB-45A6-836D-481405D35CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3e6fed347b109bb302b0fe63399a8422c05e37","datavalue":{"value":{"entity-type":"item","numeric-id":3532845,"id":"Q3532845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039941$905B3999-563C-4B5F-81F5-E70DE7531EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3746e0fab7921b7af377dceed9bf8c5ca69c7fd2","datavalue":{"value":{"entity-type":"item","numeric-id":2037435,"id":"Q2037435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cdc4f806c27c9bb831dfdcf5791f2ebc0147896","datavalue":{"value":{"amount":"+0.7272546887397766","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":"Q2039941$2846D329-DFF2-4236-872A-900309E26890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e73f6cc00e97748915d5a8692d7aa153006d556","datavalue":{"value":{"entity-type":"item","numeric-id":5044745,"id":"Q5044745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2eecc588b3163957c3552e660e79c478653229","datavalue":{"value":{"amount":"+0.7234756350517273","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":"Q2039941$F334E835-6EA5-407E-AA72-06C1E9B2AA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7f0ceca8abac671f379f36b8bab0ad5e5fce37d","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ce373f81ce74bc7ee3c62d59008a3f4e6f87c1","datavalue":{"value":{"amount":"+0.7200498580932617","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":"Q2039941$A2779617-707F-4602-B7F9-D011AB86BACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88bc9313e0aeb42e2810bb4bffb70d07027770c0","datavalue":{"value":{"entity-type":"item","numeric-id":1346686,"id":"Q1346686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3539122c69811067241cae2ad0d0f0f7f7ca835d","datavalue":{"value":{"amount":"+0.7155061364173889","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":"Q2039941$61998265-E6F2-4AF2-9AB1-F9D430C94757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103d4b2ef7a47abe8494285f680089de14eb0db1","datavalue":{"value":{"entity-type":"item","numeric-id":1887670,"id":"Q1887670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0697bf9a8aa1e4b84601388b7bacdd090296ee","datavalue":{"value":{"amount":"+0.7123786211013794","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":"Q2039941$DA84C000-B8FA-4E8E-882A-2BDB18581CEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Declarative pearl: deriving monadic quicksort","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Declarative_pearl:_deriving_monadic_quicksort"}}}}}