{"entities":{"Q2945629":{"pageid":2956349,"ns":120,"title":"Item:Q2945629","lastrevid":85388585,"modified":"2026-06-03T07:43:16Z","type":"item","id":"Q2945629","labels":{"en":{"language":"en","value":"Formalizing size-optimal sorting networks: extracting a certified proof checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481861"}},"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":"Q2945629$D1531E98-E684-4397-9C27-4FFC03129E62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97a073e26dc91d060d30a12e3415e5fc0bb05a82","datavalue":{"value":{"text":"Formalizing Size-Optimal Sorting Networks: Extracting a Certified Proof Checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945629$9E529760-9B93-4D3B-84E8-070393FB7D25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50024000b6db129e4f1df056597d53ef16013f02","datavalue":{"value":"1465.68304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945629$5894813C-48DC-4B6D-8F86-A6A7939673F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"232b8068cf053729c34010cc449f0404b7ec4670","datavalue":{"value":"10.1007/978-3-319-22102-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945629$2CC9872A-AAB1-442D-8341-547AC817FF07","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":"Q2945629$F67DD33B-BB05-4B92-B2E6-3076AB1A171A","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":"Q2945629$B73C2286-6F88-4A9B-AE2C-2DB898BBDFFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945629$84858A37-1755-4172-9208-1E6D1B785D0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-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":"Q2945629$B78B5842-5435-490C-BDAB-BCCCE75A5ACC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2720a0c7f85fb561f18207f9731ab055bdd9bbeb","datavalue":{"value":"https://arxiv.org/abs/1502.05209","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945629$FAC78948-735C-4F4A-ADCB-FF558BC93485","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945629$531A2E45-EE79-4EC9-8CCA-FA8AC6437B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945629$610833CC-02B7-46A9-9F00-8164DEC43CC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4043364adc7bc31792cd459c3cd7ea5ece4679e0","datavalue":{"value":"6481861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945629$BD3CEE40-2BB8-4839-8693-3BF9C99A437E","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":"Q2945629$1F216C48-9650-4D7D-85D3-16445ABFA150","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e3a790ccf4aba96aa472608a855fe91a744bc00","datavalue":{"value":"W3099329863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945629$E922225E-B394-4DCF-995E-5E81FB87EA0D","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":"Q2945629$B051DDEA-CA6F-49B4-BF46-45B449CEC4C8","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":"Q2945629$A96B870A-5C05-4410-9A64-D66629AEE9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c1110fd3be878ef3de03103ae27e7c28e603a5","datavalue":{"value":{"entity-type":"item","numeric-id":5301849,"id":"Q5301849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945629$5D9BBC4A-2EC4-4CCF-BC65-5025A0103322","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":"Q2945629$066BC375-5923-4042-A449-620557C98083","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":"Q2945629$DEA2DA73-7049-4174-8B43-D1AA8B6D51BE","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":"Q2945629$1574A81D-981B-409E-82BA-C9580F8241B2","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":"Q2945629$4AD82056-EBE4-4B4E-AC3F-637827B96E04","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":"Q2945629$386C4317-BA28-4671-A41B-19A4F8764C97","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":"Q2945629$AF5457F1-AF4C-4C33-89AA-658BC82F1F70","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":"Q2945629$28DDF8E4-2B08-484C-BCB2-A100C6048C5F","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":"Q2945629$5A83C7FD-72A4-4064-B7AA-D1790CA5AF4E","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":"Q2945629$EDDB4673-D129-4FF5-A2DE-0E704AE7043B","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":"Q2945629$DB849FE5-9290-4029-8B92-123861D9BD9D","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":"Q2945629$8D41319D-212C-43BA-899A-0C19326973E0","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":"Q2945629$3A1291B7-5D77-4CB5-BD29-13BAB69B02FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c68abc1e1712f9bec0f7d744e3236b8f507b7400","datavalue":{"value":{"entity-type":"item","numeric-id":1694569,"id":"Q1694569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bbb00f3d0dbb261edc6e71ca218cd32f9653632","datavalue":{"value":{"amount":"+0.9043548107147216","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":"Q2945629$F85FAED5-74B4-413F-B657-B520F10C0BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2231464059b9fc89ff51cde9e3daf7ad5a7f965","datavalue":{"value":{"entity-type":"item","numeric-id":3453106,"id":"Q3453106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e10d988ec71751aea476220fdcf7a3a7bb31dd2","datavalue":{"value":{"amount":"+0.8887587189674377","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":"Q2945629$5B607F3A-2F40-4F6E-82AF-64B90400EF05","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":"a1d827189d84444e297337f551de1eccfed341c0","datavalue":{"value":{"amount":"+0.750838577747345","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":"Q2945629$095EBEE5-E294-4B77-92DD-C7FB2F674143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229fe24d9eb2e29f12beb6699f750b1db9dc03d9","datavalue":{"value":{"entity-type":"item","numeric-id":5302559,"id":"Q5302559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5603033f2d52f23c18efb7d6b039dcb3a381cb83","datavalue":{"value":{"amount":"+0.736487865447998","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":"Q2945629$F7E27555-BD33-4AB0-841C-BFA85C57E0AB","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":"8f48f893ed401a59c143f481178caa0bef9ac713","datavalue":{"value":{"amount":"+0.7358764410018921","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":"Q2945629$170E4580-810D-4180-8066-2834C148DCD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing size-optimal sorting networks: extracting a certified proof checker","badges":[]}}}}}