{"entities":{"Q3618819":{"pageid":5648725,"ns":120,"title":"Item:Q3618819","lastrevid":50623130,"modified":"2026-01-14T14:42:58Z","type":"item","id":"Q3618819","labels":{"en":{"language":"en","value":"Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5539331"}},"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":"Q3618819$FDB966A2-6291-4683-9767-1FAB7195F5DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c7eb4423f8a5e062116e455f6eeea3de1a6517b","datavalue":{"value":{"text":"Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3618819$3037F36B-5B7A-46B6-BA45-ECE5EF71AF38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17763e049068652dc33f608237a45d53f0790cf7","datavalue":{"value":"1235.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618819$09035550-14D2-4D3D-A2C7-10129BEE94D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"811b69c28697a1cf6496f9ee412c66ae1795b82b","datavalue":{"value":"10.1007/11783596_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618819$72FBCF50-0F1E-4426-98E9-98731FA55041","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618819$F53C72AE-65D8-4422-A59B-51F97ABEE997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4949bfe7f241ceec9481e901cd77fa06baaaab72","datavalue":{"value":{"entity-type":"item","numeric-id":736455,"id":"Q736455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618819$129C6E45-2AF0-4774-9C36-04BF339241AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3618819$BA9B7243-DB50-4E96-BE01-915E26A36F7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d42f886a65a82f1ab69b7a851b32028cf5a4bbbc","datavalue":{"value":{"time":"+2009-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3618819$80F3CE63-FC89-40EA-AA2B-F491F5FAD5A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618819$CD82E43C-6890-42B6-AE69-5C192549755F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618819$DC7872CF-6882-42E3-BDBC-BD94DBCFE787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618819$A0B5DDC2-C177-41A6-B65A-D4B914D6D63D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0bddf4eca37c736105b450c69afe358f5af274d","datavalue":{"value":"5539331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618819$4D1095EA-AA50-41B6-9171-5CA98B76A786","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":"Q3618819$5E264131-78DA-4422-AC66-BC106F635CC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e84e9d9a4ff9009f08e796fae57ba03e61087b28","datavalue":{"value":"https://doi.org/10.1007/11783596_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3618819$EA84E5BD-8991-4FC5-BFF6-12911B370906","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43ccd9bf2c93de414fb21e1e740749c2873a57fb","datavalue":{"value":"W1502558710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3618819$79E1CE57-428B-44A2-81A9-1C5280ADDA08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e72bab369df7fce4659e57c6de78470ce9ed008","datavalue":{"value":{"entity-type":"item","numeric-id":2481207,"id":"Q2481207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c974b36f12e2b7b5c9a91dd8466cad83fa9a893","datavalue":{"value":{"amount":"+0.8203499913215637","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":"Q3618819$643BA7CD-3132-4043-9BEB-C4CB3C3F7225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5f1a25686d91e22c8675c85f41b5bb02d2d63f0","datavalue":{"value":{"entity-type":"item","numeric-id":1199832,"id":"Q1199832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967bb71aa1d78079dabb4e41315b7f0a9c9d6d09","datavalue":{"value":{"amount":"+0.7775279879570007","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":"Q3618819$9D88E1A5-2F60-46E3-9376-287D52B33C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70704ebd21171ba998db59f14159fc664cd1d07","datavalue":{"value":{"entity-type":"item","numeric-id":4028369,"id":"Q4028369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6851943487b709705c2e4b484efaa365ed78c22","datavalue":{"value":{"amount":"+0.7760692834854126","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":"Q3618819$5BF9EC0B-02F9-404B-9C95-2B96D7DD9434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85feb6d72bacd0346d3f76ac1d9e4a39005e0079","datavalue":{"value":{"entity-type":"item","numeric-id":5310653,"id":"Q5310653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d743de020e0bcdf591476e16dabea0f520f69f43","datavalue":{"value":{"amount":"+0.745955228805542","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":"Q3618819$09E8E1D0-3EFE-4637-9525-F3E2D115EE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4fdb3b7f81e72f9966371d5c7adfa90ead5938","datavalue":{"value":{"entity-type":"item","numeric-id":4364526,"id":"Q4364526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be3145b902106dca25f249bea1d879f190ed0c97","datavalue":{"value":{"amount":"+0.725935697555542","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":"Q3618819$86521E1F-00AD-42DA-AA78-19A0264751F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3618819","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3618819"}}}}}