{"entities":{"Q5458334":{"pageid":7487893,"ns":120,"title":"Item:Q5458334","lastrevid":50333822,"modified":"2026-01-13T20:27:12Z","type":"item","id":"Q5458334","labels":{"en":{"language":"en","value":"Context-Bounded Analysis of Concurrent Queue Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262376"}},"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":"Q5458334$B9BAA966-7079-4BD5-B292-A3AD8D7077E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbdb98f1d4f574be3781e251e3d443d21f5d12b6","datavalue":{"value":{"text":"Context-Bounded Analysis of Concurrent Queue Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458334$9D6263C8-75AA-49A4-9547-8F7045D473CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"840438d0b9db8df2c9ad829ae7025f560e9385b6","datavalue":{"value":"1134.68446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458334$8C4ED58A-F7D5-4085-93F4-9EE5346BFE32","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0331db1ea9ae0f54671a9cbdfe5f462c9087631","datavalue":{"value":"10.1007/978-3-540-78800-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458334$4A1E3C60-70CF-4A3A-B637-803E712C6780","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$FE58DCC2-662B-4D46-A34E-00CB998BCDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$F5F5C608-A48A-4F6E-A3D3-256DEDB2A7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a18e111e56a04dc2b8d1c99cdf070b4eb02f1f","datavalue":{"value":{"entity-type":"item","numeric-id":515664,"id":"Q515664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$565A20B4-14AE-4802-A07E-604C15329D46","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$83494E98-32A5-45CD-86D9-76A5BA4D0F7E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458334$2864E919-EA0A-4E53-AFAA-7066D1C67687","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458334$3E8D471E-635E-4BAA-BF33-80EC50EB6787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458334$9C0ABE70-43DC-4414-8EE3-0266BB91DB7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4de0c270a283e6966ddb1b06de63c9478efd0d39","datavalue":{"value":"5262376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458334$588E9D67-CF9D-4A53-881E-036958BD18A7","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":"Q5458334$100419EB-6D8F-4743-AD56-8C0762891339","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2032f2d695f59fae3676dd0c520f5b1b791a941e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458334$843954A6-C7D7-4334-9B9A-94623D9D21B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ccef572031ae59fdedc172dfad4843738e60d962","datavalue":{"value":"W1842117537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458334$D8932AF0-EDE3-45EB-AB39-2F2789C6BCD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d44e0d283ee4a6747f41419e53b399d833e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5897782,"id":"Q5897782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$D72B6F1A-3FBF-4F32-8480-F71B4EA2B84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c80ef7e77c39f82700d0e9a7874ae037fda395","datavalue":{"value":{"entity-type":"item","numeric-id":5429323,"id":"Q5429323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$8B4470D0-C442-42D7-975F-5DD797751EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a9a5643ffb9377c949d43e5c9037c1779537f1","datavalue":{"value":{"entity-type":"item","numeric-id":3525634,"id":"Q3525634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$0C6D9281-D28B-4D4D-9502-63D819229B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087393a33cf3c7f9534537ec518dbba20345ac6","datavalue":{"value":{"entity-type":"item","numeric-id":672459,"id":"Q672459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$D5F9B836-1479-4E76-B561-7F7371D55E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$F7CF3390-132F-42AA-895C-05D80DA0C0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245ce4b56ce979ebcd0463bd20f7f3608f23f7b","datavalue":{"value":{"entity-type":"item","numeric-id":3021942,"id":"Q3021942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$1E2F4B0A-DA3A-4584-8AB8-D0E89A4E3552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3164801648b410be7cc0a02f51c56d6c23d14b","datavalue":{"value":{"entity-type":"item","numeric-id":1401187,"id":"Q1401187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$38D17E77-73FC-487A-AAF6-EB77A767EC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30d97f46277b151ef37d50bf9b520874a1a65a2","datavalue":{"value":{"entity-type":"item","numeric-id":3189813,"id":"Q3189813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$6A59A9CD-1507-4418-A12C-A05DF5B6D5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d668c3538345487e0c265ecf68f834af72514c","datavalue":{"value":{"entity-type":"item","numeric-id":1323365,"id":"Q1323365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$0F3543F9-A3E3-453B-A3BD-B1AEDD385A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06a1669ea55c70484627fcb886923a0a7a7abbca","datavalue":{"value":{"entity-type":"item","numeric-id":5703798,"id":"Q5703798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$B457D8BB-D696-4CA7-B22D-1D3744103CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e8598dd145899622e0c9231c1d2cac0836c00c","datavalue":{"value":{"entity-type":"item","numeric-id":5756745,"id":"Q5756745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458334$392AE18A-1D5F-4F1F-9D52-B55E45B536EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea5e9dc265d8af16e3e6270e4de21e2a42b0f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5900852,"id":"Q5900852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"308aaea74d9aaec73376ed3dc95a2b38a00dddc0","datavalue":{"value":{"amount":"+0.8219977617263794","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":"Q5458334$F3DC5CFA-7AE2-421D-A945-EF31C6D4CF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a54132caec9eba9caad59013cc6933100c4f14","datavalue":{"value":{"amount":"+0.8168841600418091","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":"Q5458334$0279F25D-C01F-468B-8429-974FB00156D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e18e5eb0d420eb77a356778da4f7d613e793467","datavalue":{"value":{"entity-type":"item","numeric-id":5458333,"id":"Q5458333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9897d3f390b588be38c5ea9b2f042f13e9d7902e","datavalue":{"value":{"amount":"+0.8151431083679199","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":"Q5458334$F9832F0D-E345-4D02-9B58-13B4F2ECC0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d293609a16c7763d2d0015d994f0020be59d4339","datavalue":{"value":{"entity-type":"item","numeric-id":4540964,"id":"Q4540964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90937731fc0d1463313918db50bb4338c341375b","datavalue":{"value":{"amount":"+0.8018956184387207","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":"Q5458334$7F9D2D07-539F-40B1-9175-63421BACDAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dae066feb7f7afe258f6f579fb51b07e367a70bf","datavalue":{"value":{"entity-type":"item","numeric-id":3021942,"id":"Q3021942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90937731fc0d1463313918db50bb4338c341375b","datavalue":{"value":{"amount":"+0.8018956184387207","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":"Q5458334$3CF66699-F6E1-42AA-A83D-B782515327EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458334","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458334"}}}}}