{"entities":{"Q5049010":{"pageid":7078587,"ns":120,"title":"Item:Q5049010","lastrevid":37455596,"modified":"2024-07-30T17:38:00Z","type":"item","id":"Q5049010","labels":{"en":{"language":"en","value":"Efficient Verified Implementation of Introsort and Pdqsort"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614678"}},"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":"Q5049010$D328D759-7ABB-49E1-B6A6-4D96486BECFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ce71d66150d60897033818200bd68ad324ef52f","datavalue":{"value":{"text":"Efficient Verified Implementation of Introsort and Pdqsort","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049010$70D0F34D-1A36-4A60-9D75-7739028C87A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22e284577d8ab59c3b93de05c87b38260b8cebb5","datavalue":{"value":"10.1007/978-3-030-51054-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049010$E487662E-5F54-4E22-9CAF-F2DEF726C9D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8e4be225a6094490d6530fbb2f56929f5bbbcf0","datavalue":{"value":{"entity-type":"item","numeric-id":682349,"id":"Q682349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$B3FDA179-1A8B-436E-8C83-89048E9596BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$5EC0EE21-4808-4328-9E51-52D0233A8E9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-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":"Q5049010$6C12B732-E673-40B3-BDDC-18404D15751A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049010$FAB70F16-A82D-40A3-AA0B-81634DB0581A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ccef40e39ec606f80f049d707ac8737eb9e0762","datavalue":{"value":"7614678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049010$9AD0EF14-EC50-483D-AE3B-872492F25905","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$63B0A193-8AFE-4B84-A03E-5A457C01C2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5bf9d51a81fde970f73763c1b7d63013d05516a","datavalue":{"value":{"entity-type":"item","numeric-id":21213,"id":"Q21213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$7C2C3D79-0799-47D4-95F7-5BC8B5F23217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e751138e8b150b28783c5a210048f6817120432b","datavalue":{"value":{"entity-type":"item","numeric-id":32511,"id":"Q32511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$957ED9C2-6287-4D1B-894B-7E5A8007A809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce0f23a1450b88166e84d8a844a22644577f2bd2","datavalue":{"value":{"entity-type":"item","numeric-id":16271,"id":"Q16271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$81000954-A2A2-4405-BAC1-3731D3A52ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"40511068b347a60aa196b665fa4c4acc6f9d4e19","datavalue":{"value":{"entity-type":"item","numeric-id":46612,"id":"Q46612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$D6CF7954-CF83-406A-9014-9AD127341505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7de3809e549ab622397ccc7caf8aa4227aa8390","datavalue":{"value":{"entity-type":"item","numeric-id":40151,"id":"Q40151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$95A4E795-786C-43F5-B1C7-3CB9D7C0129D","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":"Q5049010$9F3D696F-8C65-4FD2-BA34-9FBE2F9FAC4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7af81952ce1a7ad8ec082af309859d61bf14b22","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049010$A17F0D39-DF0D-469B-B4F4-A069CCC82F15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80281d37b8237d3161b412e46f66626b13e20761","datavalue":{"value":"W3038320931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049010$8A06F626-68CE-4D71-B57B-43F433A0EE4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe4bf4cb7b2b69505eef7f586faf53b20c77704","datavalue":{"value":{"entity-type":"item","numeric-id":5428904,"id":"Q5428904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$506813A1-C171-4783-BC50-F8BBDBD73CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d19d8be06009204324df8ff597524e57805cadb","datavalue":{"value":{"entity-type":"item","numeric-id":1630025,"id":"Q1630025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$1D08ADF9-C0EB-4EEC-8EB1-7C5116968B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$2E7CE31A-E035-4DF5-8F8C-F02295392CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$4BE4CA5C-F936-45D5-AB16-EDC7E302C5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8773a932431602bdddce87be2ab32e5880c2dfc2","datavalue":{"value":{"entity-type":"item","numeric-id":5639351,"id":"Q5639351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$42087693-2AAE-4116-A618-014FE25AFBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f80a009c7aa3c58bb283441470b5a53aa55f5a","datavalue":{"value":{"entity-type":"item","numeric-id":5875428,"id":"Q5875428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$994A958B-107D-4168-8342-63A79BD20C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$CC2EF393-29F9-45AF-A4DB-669AA62EDF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f766bae7bb1dc745731294a8b2405f79150a41","datavalue":{"value":{"entity-type":"item","numeric-id":2914741,"id":"Q2914741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049010$F40D3485-29B3-4269-AF2D-74F1791A5E74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049010","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049010"}}}}}