{"entities":{"Q40293":{"pageid":40349,"ns":120,"title":"Item:Q40293","lastrevid":105429335,"modified":"2026-10-09T10:11:47Z","type":"item","id":"Q40293","labels":{"en":{"language":"en","value":"Efficient Mergesort"}},"descriptions":{"en":{"language":"en","value":"AFP entry Efficient-Mergesort"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"4bc716578de43d8fe587cecc1d20a068fa8e94b2","datavalue":{"value":"28579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40293$D9F61722-544B-402E-A862-94B8F548043F","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40293$47FA21F7-97BB-4D65-B760-CBE862D5545C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"3ebb33c0558cd0fedd9323eb76d4aabe61027d85","datavalue":{"value":"https://www.isa-afp.org/entries/Efficient-Mergesort.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40293$E8DF62BC-BD0E-49F0-9043-5458775DEAD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q40293$D74F0697-B9DE-4048-84C2-A34012D074DE","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40293$EDEDCFD3-4DB0-4AEF-A4A3-7960E02DDD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40293$49E37991-DDE6-41C6-9FAB-2D83989E6F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"61d0c0612cc30c9c51b93ddaf1f78ee1ae75f9fe","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40293$734C3A5F-8502-4AE5-AF2E-E4EDC06C34D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40293$42A22F04-4495-400E-8E2C-DC52CC5CA4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ff80b41d03c65073c007c903a317be0a9c94293e","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40293$6361666B-985E-4A94-A745-A367E0C2039B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68082576424f0628832c77adc2ead458845d00fd","datavalue":{"value":"https://isa-afp.org/entries/Efficient-Mergesort.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q40293$F967703D-27EE-49EF-BDEF-7B2A2BF12165","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"7335db8cbac804a8435e80e80636b4dde04d73bd","datavalue":{"value":"Christian Sternagel","type":"string"},"datatype":"string"},"type":"statement","id":"Q40293$C41F6A62-BEA4-45AA-B1DE-4641B38A496F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b2bb9e346479df2436b5cd23ba391a7c3211900","datavalue":{"value":"We provide a formalization of the mergesort algorithm as used in GHC's Data.List module, proving correctness and stability. Furthermore, experimental data suggests that generated (Haskell-)code for this algorithm is much faster than for previous algorithms available in the Isabelle distribution.","type":"string"},"datatype":"string"},"type":"statement","id":"Q40293$FE46F345-16B2-49F2-9CB0-32AFFAA5586C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2634de497e429ca644a44809d012b4bf029e7a02","datavalue":{"value":{"time":"+2011-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q40293$7A642BC5-C257-429B-89B4-CA6A75C0514D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd759f4557fcda242c4f4e16af572d53d94b1aa9","datavalue":{"value":{"text":"Efficient Mergesort","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q40293$C452B585-E17A-467E-8C54-52976D08D54D","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40293$EB6D2E0A-107D-4F76-AEC5-64340CA9F8B2","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"1157f6239d5752bb0ad1cee836272bd46c6bf40f","datavalue":{"value":{"entity-type":"item","numeric-id":7360772,"id":"Q7360772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q40293$B585A2C8-85C5-43ED-91A8-0C0AA5601292","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Mergesort","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_Mergesort"}}}}}