{"entities":{"Q333330":{"pageid":335097,"ns":120,"title":"Item:Q333330","lastrevid":56794602,"modified":"2026-03-23T15:15:53Z","type":"item","id":"Q333330","labels":{"en":{"language":"en","value":"Generalised rely-guarantee concurrency: an algebraic foundation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6645316"}},"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":"Q333330$AAC3A831-A5A7-4749-BCBE-8DFD5C4FFA7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f12d481a3b71230a2793c31206ae231cfcef4c9","datavalue":{"value":{"text":"Generalised rely-guarantee concurrency: an algebraic foundation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q333330$B7EDA877-9A0B-4988-8F4F-9E0A2BA20217","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b07d210b6a3abf4188c93c30648b8137bf4feed","datavalue":{"value":"1348.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333330$464808B7-D790-4367-B0E6-3090326ABE95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$85808EB9-3032-4E79-B404-06B42A8F26DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$C4473C03-4E23-4D0E-BBD8-C625FC885B5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0f5c57c1b97c1eb46e36683bd00f46296ab3c1a1","datavalue":{"value":{"time":"+2016-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q333330$781C1541-1D31-4586-A1C8-ED916BED0535","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bab35088d3d7b4b66e2d002e2b4d435efebf03f","datavalue":{"value":"https://arxiv.org/abs/1603.01776","type":"string"},"datatype":"url"},"type":"statement","id":"Q333330$72C31C8B-C806-4E4A-A029-93839062F3B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333330$2895A526-C15F-4B5F-BB02-932CAEBF24B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333330$7D7C737D-E4F0-437E-8418-743B7987B1B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e920b394252551993066305aed9002ac9f50bb4","datavalue":{"value":"6645316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333330$7D6237A3-7D1D-407E-8B81-7F36EB6C0F30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q333330$BE9E7FE0-839B-4171-BA98-A77311D1F95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea42c28879aa048b9892d4e8c7a2e40e932c43c","datavalue":{"value":"rely-guarantee concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q333330$2DAC7AB7-B4B6-44F7-A691-8336A53E9343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q333330$A34BCF2F-EFA9-4723-B4E7-164F411EDCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd182c2e9058301efa292c2afe2941792b9eb1ae","datavalue":{"value":"program algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q333330$0695FE94-132D-4E8A-9C24-8B7C8A3C749C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b421d15570bd8e635cdc14719f77419a2d2df369","datavalue":{"value":"concurrent Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q333330$D5507712-FB2D-4022-A38D-1FBD67B11CAE","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":"Q333330$CB97B3C5-E87D-4964-A4B8-0026960BF7A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea5c2ad3972b691929be98cce8d0dfe70a8eaf74","datavalue":{"value":"W2293609693","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333330$6D473B8F-AC76-4412-869F-D7B33E3B5FB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"39e001b607e2db4c55a2a039de4e0e7d543078e5","datavalue":{"value":{"entity-type":"item","numeric-id":1402468,"id":"Q1402468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$918A8E21-72D5-4769-A6B7-2C435270B122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a088602150c17015fddbb71b9b68574d9c573f8c","datavalue":{"value":{"entity-type":"item","numeric-id":890478,"id":"Q890478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$99E8954E-AAAD-4C61-AE52-E61673BBEE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2976aa90eeca3f6092c5fdf4fa1ff69fee0cd4","datavalue":{"value":{"entity-type":"item","numeric-id":1157144,"id":"Q1157144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$5B26EC53-DA26-44D0-89B5-8BFEEABCE96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f67ac33e93567aa2d56e94dae4f740fa8b653591","datavalue":{"value":{"entity-type":"item","numeric-id":1604010,"id":"Q1604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$A4A30DDE-9EED-4D4E-B150-B949CB12BD50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdf24da057ca5fbe722cf33be8b609dcc8c11e9c","datavalue":{"value":{"entity-type":"item","numeric-id":4194417,"id":"Q4194417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$69A3CBA9-24F0-447B-A237-165CA96542A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$D04033F5-40C0-449E-8722-1D6D9CD03BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e0964a69cdeeb98c62b167ed923916c4e674a8","datavalue":{"value":{"entity-type":"item","numeric-id":1306570,"id":"Q1306570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$5E7A3911-422F-4CD5-9FAF-C149F66599D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1e4eb80490f042f6a1f90e82a002f7cc5a00b0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$FC4F1481-41A6-4CDE-9B70-D9E69FFF1F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$CB95EA8B-8F71-403D-BA88-E4B480108D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc037bcbeb8ebc8413e26954042f2f7cc8e26cde","datavalue":{"value":{"entity-type":"item","numeric-id":4493900,"id":"Q4493900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$9AB98CAB-A67B-4272-8AC4-53C86CFB681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e70c134dc050d14608706b089c2dc1819ae4c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4471919,"id":"Q4471919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$F4CF7543-8D24-4B00-9428-1632FD72879B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$64A7951E-57DE-46CC-A1A0-F6B9B77035D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5620413217d8e07a62deab92fb58bbd2ca1e9f21","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$1E314ED2-C196-4AEB-A4ED-756ABC3FA050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51285ecc98c7aa36e85f90f6de1b67d1e1af30","datavalue":{"value":{"entity-type":"item","numeric-id":3766810,"id":"Q3766810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$EBA61E80-52A3-4CA9-B3DD-89E6044B9DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$A0F572E0-59BF-424B-83AC-3301B0A046C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$AFCCA592-0036-4A08-B107-769756A14EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$44A479CB-5615-47C7-B06B-77E75AF3BC7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$E48006D8-B8AB-40FC-859E-75A14F4C5238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db45f234f354c516e6967660fb11814401792350","datavalue":{"value":{"entity-type":"item","numeric-id":578892,"id":"Q578892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$9FA09CA2-4A6A-443E-B486-A60D8927DFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30331b0843d8fad412757315603331be3191b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4711615,"id":"Q4711615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$D5587CA4-5EBA-4689-8323-2DED3B4264CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$07E5484A-AFE1-4637-BAAE-781A93334B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"435bac34a3d647ebababaf5903b7b54b1189ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":1881265,"id":"Q1881265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$1670DDBE-8E1A-4FD2-BC06-409F1A5FDAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e4e6f5fde16d7def805b77aac961fc3c46b916f","datavalue":{"value":{"entity-type":"item","numeric-id":3667934,"id":"Q3667934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q333330$C8D224FE-4585-444F-BAA5-640CE3B3407A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"814a78c0cb9bb1c8178dcd587b9c34bb667a259c","datavalue":{"value":"10.1007/S00165-016-0384-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q333330$C1D099F8-84F3-46EA-B6B9-E6D9E336CEC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91042692ee85827e142f8daa1b522f7874d75bf","datavalue":{"value":{"entity-type":"item","numeric-id":2414249,"id":"Q2414249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db5e3dd2d741d8cddee73337f89cd8684e04ece","datavalue":{"value":{"amount":"+0.8138520121574402","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":"Q333330$CC37D547-D2BE-4514-A5BE-4302EF00CD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac68a0635b4d6ebc7d3f030c37e08062517b71d","datavalue":{"value":{"entity-type":"item","numeric-id":2941165,"id":"Q2941165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b796740026bc480a02e985cee42b20eab5843fef","datavalue":{"value":{"amount":"+0.8110271692276001","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":"Q333330$8FBA2017-B099-4F1E-9A59-F07CBE150B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda4dfca60695c7eeed0eb1a816bdfbb03fb604b","datavalue":{"value":{"entity-type":"item","numeric-id":3709867,"id":"Q3709867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e604ed2aa92670fdfb84e33316179f25ac0dcf","datavalue":{"value":{"amount":"+0.810278594493866","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":"Q333330$F556DC57-9183-4A06-BBE7-45ACD4F87D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eb4c4b75493b45e3843b7454635ecd4a130d9c0","datavalue":{"value":{"entity-type":"item","numeric-id":5427260,"id":"Q5427260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191a0387ff8b9ddd599d767dc22f216d7ae4e4cd","datavalue":{"value":{"amount":"+0.8050253391265869","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":"Q333330$ECE8D8ED-DCF2-49D1-842B-E358F248841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddc6a8ac41555d55c75285a94e4992f6716df92","datavalue":{"value":{"entity-type":"item","numeric-id":2281642,"id":"Q2281642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24ae85a84a3445fb6a2a7cab0c2b8ab7e0cca88","datavalue":{"value":{"amount":"+0.7968549728393555","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":"Q333330$A1BD5074-C4A5-41A0-A9B4-CC1DB90EC7CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:333330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:333330"}}}}}