{"entities":{"Q5111629":{"pageid":7141203,"ns":120,"title":"Item:Q5111629","lastrevid":58421346,"modified":"2026-04-05T03:49:18Z","type":"item","id":"Q5111629","labels":{"en":{"language":"en","value":"Checking linearizability of concurrent priority queues"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204933"}},"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":"Q5111629$E051AF17-1836-407B-A8DE-63021DEA25B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2716f0c8cf2efab9d37ed8c68345a43081c79918","datavalue":{"value":"1442.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111629$3413E361-C681-4BB4-BE37-C87174F4148C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$D6917B8F-9809-4A32-BCE4-5ECE884F0489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$87431AF0-FA7F-4181-96A1-8DCE42388413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b315fd67329674d605726ea1fb3a704a4642d258","datavalue":{"value":{"entity-type":"item","numeric-id":247945,"id":"Q247945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$92570FEE-4B00-4415-ACF7-75BEB388D383","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111629$690A943A-B217-496E-8852-E564D711B7C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee874be93e4719572cd1bc272f2cab9f2b8e393d","datavalue":{"value":"https://arxiv.org/abs/1707.00639","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111629$E96502D5-3A1F-4E04-AF1C-43242E2A8E8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111629$0ADE24AD-4699-42A8-8CB2-84B13AC9E3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111629$40C31B36-4061-4A81-B6D9-F10EEEAD63CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111629$C04C7355-919C-4976-A6BD-109BFEF07DB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caa52fe9810ef5f217be0ee0c07f1e1e4c92b63b","datavalue":{"value":"7204933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111629$81AB0C88-A416-409B-9EC7-5F5CBEAB9851","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111629$704A34F5-513A-4259-BC9B-49A354C2DDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111629$38872CB9-0475-4FDD-9FDA-A01B77CD7FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111629$8100E58D-AF96-4357-AF71-E8C17790AB51","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d201cc6c32e69d068d8e4a89b883673bd8cc7e4e","datavalue":{"value":{"entity-type":"item","numeric-id":52548,"id":"Q52548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$1C766A94-E5F2-4AB4-9505-74A95E614F2C","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":"Q5111629$9BE938C3-02A2-42C7-B96D-D265C476D43C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b6f831c6fe41c198019ca0c6e002e7ab0496b2","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$B6D37B40-7F98-4971-9267-8D63129A55E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad72a83fa0fa0da4bafc434415496b5de96ed423","datavalue":{"value":{"entity-type":"item","numeric-id":1854357,"id":"Q1854357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$4174A914-1504-498D-AED6-F84B61D372BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4351ca34e0886b75df7f5ba015d1f99fc10ee0","datavalue":{"value":{"entity-type":"item","numeric-id":5326292,"id":"Q5326292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$55B80705-8459-4893-9F93-6363E0E82C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d146fbb5a2304efc440c98742d5d066d7c19424a","datavalue":{"value":{"entity-type":"item","numeric-id":2819855,"id":"Q2819855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$1AD4F5EE-AE6C-4810-98B0-B68D2549680C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2d643576a498490d40f20d052384123e00da26","datavalue":{"value":{"entity-type":"item","numeric-id":5111629,"id":"Q5111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$02C94F76-0034-4AC5-BD3D-DAFF6D420A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f449454376e9944c6987a224b2b4d33092806f","datavalue":{"value":{"entity-type":"item","numeric-id":4470536,"id":"Q4470536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$85DC8CBF-0664-44A2-B7F5-19A1DBBF0FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c515b27ce0877f863df3853a58317bf54103af4","datavalue":{"value":{"entity-type":"item","numeric-id":2819810,"id":"Q2819810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$54289039-B508-4774-9017-B599F454D153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792c2fd1a6805d7c32a0fdf6f8624cefbc46b361","datavalue":{"value":{"entity-type":"item","numeric-id":4376172,"id":"Q4376172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$E7FAC557-6269-4D6B-A466-FFB73E8F53D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d67df18ba21cb26de1e66e190d022fd4516618","datavalue":{"value":{"entity-type":"item","numeric-id":2218465,"id":"Q2218465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$173FE30F-BE2A-4805-ACE4-33169A4E2E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4668f17f3d5239a6ffbe7a81f1fca12e175e78e","datavalue":{"value":{"entity-type":"item","numeric-id":2842111,"id":"Q2842111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$C56DFAA9-FF33-4B78-8AC7-08E780B2A899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceda0c87bb63c8028473ee4ed8dfdc1d3b9f3f99","datavalue":{"value":{"entity-type":"item","numeric-id":1341718,"id":"Q1341718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$5AA1DC26-B6CD-4EFA-BED6-7F3BE2B63724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8242bbbfecd337b8ab3c26f77a53675fe55f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3113674,"id":"Q3113674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111629$45F78C81-941C-4BCA-A09B-F88481378F5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee57e85d8c7bdd20f58d7c0be756455159216b59","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111629$D9A28243-34A3-4DC2-B67F-0DAD75D04EFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d715c6650807422b9883d16459990c2a353e2f34","datavalue":{"value":{"entity-type":"item","numeric-id":1803302,"id":"Q1803302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91f263ac0c9988d28415f5ee3abbff7e9ba19906","datavalue":{"value":{"amount":"+0.8118159174919128","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":"Q5111629$EC760B1F-5758-46BE-9571-D8D34643667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fe37730f014137665e3503d6006520dbea031ac","datavalue":{"value":{"entity-type":"item","numeric-id":2946743,"id":"Q2946743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3cd2a212042af54384b5bbe747b1aaa0b8912f","datavalue":{"value":{"amount":"+0.8115255236625671","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":"Q5111629$10D6B58E-CB51-48D5-B7B6-758228EA225E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852eb63c97a10fe2089a9bbd6eb4d8fa4677be2d","datavalue":{"value":{"entity-type":"item","numeric-id":5326292,"id":"Q5326292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f8ec14c1d6c6f079e0d804c5831af1cdf0825d","datavalue":{"value":{"amount":"+0.8093817830085754","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":"Q5111629$F08A941D-4A26-439C-9DE6-F86D9F02B297","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111629","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111629"}}}}}