{"entities":{"Q2986748":{"pageid":2997472,"ns":120,"title":"Item:Q2986748","lastrevid":85304114,"modified":"2026-06-03T06:48:57Z","type":"item","id":"Q2986748","labels":{"en":{"language":"en","value":"Compositional safety analysis using barrier certificates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718021"}},"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":"Q2986748$701528C9-176E-46AB-A53A-7FCE17D2E2CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f43bc4283a652aeecb586ab77349edba3cec9ffe","datavalue":{"value":{"text":"Compositional safety analysis using barrier certificates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986748$18E0E720-0B63-43D5-BA2E-593D4799E9E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0442fa719ec2a35cf68597411fea1994220eb912","datavalue":{"value":"1362.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$E8B97395-8B0C-4157-99B7-586C6C21F77A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"270ac9f8a81b6829e9be33cf31d5bf1a224162bb","datavalue":{"value":"10.1145/2185632.2185639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$10340A5D-A9CA-410F-AC9D-A14A48A575DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91adaddf910c4daa4989816802f1fbfa45704385","datavalue":{"value":{"entity-type":"item","numeric-id":360649,"id":"Q360649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986748$6A5D8EC0-D5D1-4F71-B54A-90C7D76B5B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab46375faf5dfaf24470278e369ba293e0a7afc2","datavalue":{"value":{"entity-type":"item","numeric-id":207162,"id":"Q207162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986748$C2C87D47-AD7B-4C26-94C9-25F2E985D9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5948c28bf532afa2376a508acea87a18459815d","datavalue":{"value":{"entity-type":"item","numeric-id":340657,"id":"Q340657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986748$BDA0280A-22CE-4D8B-9FF2-AD01F3B5D2E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ac4eb98cd212461f5ff58ad0e77202dc879157f","datavalue":{"value":{"entity-type":"item","numeric-id":2986746,"id":"Q2986746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986748$6DF88624-94D3-4DF0-9752-9F9E3146566F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986748$21471693-3A7E-4580-97C7-60FCEE973D74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$E66A3B7C-E6B2-4E7E-98E1-0260BEE0B153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd87a0473bfa14f58600a7b373a6a1e6cb1f2980","datavalue":{"value":"93A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$FF09FECD-0134-485C-9D35-B76B8E1EB370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$17BB63CF-E0A8-48A0-941F-A8EBE45AD596","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1139ca8b25384b66c2dd03a0805ca38300df9425","datavalue":{"value":"6718021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$B693F0A3-D4A2-49CF-9631-39D8D30C72FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986748$8C083ACB-EB47-4A34-A77D-D213274589EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554ce1904bc7aad8ab28dec67ee5f4a3db655bbe","datavalue":{"value":"dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986748$5748D070-BF5B-47C1-9ADF-4D7A382FA579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9cc2674800d73ea683cd59ae0e427c67dfc41c9","datavalue":{"value":"reachable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986748$581F8DFC-7EDE-4F4D-84A6-790F70542FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef5e33a51611d03213cab41499ce6accf0bc8886","datavalue":{"value":"safety analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986748$D212F0EA-2450-45A2-A8D6-108BC6D01251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c4e00f91f9b6278a98ec4eed6669527225bfb","datavalue":{"value":"sum of squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986748$28F5A8B0-86AE-4C5E-B53F-33F4AC94272C","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":"Q2986748$79DD08BE-CC5F-4635-B449-215F792A6D63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1ee9606bab6af9f3100ce0dd4b2cc847c16fc082","datavalue":{"value":"Q57581671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$8A16F99F-F41C-41B2-99BF-23F5C85F2DCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f93782a3e387c86b649930e7c39c8b7a25a24240","datavalue":{"value":"https://doi.org/10.1145/2185632.2185639","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986748$2809855A-F619-40BE-9461-87D12FAED05C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc86875b1901894c16f11c203d3fe382e2e4de73","datavalue":{"value":"W2036031393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$FAD42E69-2326-4CD1-83EA-EFD88ABCF005","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"28d16e55c48f5234a023651cdc60e0f6461790f9","datavalue":{"value":"conf/hybrid/SlothPW12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986748$C55F9DEA-2A0E-4126-B926-87C0DE826343","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b55209ee41e179fcdaaec302fa853e7c5c6a9b","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e898665460fcc11921f0e0807226de9cd90b63","datavalue":{"value":{"amount":"+0.8114249110221863","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":"Q2986748$2E7E1A65-F914-4B46-9F7F-28E40969E432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7e511f963338a800aa7481bbd1c5ce3b4fa1b24","datavalue":{"value":{"entity-type":"item","numeric-id":1793125,"id":"Q1793125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e444d40f6083131c7244c19b7581016dfcd37f","datavalue":{"value":{"amount":"+0.8047022819519043","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":"Q2986748$2A355220-A290-4EB8-AA8B-B1F6C7FB9781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2acc402274078797c1441eae0ebf295aff08063c","datavalue":{"value":{"entity-type":"item","numeric-id":1683459,"id":"Q1683459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60e6dd392c4dc1d3f47310e36fa31e8dec643d2","datavalue":{"value":{"amount":"+0.7941898107528687","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":"Q2986748$679DA22E-5FC3-4DE4-A704-4BADEE4C2800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8151378930657753ba3d24cc59b59e9bcbc11a00","datavalue":{"value":{"entity-type":"item","numeric-id":518335,"id":"Q518335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abef49f84eda02495d17cfbe153ca717e5b033ca","datavalue":{"value":{"amount":"+0.7580342888832092","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":"Q2986748$671A7FC2-FC22-4B4E-B279-6AF60AC41BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e07cf2d9c27df2e05566dab45d5be4295feaf1","datavalue":{"value":{"entity-type":"item","numeric-id":5703951,"id":"Q5703951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681515e30b6b9ce5f26378b94fe8be3ddef98a97","datavalue":{"value":{"amount":"+0.7572353482246399","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":"Q2986748$21D7148C-20F6-4329-A669-E0EDC5DFF6C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional safety analysis using barrier certificates","badges":[]}}}}}