{"entities":{"Q2296292":{"pageid":2307035,"ns":120,"title":"Item:Q2296292","lastrevid":55372375,"modified":"2026-02-17T14:43:29Z","type":"item","id":"Q2296292","labels":{"en":{"language":"en","value":"Developing an algebra for rely/guarantee concurrency: design decisions and challenges"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7168639"}},"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":"Q2296292$8E55FA20-04B7-4E47-B5A9-6BFDD24B6FA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3facf024eff267cc0456b91514635ada864be0c9","datavalue":{"value":{"text":"Developing an algebra for rely/guarantee concurrency: design decisions and challenges","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2296292$9890A611-3348-4FC2-A02D-EE812E251058","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"406b712fd562a32c001961b6958b2763c77314ab","datavalue":{"value":"10.1007/978-3-030-31038-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296292$BD9BD2F9-4296-4BEF-BCDB-DF8FEE9BCF5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05c57a87dbc53c05445a3141681500035fc1e9f8","datavalue":{"value":{"time":"+2020-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2296292$9A0FF889-156C-450C-BD29-1D875C6CFD37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296292$81CF4699-0E38-43DD-A01B-091B44288304","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e53ef5681ddaa3afbecbd026f3f1059508666e4","datavalue":{"value":"7168639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296292$61C1F4B4-A64E-49A6-9AF7-BC657E0ABE16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296292$64CFAF34-855E-4ABC-99E6-760E187FFBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34515593d32176bc4bf4d87eaf0b06052cf5a08","datavalue":{"value":"rely/guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296292$D80594F4-45DA-48F0-A0D1-89BC8E2F83BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd182c2e9058301efa292c2afe2941792b9eb1ae","datavalue":{"value":"program algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296292$72B6EE7F-01BC-45FB-97C2-975222CB085C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49b9dd3ad4e0d50e5720d9422ddcdba6f0d513e3","datavalue":{"value":"synchronous parallel","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296292$5FCEBEF3-8F8A-4025-A2A3-2843730F6A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f4683e921cf98182b842cb33ae19f578d8d82e","datavalue":{"value":"localisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2296292$7A38FEF8-C17F-4975-8165-EFA92954D690","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":"Q2296292$26045C14-42CC-463D-B775-7C6574114954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca7566aaa95252813995fae694d788bf30175d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1682287,"id":"Q1682287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2296292$EE9E9D1D-2525-47B7-96C9-B11F592CE2AD","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":"Q2296292$78B9E866-6B27-44DF-9B06-088BC7EE2170","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4740df0822118ed28fb50e4b28d3f46cca9babc5","datavalue":{"value":"https://doi.org/10.1007/978-3-030-31038-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2296292$60143FDC-1FF6-4A88-A872-78EF5724B91C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93cc3b226b823f53a201577786f91e53b4d1502c","datavalue":{"value":"W2973347414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2296292$A3950E61-8E51-406F-B473-A3FD1C2ED2ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09f3b7cd8ee4334fbdc2f1a186f3bf0cf6ffb12","datavalue":{"value":{"entity-type":"item","numeric-id":333330,"id":"Q333330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"261690a988535c7c0533a4a888b6802c4d8bc030","datavalue":{"value":{"amount":"+0.8326523303985596","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":"Q2296292$E3D4EAF4-0C81-4842-990B-F9E6D2799B6B","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":"49b1def08347908c3d95a83a57120b3763bc6aa2","datavalue":{"value":{"amount":"+0.8120434880256653","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":"Q2296292$EFF9DC77-DA86-46FD-A91C-A741D66A5B75","rank":"normal"},{"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":"ba5f2409cb29007e5ca010e3742ec0f81373f755","datavalue":{"value":{"amount":"+0.8002936244010925","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":"Q2296292$94BBD7FD-6148-4FA8-B085-D4E2D7A373E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"614697d8fa3fb1a5bf9c9e4a6166395315e3e03c","datavalue":{"value":{"amount":"+0.7759608626365662","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":"Q2296292$D653B346-A2E1-41A1-A3F9-E29A5CB811A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1997ccb6825157f9221a5fe5ba3b572811bcc941","datavalue":{"value":{"entity-type":"item","numeric-id":3651515,"id":"Q3651515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec4436c0e1180f819a15309fb922b2a8fb2b4c7","datavalue":{"value":{"amount":"+0.7682000994682312","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":"Q2296292$F70446E1-E61E-48E5-9DC7-F7F0F8B70028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2296292","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2296292"}}}}}