{"entities":{"Q2856015":{"pageid":2866735,"ns":120,"title":"Item:Q2856015","lastrevid":51850064,"modified":"2026-01-20T08:50:40Z","type":"item","id":"Q2856015","labels":{"en":{"language":"en","value":"Assume-guarantee reasoning with local specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6218365"}},"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":"Q2856015$A594BDF0-30E3-445B-BDF2-C7D3F18E27F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90fd54ee67a6b751222bb6c094de200fd3073ce1","datavalue":{"value":"1286.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856015$E429E968-C655-4271-91B0-DC3EB248113B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7efd373c99f03f36166b25c01ef669bf31b3da41","datavalue":{"value":"10.1142/S0129054113500123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856015$2A6F077B-2CCB-4A19-94AF-C9D831901762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$798C67C9-4073-49A8-A6E2-94DEFB77F078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46bca95c014200373567b2e6748ad3332cd56331","datavalue":{"value":{"entity-type":"item","numeric-id":2856013,"id":"Q2856013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$9E351BE9-E8B0-4464-9E2D-CCEDD97D0483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab73eb23b515dea06ba350c2f2f7f0423ccfa1b7","datavalue":{"value":{"entity-type":"item","numeric-id":2856014,"id":"Q2856014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$B44CC6DE-F33A-4031-9594-B98CEC70AD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d33b408bec949267a60074306977bc4d5b9fc95f","datavalue":{"value":{"entity-type":"item","numeric-id":289840,"id":"Q289840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$B0E1B7F5-C881-47BA-88AF-226E811B7B7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$65F5AE11-E03B-465E-A1BF-E95C3EFCD90E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e41e95550d16033ed81f1eb7c35b7c5a600767d","datavalue":{"value":{"time":"+2013-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2856015$A73E71DF-68AD-4DDF-A324-704C78A3980D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856015$8A8AAB6E-15C5-4ADC-88FF-480B2E731606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856015$47249A50-7943-41AB-8ABC-D2E19A0E4803","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f5da551544dda80f426b6c4a24ece4a76f47b8f","datavalue":{"value":"6218365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856015$02C38649-99BF-4322-83D8-D8C9F16C9E09","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882a47b602c2bf76bd6378e68b341ea804875d3e","datavalue":{"value":"assume-guarantee reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856015$EB560B18-6B68-4FB3-B197-4174F1B1C641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0338aa39ed54048575ed4f5e18b34ff593614c","datavalue":{"value":"compositional model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856015$76F5B268-59B3-4C7F-831E-5F6B14E7FAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2856015$9FAEAD27-A7B9-4FA8-A5D5-F33F6F09B48E","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":"Q2856015$BEB1D3F9-7C0D-4224-A4DD-AECA2B104649","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$AD669332-0AB2-4789-9D58-138729DEA989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$32BADED2-353B-4F9F-92FD-758E7C65641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b0055c738699970bbe7f3231dfee16eb3acecc","datavalue":{"value":{"entity-type":"item","numeric-id":3512489,"id":"Q3512489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$A9A915BB-A108-4140-AF91-4142FF8142E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2035307cafcb1709a40ccbbcc0221ce03fbf423","datavalue":{"value":{"entity-type":"item","numeric-id":934706,"id":"Q934706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$32DF9F0C-207D-4F27-B081-FED0D3E55382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924ff7cd258541e547151ab7d7324dd9343127ce","datavalue":{"value":{"entity-type":"item","numeric-id":1242445,"id":"Q1242445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$9D2C643C-0E66-434E-8FF7-B222D93BB7F7","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":"Q2856015$09F6FFC5-73AF-489E-9344-50BC4682E404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e350fbdf52632f3facb41fcf375367d05fd38","datavalue":{"value":{"entity-type":"item","numeric-id":3522908,"id":"Q3522908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$7F03B2F4-49FD-4FA6-B9B0-680E4BB64E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938dcb73216715170662d858dae7976b67488904","datavalue":{"value":{"entity-type":"item","numeric-id":934713,"id":"Q934713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$6A31A4CA-04F0-4A4D-A9CF-55E216CF3D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c96314312df435047c2036f221dcc510b90c04","datavalue":{"value":{"entity-type":"item","numeric-id":3647243,"id":"Q3647243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2856015$36167547-35AF-4F41-8900-F04AB59CFB20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ece6efb81f7b5ce9c5c00d6f064e50541befb134","datavalue":{"value":"https://doi.org/10.1142/s0129054113500123","type":"string"},"datatype":"url"},"type":"statement","id":"Q2856015$7A584575-7469-4279-97B9-5F5B654204D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29db264a2fb086d75134fc09e24cadf4123750ed","datavalue":{"value":"W2099560526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2856015$BA90C177-DCCD-4D74-83DE-14A8A74AFF9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc0cf51727161a706f803d72859cfb4fb550b72b","datavalue":{"value":{"text":"Assume-guarantee reasoning with local specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2856015$69E4572A-55B6-4721-B5EE-C74626F921AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e13ed931b289283b772eb84ddfee1554d3188c","datavalue":{"value":{"entity-type":"item","numeric-id":4552473,"id":"Q4552473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2a93ebf1da437069c7630212a62ab51c4eaf1e","datavalue":{"value":{"amount":"+0.7620342969894409","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":"Q2856015$F455B2D1-5E7F-4C2B-B517-1DA057E0E504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbe5f51c282ed5d80030a98cdb99419f730068b","datavalue":{"value":{"entity-type":"item","numeric-id":5900581,"id":"Q5900581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb3fc54d3f5de9e5fa34abfbf34a1e0e3cb247e","datavalue":{"value":{"amount":"+0.7336094379425049","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":"Q2856015$DA5C6962-6842-49DE-95E3-423A94FD0571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f049ec084a6525b47eb3a7fe93a96dc3335d24","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c454a2641d1de37fe32c7741ea306e69f264e7","datavalue":{"value":{"amount":"+0.7325469255447388","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":"Q2856015$E89FF784-B277-4071-B404-0DCB9DEC8CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fea021e568898370297a21fffc5c051659ac6e6","datavalue":{"value":{"entity-type":"item","numeric-id":4535065,"id":"Q4535065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97143b4816412166f7416f014f97a02e65503de","datavalue":{"value":{"amount":"+0.7320008873939514","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":"Q2856015$60DE3B66-5386-41A1-BF64-64196A7F2C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51637123bcae3dc6cfb0a1cb2b40a2d84e5d4ea7","datavalue":{"value":{"entity-type":"item","numeric-id":4535066,"id":"Q4535066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ebd2afdd6ce53ff4fb86b80880e0d38a8eb54ff","datavalue":{"value":{"amount":"+0.7301240563392639","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":"Q2856015$999471FE-B65A-4429-A7EA-B8A3638684EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2856015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2856015"}}}}}