{"entities":{"Q2845500":{"pageid":2856220,"ns":120,"title":"Item:Q2845500","lastrevid":83491670,"modified":"2026-05-07T08:24:15Z","type":"item","id":"Q2845500","labels":{"en":{"language":"en","value":"Automatically verifying concurrent queue algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203481"}},"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":"Q2845500$D0F8A022-66AA-4FCE-9A3B-03497A4A4C24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4804711ed71bcc98eb5755bbea16ed6705f3e981","datavalue":{"value":"1271.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845500$59F688CD-1F83-41DD-AB88-7697CC7D9A62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc8ce85f8ab9ad80866582a2d5e4f0d4cad5e8b4","datavalue":{"value":{"entity-type":"item","numeric-id":300405,"id":"Q300405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845500$9D93BAED-72C2-405F-84C4-3627DF6B1B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc21e11847c1c83cb4b05afd906a2cc9c2cd1694","datavalue":{"value":{"entity-type":"item","numeric-id":671678,"id":"Q671678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845500$B974BC02-C6C9-4868-BB70-542EFD1A0C64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845500$ED5D15EF-2A9E-4DB1-837D-6BDCE2826C0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0f7abe01666ee9cdcd0546d9f7b6016a8f46ab5","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800064","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845500$2369FB13-A69F-4550-B757-BC193240E470","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845500$F3FDE307-D189-4013-B741-8960069B1AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845500$969D8501-57F2-4767-BB91-1F34ACB1790D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845500$74E844B9-5F2F-4ECA-80E9-34646156B00F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a7751c91fcbaaf0d26899ed33256577da6d0d4a","datavalue":{"value":"6203481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845500$0442CD9E-63A6-4851-965C-F2E1FA508459","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":"Q2845500$2EC427DB-E45D-4C3E-B558-006516518722","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54396963afa0098688ef8831523188552f296bee","datavalue":{"value":{"text":"Automatically verifying concurrent queue algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845500$8BA6B8BC-828A-4AE4-BDDE-F8A72AA28178","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8908d51930582745582e4220ad11bbb77575ffba","datavalue":{"value":{"entity-type":"item","numeric-id":5464482,"id":"Q5464482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9d2c71f32de99d246ab40e55116bbde91f2976","datavalue":{"value":{"amount":"+0.83404541015625","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":"Q2845500$C266239F-EFC6-411F-8717-24ECA0F0A208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64089960ba9b6a309839855abf99b8ff61c4be86","datavalue":{"value":{"entity-type":"item","numeric-id":5326334,"id":"Q5326334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5cf7fe2d5525a9a9830eef81664771490c48ea4","datavalue":{"value":{"amount":"+0.8022319078445435","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":"Q2845500$B9D34CB9-F164-439F-9F55-CFDAACAA1381","rank":"normal"},{"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":"197b2809592138ca89527f728268d444f2a2b1b3","datavalue":{"value":{"amount":"+0.7840741872787476","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":"Q2845500$93BD86B7-871E-4E77-98EC-7DA3175C2DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7183d13e0e8c08a1dc5b130b37a855242e3ec775","datavalue":{"value":{"entity-type":"item","numeric-id":5111629,"id":"Q5111629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93092105b4ac7a82212b90ccccaa89f450b4643","datavalue":{"value":{"amount":"+0.7775221467018127","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":"Q2845500$EBF45305-2340-416B-A2F0-557DB797270C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd31d70bf60ce307f83e4cda17bab71b61e24387","datavalue":{"value":{"entity-type":"item","numeric-id":3591397,"id":"Q3591397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59cc33e4e1d72fa1c90bd04e162c658278f43d4","datavalue":{"value":{"amount":"+0.7749154567718506","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":"Q2845500$DD34B4EE-0349-4C3E-843D-0ABBBA63F548","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatically verifying concurrent queue algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatically_verifying_concurrent_queue_algorithms"}}}}}