{"entities":{"Q1694569":{"pageid":1705310,"ns":120,"title":"Item:Q1694569","lastrevid":68245500,"modified":"2026-04-12T22:24:40Z","type":"item","id":"Q1694569","labels":{"en":{"language":"en","value":"Formally proving size optimality of sorting networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833657"}},"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":"Q1694569$9244EAD6-7B90-4319-9C0A-F7FB22A3A701","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"140cac6fd7e35b57460b43690691315b6171e890","datavalue":{"value":{"text":"Formally proving size optimality of sorting networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694569$A2442E91-90E9-452B-A3ED-7457E714DF80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e691d50eb896218077dcf1b8d4466d973f53645","datavalue":{"value":"1425.68372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$CA119DC6-09FA-4767-A5EA-09B0DC140AB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"019239a5b99c9161ce4389de57414c8f40f605b4","datavalue":{"value":{"entity-type":"item","numeric-id":340573,"id":"Q340573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$EDA613F4-1716-4537-8DC4-99DCC14F1AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7750c50685eee79677563bd2e13d3027eadb93c","datavalue":{"value":{"entity-type":"item","numeric-id":171931,"id":"Q171931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$280AFB04-94BD-4124-99AD-E7F2BBBF524A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee03ce229dce1ad90ba116368ba88145bf746ab","datavalue":{"value":{"entity-type":"item","numeric-id":340574,"id":"Q340574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$6AC44CC0-1489-4DC8-BC93-652E733FD1F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$3E7FE621-3B8A-4A0D-9477-4B7685D1804C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694569$D8B5CEC0-9059-47C9-AFEB-AC19E2C5F9CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$5427F44F-BA92-4051-8667-E174EF2CCAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$DF014636-2BEB-46D5-A662-49C6E0492A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$70FCA52A-15F6-402C-8CB6-F0D68F652273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$AA52A704-DA82-4202-9F65-D04DA227C464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$712B88E9-5712-4B88-ADA5-3E328A53CFE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8c8ee9950cde4c2713c2f76cb0b5557b7746a45","datavalue":{"value":"6833657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$59B07B8F-6C95-4485-A4F7-F3A081C6018D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cf102e52d55bb9e3ba4ca1c32b8839281988dc","datavalue":{"value":"interactive theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694569$F91DFBB3-EE46-4E45-A49E-33A1A41530BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a6e5bf2570672d6081dda12f743144f94ef06c5","datavalue":{"value":"large-scale proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694569$14FD066A-7850-4AB9-A707-CC0B3DF78F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694569$C6F4333D-D22E-4863-8289-D5E14B79DFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b41fb13a5379ee5f342dd110d85d64d52c336b9","datavalue":{"value":"sorting networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694569$B9DF2BCB-7461-4537-8759-92D0E25BF90F","rank":"normal"}],"P1463":[{"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":"Q1694569$E5E2D79F-7370-4538-8F3B-44434E17BFCE","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":"Q1694569$A52EB295-7588-4CE8-9EAD-41FA0B08A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$97C704F4-2AEE-4D1A-9FCF-2DCC7D18CD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$96247598-0E6F-4315-A913-4D8AE050DBDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"184b17ed6ef8f72f90ef44ecb976296d445c28b6","datavalue":{"value":{"entity-type":"item","numeric-id":21947,"id":"Q21947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$A4F3D33F-9640-4B0A-8193-32BB333A43DA","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":"Q1694569$C9BBB513-CF82-456F-B182-5ACBCAA0E45C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62862d647b038f17c1fd0269e110e109b4c24ede","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9405-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694569$ECA69D4A-82D1-44D5-8EEB-3FD1CDBD7F3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56ceef9d5d480916a284f86f7eeb17b5f9674543","datavalue":{"value":"W2584482282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$1C4E0FCC-2468-4C67-BDC9-06FF62788B28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86187cd049bd6565ddbc4e21f37dc55f378bee76","datavalue":{"value":{"entity-type":"item","numeric-id":1250223,"id":"Q1250223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$EB4B3B54-2CF8-46A1-B4A6-31F7C8162EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd7f641f48cde7309747a7ab2b614390a5cb495","datavalue":{"value":{"entity-type":"item","numeric-id":1066155,"id":"Q1066155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$BA13F685-37BD-4900-A8BA-A1E6F1037B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ce408a109a0f787c113b8dd93aa6eed7ab084c","datavalue":{"value":{"entity-type":"item","numeric-id":1250224,"id":"Q1250224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$E2DBD512-BF8A-472F-8454-E45C039C2EE6","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":"Q1694569$2E4E4FED-ED20-4951-8DCE-4B780EAB03CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c708f9a64c92fd4de4427f3b37941fff68141d","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$3719E3A0-D121-4DFC-8C35-1878950E139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf446b5419b8e3a70a44aff75bbc12fa8bd693c8","datavalue":{"value":{"entity-type":"item","numeric-id":2391534,"id":"Q2391534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$48F5A7FD-7EC4-42AF-97B4-2FA615E33AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f19f3f7b623d973c59f3c08f8b7e4184d68f47db","datavalue":{"value":{"entity-type":"item","numeric-id":5404915,"id":"Q5404915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$8F771B9E-1B99-4216-98FB-80C8F773718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2483823ef0c97a93ad8cf81ee3c3333c86d6971","datavalue":{"value":{"entity-type":"item","numeric-id":910215,"id":"Q910215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$BACF4FB0-1264-46A0-81E6-7193A3085491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56b47a456995ceaf7ae3f33f4c2e7fd5a86bc7e","datavalue":{"value":{"entity-type":"item","numeric-id":5327337,"id":"Q5327337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$C7E7D973-41FD-41AA-A77A-2C9E24748D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8d3606448939a44632cafc0ff0031984524e16","datavalue":{"value":{"entity-type":"item","numeric-id":899586,"id":"Q899586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$EDA1136E-76F6-477B-A9C4-A53D214FEB1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda024bf3459ed600e76cd7f05ef4d9afb8ddd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5389068,"id":"Q5389068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$C6BC3073-CEB6-4367-828C-339A18CD5F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14caf64abec8078238dd92f041d3edf7f96f3183","datavalue":{"value":{"entity-type":"item","numeric-id":2852042,"id":"Q2852042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$FD7D788A-AB19-4484-BA42-B71B45207641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb9f5c8cfef26ace153ce30bfff08150d2fa37e","datavalue":{"value":{"entity-type":"item","numeric-id":2945629,"id":"Q2945629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$BB6C155E-9BC2-489D-B477-577ED71B15DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92730100c6c154e850a4bed2297fc61c263f8abd","datavalue":{"value":{"entity-type":"item","numeric-id":3453106,"id":"Q3453106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$B75194EF-54C4-4540-81EA-36BEDD2FE08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab83b1b19d0d1f2edb00c19581e9d2bc2bed683d","datavalue":{"value":{"entity-type":"item","numeric-id":5464663,"id":"Q5464663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$327EDA66-B9D6-4E28-A843-B6C962464822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9190693f3924b86be7203c014f0b8b161bc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$13740A11-A087-473D-912A-9BD245A3499E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a931f2e4cce499cf66640714bdf5952ff1d4cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":5675725,"id":"Q5675725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$6E2B2D50-5574-4FAE-BAE9-0CA0B644CAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5d997d3c3c1c4cbe0d251137694980cd98cf08","datavalue":{"value":{"entity-type":"item","numeric-id":1272607,"id":"Q1272607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$D01E536F-F939-42F5-8E69-4F13E422DED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7012bf2c8e1ba10cf9896acdd463864da284937a","datavalue":{"value":{"entity-type":"item","numeric-id":2818017,"id":"Q2818017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$CFA38FFC-E006-4CB7-9600-F34C23E294A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"094afbab41ef5504559f8fe998e6a206975cc93c","datavalue":{"value":{"entity-type":"item","numeric-id":5905225,"id":"Q5905225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$63DCEEEC-A61D-49F2-95BC-B02127982F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff81489e80366438468bf6dfe10c7a159bc3ea8c","datavalue":{"value":{"entity-type":"item","numeric-id":4057549,"id":"Q4057549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$8F20562F-A9CC-4CA5-87F4-DA1AB2BF0597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4ebd646b82cf8ee7484d451ee05b668c27b65b2","datavalue":{"value":{"entity-type":"item","numeric-id":3192068,"id":"Q3192068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$CC3300A0-0B32-4F2F-AACE-588FA4FB95C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71989260ea67bc4b5ba36054c70da0e87718c8d1","datavalue":{"value":{"entity-type":"item","numeric-id":5200110,"id":"Q5200110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$27164ADA-B6F6-41AC-947C-DC84B0580D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a8d1807727f460772d228e59e0090da8175877","datavalue":{"value":{"entity-type":"item","numeric-id":3507450,"id":"Q3507450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$72837347-BD9F-4AC2-A778-DC791624ED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5029f3bd44027d166b83affc49717f11751e7c08","datavalue":{"value":{"entity-type":"item","numeric-id":4736399,"id":"Q4736399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$F0D4DECD-5F03-4799-AB47-129C547A4719","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":"Q1694569$339F3444-ECAD-4C0B-978C-1B332DC50661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15f025b82e462b08b6da310a0699c520bda9047","datavalue":{"value":{"entity-type":"item","numeric-id":3543662,"id":"Q3543662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$4831BBD7-4A18-4B73-B273-E2B3B1B3C473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9a8987a7d8efa9b320ab9f4c18049ee75db52c","datavalue":{"value":{"entity-type":"item","numeric-id":4457464,"id":"Q4457464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$6EA202AA-BB69-41C9-8C42-76BD0AB493A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14478fa598a7097c0420189e6111af086c339fa","datavalue":{"value":{"entity-type":"item","numeric-id":3210158,"id":"Q3210158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$200F0954-C29E-4A95-945D-2694E876F768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad271a0268ee9bc34ec9210988cce3af5092ba2a","datavalue":{"value":{"entity-type":"item","numeric-id":5327348,"id":"Q5327348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$84870176-6E42-4874-BB21-C54FB408A1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba2a12b9e1e5e9bec0aede63e4f328974ff5dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1241058,"id":"Q1241058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$79774268-C4AD-4B91-B107-99AD0D3456FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c31fddc109e324ad481a8f2cf8ff2e04d0f8b73","datavalue":{"value":{"entity-type":"item","numeric-id":4999428,"id":"Q4999428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694569$AFFB317D-F52F-4371-8F70-B041425DF48F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f59f42098cd28d351e9d6871488288611cd323df","datavalue":{"value":"10.1007/S10817-017-9405-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694569$263C0B12-0E16-45EA-A9E6-73AEA20EC317","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0363c875fa9253bc0d48c471fde653cdd563a3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2945629,"id":"Q2945629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeb6753c239d0a19b81442ebf4dac166e0f48a7","datavalue":{"value":{"amount":"+0.9258575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$44565F7A-2457-4501-8CC7-F61742D6E54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da5bbc88def419fcf821035d5a2f26e19bcad06","datavalue":{"value":{"entity-type":"item","numeric-id":3195693,"id":"Q3195693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baffa4ab7d9115f8897e0e2325f911acfe58de51","datavalue":{"value":{"amount":"+0.91436845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$ED933CE9-3179-4415-96C4-438C4D65F90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be593567ed2816cca812d343f0d82c70be62862","datavalue":{"value":{"entity-type":"item","numeric-id":5404915,"id":"Q5404915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36dbeac699126e1ed3bfb0b8a6043bbb676bfa38","datavalue":{"value":{"amount":"+0.90870607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$4D59370F-3A74-47A4-BB71-1830880CD502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd5ef9d9ee70faaaa60059ff15e5c0706add9ea","datavalue":{"value":{"entity-type":"item","numeric-id":4234092,"id":"Q4234092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"432440a8d51d03f854c705d834886225cd47c61b","datavalue":{"value":{"amount":"+0.8967817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$5918EF63-A19B-4240-8A49-EABA22257382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d901dec084cce3d640005fd07e682022c6e2ba","datavalue":{"value":{"entity-type":"item","numeric-id":4999428,"id":"Q4999428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de455bb4249379bf3caee718cd3fd733770eaef7","datavalue":{"value":{"amount":"+0.8962693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$DC57BB89-6001-45FF-8B4A-16DE663E4C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ea122aaf7828e0233e1443899525117e88ac36f","datavalue":{"value":{"entity-type":"item","numeric-id":340576,"id":"Q340576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"616beee18d2b1eb70c45756c868acdd1cb61a09e","datavalue":{"value":{"amount":"+0.8962322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$9360CF70-B3DC-46AA-90E5-FDADE297850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea6bbb77bdec6db4f41aa2c7897e02741584aea","datavalue":{"value":{"entity-type":"item","numeric-id":917287,"id":"Q917287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc507bfa78bfc5878d309a678d3ac37a5403ce73","datavalue":{"value":{"amount":"+0.89321893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$9980A61E-4946-4B38-8036-6AF8DF6EDBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408f1a232b7e34f66dd27dec28dce2278f5677ff","datavalue":{"value":{"entity-type":"item","numeric-id":3771637,"id":"Q3771637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc507bfa78bfc5878d309a678d3ac37a5403ce73","datavalue":{"value":{"amount":"+0.89321893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$E4791589-10B9-47D2-AC4E-2CDA3B8D1CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d08098e03b41a2ff7a8d03e9d74bee608d0776c","datavalue":{"value":{"entity-type":"item","numeric-id":3357540,"id":"Q3357540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78de52045dcbd477df825abfca48252daaf780db","datavalue":{"value":{"amount":"+0.8927494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$7661DD9B-DCB3-46CB-9843-2C8F5CBD4008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105b334ef07acac0d5c9ce36cbdb3d45adb57376","datavalue":{"value":{"entity-type":"item","numeric-id":454886,"id":"Q454886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae4e0ab3c92e2f1100c676581427505e540721e","datavalue":{"value":{"amount":"+0.8897123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1694569$E3939A10-D464-412C-90CB-9B6B8F39EE89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formally proving size optimality of sorting networks","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formally_proving_size_optimality_of_sorting_networks"}}}}}