{"entities":{"Q3614835":{"pageid":5644741,"ns":120,"title":"Item:Q3614835","lastrevid":50600732,"modified":"2026-01-14T12:58:06Z","type":"item","id":"Q3614835","labels":{"en":{"language":"en","value":"Contracts for BIP: Hierarchical Interaction Models for Compositional Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527089"}},"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":"Q3614835$790D3939-3DC0-4470-988A-94DF3C53181D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9ef3ab91ca8b060f969cc2d05a7da758ffb9351","datavalue":{"value":{"text":"Contracts for BIP: Hierarchical Interaction Models for Compositional Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3614835$DB660A46-BCAC-451B-A9BE-17A1D084AC7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"278d7d35c9b261bff79dfaf9a5c8d45c19f472ba","datavalue":{"value":"1215.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614835$B6C8B995-84E8-4581-8F46-2E52C41D7735","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50d52097797f76090ae3b7aaf128583260ad2e43","datavalue":{"value":"10.1007/978-3-540-73196-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614835$DBBE0940-7AF5-4908-9A4D-CE83DDF25C74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c02480a6f2acb40a62f3c1a600bbd033e6ddfab","datavalue":{"value":{"entity-type":"item","numeric-id":453527,"id":"Q453527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614835$E7F2B1BD-BE42-4F10-BF90-5CE0A9D3733D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad1f863b1791a834042d3509f5b2401a0a53dcd","datavalue":{"value":{"entity-type":"item","numeric-id":453528,"id":"Q453528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614835$2DCDB413-B370-4895-AE2F-541C6308DDF0","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":"Q3614835$4A12EE2B-9DFA-4BD6-BEAE-25CD877ECBE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-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":"Q3614835$DC4A49C6-B9A4-4067-95AB-9EAD4854F6D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614835$D95D794A-3027-4F11-86C3-486401D7FC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614835$3673AB76-E768-406B-B149-1E284ACADB5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc2c26e330edd4bc69e47f33292c7ba213d81675","datavalue":{"value":"5527089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614835$54EA98C9-B1EC-4D1D-95B7-2367811E413B","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":"Q3614835$D24EA75B-A532-412A-BC23-9EC0980B4D3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be2ac2f446802af94c3fd58acc28b0ef05656434","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73196-2_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3614835$E4C9B52B-DA9C-4377-B65E-F4B23A1A676B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8cff8e9e26da5ccf9363c738c60d87d2445babf","datavalue":{"value":"W1496394448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3614835$C379A50B-5A6A-46A0-8274-D3A9BBE3D569","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"425ff160b62a4b168499971d25a3da8346f1fc1b","datavalue":{"value":{"entity-type":"item","numeric-id":5962120,"id":"Q5962120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614835$567DB292-2D80-4042-96D7-3AE0233CB946","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":"Q3614835$69F158E0-46DC-490A-A98E-3DBC79555DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c30056d56a838425f17d97e28670895fdc857e","datavalue":{"value":{"entity-type":"item","numeric-id":5448780,"id":"Q5448780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614835$B943FAC9-C6F1-4861-AE71-6D79F33E6224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1221a33196b3c7ef452907ebf2efba3883e9cfb4","datavalue":{"value":{"entity-type":"item","numeric-id":1776582,"id":"Q1776582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614835$258ACDB5-B3A1-48DB-9451-2C24B5A37949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d02681399d280babc7e5544e40c7c321b2d1fd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1816922,"id":"Q1816922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614835$4DE3EABD-6A44-4925-91E5-2E5C1079A377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614835$80E7A9B9-6DD7-41F1-867C-9C995659A30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3614835$56909556-2CD6-4B9B-8784-1C20648C8CEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb485917607610b9d84df3c17415bdb13c6557c4","datavalue":{"value":{"entity-type":"item","numeric-id":5150073,"id":"Q5150073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aead768e330141f56fd27446818f89754f467f9","datavalue":{"value":{"amount":"+0.7713171243667603","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":"Q3614835$A024D48E-6294-4833-8834-E9688711A3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82e1c41ceaffd06892be7aa7a6e82bccf6e878d1","datavalue":{"value":{"entity-type":"item","numeric-id":4931301,"id":"Q4931301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3707d101aa712b4bc66d1625bba93b67928d589b","datavalue":{"value":{"amount":"+0.7520560622215271","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":"Q3614835$D2C7FCA8-1D30-4D91-B4AD-2147B2C10BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede137086f685454b547e4c101069ed16a05c0e3","datavalue":{"value":{"entity-type":"item","numeric-id":5166713,"id":"Q5166713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"363043e924c08d20ec4862fde027f04d5c684982","datavalue":{"value":{"amount":"+0.7462799549102783","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":"Q3614835$FFDD42B6-5FB0-4FF0-A1F4-673CD376FA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16efe40924502d887455ab8723369f8a505c23f7","datavalue":{"value":{"entity-type":"item","numeric-id":2441722,"id":"Q2441722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a4eedb67082b1e731bba81d56ee621f00fa07c","datavalue":{"value":{"amount":"+0.7454402446746826","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":"Q3614835$F351D6E1-D784-432F-8AB5-977CAF719791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b19e37b5dceb1c425b25366d00ff92080a8409","datavalue":{"value":{"entity-type":"item","numeric-id":5170743,"id":"Q5170743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b0e2bae71861171437c1f97d2d42a2218da0ee","datavalue":{"value":{"amount":"+0.7442728877067566","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":"Q3614835$08B5F3DE-625D-46CF-828C-188AAD9F82AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3614835","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3614835"}}}}}