{"entities":{"Q1118415":{"pageid":1129164,"ns":120,"title":"Item:Q1118415","lastrevid":66768066,"modified":"2026-04-12T12:43:23Z","type":"item","id":"Q1118415","labels":{"en":{"language":"en","value":"A note on synthesis and classification of sorting algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4094833"}},"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":"Q1118415$4B7E4495-6BEA-4F6C-B1DB-709C9CF9E12C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb464f2f9d46101df0750126b7a8e7ae5dc08c52","datavalue":{"value":{"text":"A note on synthesis and classification of sorting algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1118415$EDC5E1E6-C42A-4AC8-9B24-1E1E80867B6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"896d6d7b1326c3c2fad62dda4acac6c792cfd18d","datavalue":{"value":"0668.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118415$7ABABFBD-0932-4017-A8FC-BEB1365EFC70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaef52be7f1ee4ac15e93f148b8f70fd46cd5ff0","datavalue":{"value":"10.1007/BF00263502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118415$83DB74DF-7822-4B50-91B1-21D773663E6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118415$CFD5CA7F-F99E-4C2D-A03F-4CC639D8082D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118415$4F72FF3D-B4CB-4019-BCB7-8139D68DA469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1118415$41C0E713-3A0A-4F2B-A969-43B0213C674D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"601bb21d38ee4dfecd9ae4e21a80b8509d187fe4","datavalue":{"value":"Sorting algorithms are traditionally classified according to their main operational characteristic. More recently, program synthesis has been used as a basis for classification. We briefly survey previous work in the synthesis and classification of sorting algorithms, and outline a more comprehensive scheme derived by synthesising many sorting algorithms in a top-down fashion on a semi-automated logic programming system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118415$D1E9DBA8-6145-4186-8849-A4D564C07763","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118415$36E6C4A2-A7E5-406F-99F6-DD4218528BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118415$92BD6DFD-72C5-47A7-8D89-283863A710BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36e09e65cf50759eb9f10947c2d259747107252e","datavalue":{"value":"4094833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118415$7F0198BD-80BA-413A-980D-5DD9601D5DC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118415$AE2D0439-0226-48D0-809B-E79ECF87820E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f12eb165bd6cb53df1cbde83765cb1c65a6033d","datavalue":{"value":"classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118415$4DC9953E-529D-423A-BF09-26E38EB6D3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41edffd258769b23eb243295b79ae85193e119f1","datavalue":{"value":"sorting algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118415$76745831-506A-47AE-A8D5-00D0D3E1D565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1741e0b233ea47918309c5bf9ede55b65547a283","datavalue":{"value":"semi-automated logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118415$3F30AF7B-5887-490D-89A2-E3284BEF81DA","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":"Q1118415$33AFEDAA-EA90-48B1-8212-823AF00F5F1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5975f244ad76f1ddea8d390fdb2d0a6633b50afb","datavalue":{"value":"https://doi.org/10.1007/bf00263502","type":"string"},"datatype":"url"},"type":"statement","id":"Q1118415$375888C3-1D76-46DA-8EF4-C8CBDE667A6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"548f4d649f0421dc51930307226e9f9bffdc7ef1","datavalue":{"value":"W2079022885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118415$F9D59706-259B-4ED0-B18C-7DC29888338A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df28e920b49ac4acdd77c0d2c899d426121a5338","datavalue":{"value":{"entity-type":"item","numeric-id":1183773,"id":"Q1183773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c2910c366449948336afc7f7658f2582a1fc330","datavalue":{"value":{"amount":"+0.763525128364563","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":"Q1118415$49B11F10-90A3-49ED-8E41-5D52A40EB590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26377171112486b33026ddc7b78658a0583ca1b0","datavalue":{"value":{"entity-type":"item","numeric-id":1822927,"id":"Q1822927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd528112aef914da6e0ec2ea4052abf6ecc1444f","datavalue":{"value":{"amount":"+0.7538098692893982","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":"Q1118415$1ECDEC22-E939-477F-A8F5-B85D1D60B0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfe66e9a12bc0cd0a7392a7a71d704fec50c75d9","datavalue":{"value":{"entity-type":"item","numeric-id":3730000,"id":"Q3730000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9437abfaa660f368452f1e60d48a2327984200","datavalue":{"value":{"amount":"+0.732229471206665","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":"Q1118415$5B2580ED-029B-4CC6-A415-08B747E79ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986ad5d2db9ecc2cae35bf5860bf64ef35e74492","datavalue":{"value":{"entity-type":"item","numeric-id":1319749,"id":"Q1319749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ccab1cfba530008621bec08f684050e7655b86","datavalue":{"value":{"amount":"+0.7320283651351929","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":"Q1118415$F35A7CA5-EDE1-457B-8199-C26A73405399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde9cff27194cc32724f114704a5d872fbf51121","datavalue":{"value":{"entity-type":"item","numeric-id":1082079,"id":"Q1082079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ccab1cfba530008621bec08f684050e7655b86","datavalue":{"value":{"amount":"+0.7320283651351929","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":"Q1118415$5C116558-52B1-45DB-8E1A-10E88EA093B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on synthesis and classification of sorting algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_synthesis_and_classification_of_sorting_algorithms"}}}}}