{"entities":{"Q3600463":{"pageid":5630369,"ns":120,"title":"Item:Q3600463","lastrevid":49654102,"modified":"2026-01-08T17:52:29Z","type":"item","id":"Q3600463","labels":{"en":{"language":"en","value":"Towards Automatic Stability Analysis for Rely-Guarantee Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5505777"}},"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":"Q3600463$8C5F24B5-0BFA-43EE-9709-E41BE6E905BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49081172d24b58350b78134918a929e1967cf15a","datavalue":{"value":{"text":"Towards Automatic Stability Analysis for Rely-Guarantee Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600463$ACC9A50F-25B7-4966-8D67-575CCA2987DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b4ec5b65eb811bff9e18c3517c260891b8d62cb","datavalue":{"value":"1206.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600463$DDA06E4A-F407-4DA3-8EE8-06487FA8F1E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"214164d37ad62b9b2ee543d7e2f03c5457c73dc1","datavalue":{"value":"10.1007/978-3-540-93900-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600463$F097AFFD-3CAB-4F9D-A569-D8A7CABDCD9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32584f5c482e29078ea6b6dcf1d1dfc11c06bcbd","datavalue":{"value":{"entity-type":"item","numeric-id":469351,"id":"Q469351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600463$B58E21BE-A87E-4B96-858B-976FDBA5878A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3396d8d6c2ec88284e647e78461450d99ea90ad","datavalue":{"value":{"entity-type":"item","numeric-id":469350,"id":"Q469350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600463$FD5FE342-078A-4070-9836-0C6921CDDD13","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":"Q3600463$EB150A60-4CE9-4E5C-9C45-872DC3F7B224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"862f3ea8dd1696c9694e62e0070fb4814c61ef07","datavalue":{"value":{"time":"+2009-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600463$AEA169D1-2CAA-4B2D-8E2D-9A254DCF5FBE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600463$D3CD4B93-C9E0-4733-8ED8-B7A5361BD456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600463$3F9D098A-F217-4E7B-808A-AE637170CD3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94589900533aa9ecd285d18d063d1f919983a694","datavalue":{"value":"5505777","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600463$B1DBFFFA-8AB0-4300-8C63-E6771AE9449F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600463$77603CED-1E4E-4BBF-9C39-E7CFCF667E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38bea4297d9f2f2e9764919709eca5e372065699","datavalue":{"value":{"entity-type":"item","numeric-id":12818,"id":"Q12818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600463$FA24075A-518D-470A-9F88-2ECC47822E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600463$B6CC78D7-50F8-49FD-AA62-2A6703E529F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e8618a83d96f55e451e9b5903227d98b1eaf2781","datavalue":{"value":{"entity-type":"item","numeric-id":21088,"id":"Q21088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600463$A42A28A5-BA7B-4CE6-A341-AF5B2283C468","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":"Q3600463$9405E9AB-E688-4777-BC35-3ECB5D40CEE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c8e5019cda71eef1433b5f5256faee7a6c1e399","datavalue":{"value":"https://doi.org/10.1007/978-3-540-93900-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600463$4F74AA74-5A81-4EB6-A820-E97365C7C2AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf2d1d190df6b716fbf42d6d29c13095764e2675","datavalue":{"value":"W1518902272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600463$E0F71E92-032F-417F-9D91-D583679AFD0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc67c82da59aee348697c3f513852b19701ff6d","datavalue":{"value":{"entity-type":"item","numeric-id":3558252,"id":"Q3558252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9645ef6a363c0f001ca679108bf00470bb91d4a","datavalue":{"value":{"amount":"+0.89739984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600463$D889B44E-B506-447C-BC48-30CBE7FEF852","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":"8f16f2af1156da23e23870e29a9af00bc767ab2c","datavalue":{"value":{"amount":"+0.8811149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600463$AE6AE8C8-800F-47BA-8868-A6A728E25BE5","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":"d2e9f292a50fa5264d6c01910603f32b697e8a01","datavalue":{"value":{"amount":"+0.8658705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600463$240E0B9A-F285-4D43-B7A7-769309CBF6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92352399aa1d6b6bcde4318d7c3f8904e98b5b33","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"990b80b4d0fb9a5e44afe481e4d722a789f9ef8b","datavalue":{"value":{"amount":"+0.8611679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600463$1D216FE7-8E58-4018-BEA2-BCA08203425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e292fee07f86d00fc14b027965b4c8058a7dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5307043,"id":"Q5307043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"562e06717950de1af53eabbb8e6e7adb5949a083","datavalue":{"value":{"amount":"+0.8499512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600463$7EC4D8AD-6E54-4A57-991C-BE1B9E80E425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c71e75767d29b08405dd048f4e3cbf9a79260b5","datavalue":{"value":{"entity-type":"item","numeric-id":3557063,"id":"Q3557063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8764ddf28d5bbde933587cc52f83fb48a9e42b2a","datavalue":{"value":{"amount":"+0.8497561","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600463$4AC04F85-D7D5-4F2F-A507-F90499E93F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39182eb2345a592ea1bb3e804083bcd7897187de","datavalue":{"value":{"entity-type":"item","numeric-id":2766875,"id":"Q2766875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fa2abcee7fc8af7582c8636d8431d47bd8a5f7","datavalue":{"value":{"amount":"+0.84895146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600463$2326A852-6A60-4A5D-B2E3-0EE2E1321829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20e15f6a6b6e638ee8f8bf0be6f4469e63ec918","datavalue":{"value":{"entity-type":"item","numeric-id":5280761,"id":"Q5280761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa107e08c08bd613aaf1686a63aee67c5113f7f8","datavalue":{"value":{"amount":"+0.84810865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3600463$69608040-7B94-45A5-9E50-982EEBFCDE99","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600463"}}}}}