{"entities":{"Q1640636":{"pageid":1651377,"ns":120,"title":"Item:Q1640636","lastrevid":71038773,"modified":"2026-04-13T19:04:58Z","type":"item","id":"Q1640636","labels":{"en":{"language":"en","value":"Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889324"}},"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":"Q1640636$3A6F1ED9-B054-4FA4-8660-1FD37FD4DD07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e971e1c64e2122ee99902d3b09fd1d4bfd053aa","datavalue":{"value":{"text":"Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1640636$E3FFE434-EEE7-44B6-89A1-85A171C26B98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6c56ae1f826a1afba40f60cf27203d747dce12c","datavalue":{"value":"1395.68246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640636$0253BE32-7868-40F9-8C84-D46A90D56328","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2334913bd300f77e4121ff8b958800142e55ceb","datavalue":{"value":{"entity-type":"item","numeric-id":485835,"id":"Q485835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$0CD1F13D-959C-463D-8BE9-47E07CF18ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"725aca679a0cd849b7123b8f0d65ff45506c8d40","datavalue":{"value":{"entity-type":"item","numeric-id":485836,"id":"Q485836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$11F7976C-4B9F-4935-9C78-B8C3C082904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$63944A71-D03D-4022-85D3-4EB17B54C869","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$CC14A3C2-7C87-44D8-B2BD-8BE8BF6957F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1640636$A4D984B3-18C0-4DAA-B5B1-4AB10568843E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640636$54FF8692-844D-4E61-A28F-B011FB7427D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640636$97304EB2-EE01-498F-B588-1EC4BDF49BEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b57b3bb5ac07de09d49e6c71de2705ec1c16844e","datavalue":{"value":"6889324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640636$AB930F8F-CCB5-4126-946C-34356BB636BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc8be07ac551ab83e4335385a09ae0b05d11975d","datavalue":{"value":"algorithm synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640636$EB1CE9B7-DCB9-4490-A176-0DD4B104577E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640636$DDE17306-492D-4494-90E1-0CE667EDE8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a76a55efbb1119a51911f8e59827e22b336b16f","datavalue":{"value":"natural-style proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1640636$E86442FE-1C08-426D-814E-F33649E18B49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bf6b098c4c01159a1cdee4d92fe2d1a9384e1ff","datavalue":{"value":{"entity-type":"item","numeric-id":22353,"id":"Q22353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$6AABA667-A777-495C-97EB-21046B5C7A12","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":"Q1640636$E8EB7CAA-1BD5-4789-868B-1FCFA1666608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$84B15EF4-1107-4A7E-89D4-1EC3F1A0C06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$8B9837AD-BD04-4CAD-A2E9-443D640E3762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f6bbbacbf08ad130b8297edb135f77325529a11","datavalue":{"value":{"entity-type":"item","numeric-id":33163,"id":"Q33163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$C319D5CE-5F62-493F-BA55-AF0B734BA8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8859dd07b075ca56b99edd7026e1e517c43d961e","datavalue":{"value":{"entity-type":"item","numeric-id":33165,"id":"Q33165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$39F4BED8-A273-43E9-99A7-7A2B0192EEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ef769e964c162d9fc2eb5be086cec28e8fe11d8","datavalue":{"value":{"entity-type":"item","numeric-id":5973367,"id":"Q5973367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$97F9A195-8FB7-4BB8-A2A8-289396D157CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$250FD3AD-4DFE-4CF3-BE7B-D390E3D1D660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$61D9C071-53DA-4BB6-A9F2-5751DAE5F751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2196bc177966aee059cbe6dcb19371e0feb3fa3e","datavalue":{"value":{"entity-type":"item","numeric-id":19753,"id":"Q19753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$B5549D05-75E3-43CA-B30A-9CE668B97F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$1CB1B82C-657F-4513-8C81-4E6F07C0AAC7","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":"Q1640636$01EB626F-9503-4507-A789-27F1847BE769","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"116684ca4cf9aeb4e6e04ba69aac4b8d0672f1b7","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2018.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1640636$55114603-29DA-4716-8B1E-C33003BBDD7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be07aedcfb8f2bf58c3f2aaefdb00ed691bfd3b0","datavalue":{"value":"W2805273157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640636$8CE4C935-5373-4D80-85BE-C68E99ECB260","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$72B70A06-43E7-41C6-9B96-D1D1551D95B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522a4e7310cc1c6039596283d9903c87524a94ff","datavalue":{"value":{"entity-type":"item","numeric-id":2754027,"id":"Q2754027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$B157B82C-9124-4242-91EC-5105B09A54C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339c967f1da0c61f0e43584c53f54f57e979d609","datavalue":{"value":{"entity-type":"item","numeric-id":4484330,"id":"Q4484330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$CBBF46BA-E6BF-4B73-B445-3F8B2E2A266A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad38e0ef5109c872fd15da36ed5bb76b94d70ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3434629,"id":"Q3434629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$9D815121-9015-4129-8873-CEC8D5819823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ee1ce1792d692329898f0a992aeaf81279eee3","datavalue":{"value":{"entity-type":"item","numeric-id":5712543,"id":"Q5712543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$AC08D616-448D-48DC-AF35-D5F01390E0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$AA2BE4FD-AC61-43B0-86F2-33B1CC12CB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"891b68750ed32518a9a712f13cb431304bad6b82","datavalue":{"value":{"entity-type":"item","numeric-id":4780208,"id":"Q4780208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$E2C67427-2AF7-4E99-86AB-DCCF3CC10E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65627a8a26bdf026d150a63c4a81347aa5a9f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":5699466,"id":"Q5699466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$7B3F27CD-8263-45D9-A860-8AFA3CDEC0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5922b06c4db6558b25169f64828c04d03cf41844","datavalue":{"value":{"entity-type":"item","numeric-id":5464706,"id":"Q5464706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$06BC78A1-F472-4CC7-B367-A1D87F4771B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec9faf009dcc84ce1efe32f21621c535b7220fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2847391,"id":"Q2847391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$320D9A90-94BB-4AA9-B14A-D52F943EBF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbf2e2915ee525715586105eb9b7b6f7c6c8c666","datavalue":{"value":{"entity-type":"item","numeric-id":5195272,"id":"Q5195272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$863FF64B-9B6A-4738-A9F6-1377BA4AF8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4097ecb980e2df6f5072c854a7151168d79b8bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$D806951F-D002-48CE-B775-C908F35648C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41449a4ec7451f64a128da49483496b397b48a1","datavalue":{"value":{"entity-type":"item","numeric-id":2938045,"id":"Q2938045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$E55AC101-4484-4FAF-8D34-042CD2C282D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89594204a2dc3c58c834b5a8e9a37ca270048fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2819861,"id":"Q2819861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$017B621E-C537-4D57-ADFF-7F0711FDB3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa2e78b2c8f62bc01c953d0d9ef301476ca64fa","datavalue":{"value":{"entity-type":"item","numeric-id":4305630,"id":"Q4305630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$820DBCC1-A032-475D-84C4-889E493D25E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68fa61428514ccb511a7cd30734e78cf71ab2a8","datavalue":{"value":{"entity-type":"item","numeric-id":485837,"id":"Q485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$FDBB634B-40C9-4B9E-B355-280C7D96E2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c24ea235c561530583655808e4b3a9156ef43d","datavalue":{"value":{"entity-type":"item","numeric-id":2798749,"id":"Q2798749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$0C2AF4B6-C4BD-47E5-BDEF-E3CB8DCE3D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41d71a0adbde6caf00b749ad37ee0e9ec473936","datavalue":{"value":{"entity-type":"item","numeric-id":4707743,"id":"Q4707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$B2BF95AC-AB6D-468B-8D90-8AF05EE8B9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc68d0c63fc526ea5871bf3910e143d716cf06f9","datavalue":{"value":{"entity-type":"item","numeric-id":438543,"id":"Q438543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$FB83A12F-AE50-469D-A043-E7F9C1B040B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0252db8f91fc184001751f0eeb3107ef96bd911b","datavalue":{"value":{"entity-type":"item","numeric-id":4349924,"id":"Q4349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$C6FA5CA7-F26D-4BEF-8BD0-4BD1C0E92A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$FD17B41D-7A60-4412-A9EC-E854DE293488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$093C354B-0601-46F4-BC43-E3EBD8419708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9319be7fc7904fa7ef367f23ce4736ad7b185b9a","datavalue":{"value":{"entity-type":"item","numeric-id":507366,"id":"Q507366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$CC12000F-0019-49B2-9255-C6399314D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1640636$63F72D4A-C568-46F6-84A2-F850F874C373","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3cfd6e6c1ee29f643ddce14c3ea3bd8441ee9c86","datavalue":{"value":"Q129701038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640636$E33E9219-FB8D-4E7B-A25E-2E8620FAE7E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"716dbb007d34e72c5fe8f97c14574e6a6c0bd32e","datavalue":{"value":"10.1016/J.JSC.2018.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1640636$0FCA0C3C-4630-4B6E-89EB-B8256A18F207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4573333321c1089120c550486de7c0d46a23e54","datavalue":{"value":{"entity-type":"item","numeric-id":2798749,"id":"Q2798749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c990e04f7b5b92f8ae89fd6998c833c473fa36d","datavalue":{"value":{"amount":"+0.8978932499885559","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":"Q1640636$646C1723-7F80-4F2A-A718-47106A4DE864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a62df55303def5469e227ab4922b09edf8fc3","datavalue":{"value":{"entity-type":"item","numeric-id":485837,"id":"Q485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acad210b6f5307683293c68dd1f4c943a08fc683","datavalue":{"value":{"amount":"+0.8291293382644653","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":"Q1640636$FF4BC9C7-CCE3-43EB-9C5F-021F9247C4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde683b9c56c8a29a5e3986c12bfc7e68c0b8413","datavalue":{"value":{"entity-type":"item","numeric-id":1996870,"id":"Q1996870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102b64dab84931c56a4b336cb4c4fab11586e107","datavalue":{"value":{"amount":"+0.8119468688964844","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":"Q1640636$611D8C12-8E8A-41E0-8B6C-7D353486D81B","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":"53d8fb8ec99df93beb84ff6a072086c5965f04a4","datavalue":{"value":{"amount":"+0.7511759400367737","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":"Q1640636$D9A04802-7B1D-4449-B71B-D88DF380388F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d17ebb30450b645afbe7c98e334365a5b9f1d87","datavalue":{"value":{"amount":"+0.7264332175254822","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":"Q1640636$65335491-FE53-4BC1-B2AB-75BBB9185AF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques","badges":[]}}}}}