{"entities":{"Q6652205":{"pageid":14263362,"ns":120,"title":"Item:Q6652205","lastrevid":95677514,"modified":"2026-06-05T09:33:41Z","type":"item","id":"Q6652205","labels":{"en":{"language":"en","value":"A contract negotiation scheme for safety verification of interconnected systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7957340"}},"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":"Q6652205$5F48A3CF-EA03-45CF-AFE2-ADF72F8F4B4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c126c9295510e4e481350c0369aaed11d635c33","datavalue":{"value":{"text":"A contract negotiation scheme for safety verification of interconnected systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6652205$E806AFEE-0D26-49C2-B4CC-AEE0B40A1EDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e617b11b4b63abf397cd7afa50ac50d694c83e08","datavalue":{"value":{"entity-type":"item","numeric-id":401475,"id":"Q401475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$5CFC678E-41F4-4DF8-9E8B-B2467F556A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2057936fe9539eab5bf0f4576738eb905a25a209","datavalue":{"value":{"entity-type":"item","numeric-id":254571,"id":"Q254571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$515D6E4B-0C34-460A-945C-60DC00EB9F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fe955b6b42974a970b73af02150e7e2737b8ec1","datavalue":{"value":{"entity-type":"item","numeric-id":290856,"id":"Q290856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$D7DFE102-C25E-4D5F-9D07-8849F20A445A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"45f20bc078972fb8087b47a09eeaa25cf327dd63","datavalue":{"value":{"entity-type":"item","numeric-id":285794,"id":"Q285794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$6A20ECFE-2C37-41D4-B711-F7BA50E43680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ac4c474c44019d2bbbb13c1ab97764cd6367574","datavalue":{"value":{"time":"+2024-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6652205$7EBA426A-F897-4EF9-8266-A5BC615EA756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652205$38806EE1-4CD0-42DC-9326-AB4F16D164A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e20a9144c47525561b3a24eedf53da9ffff9498f","datavalue":{"value":"93B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652205$4C2E30E4-227E-4B6E-929F-1445CE2A22F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cbdb7141810a1ec084443748cece0f6c126674e","datavalue":{"value":"7957340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652205$C9A60B84-D7CA-4477-B7C9-DC40D6692EFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea3a980318bd6bab27bed9c8ee509953b3ab334f","datavalue":{"value":"barrier functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652205$BE74FBAB-6F73-4B6E-9A0A-55FCC8AF1B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f123c1367fab675f0519822eee895f341bd12f2","datavalue":{"value":"interconnected systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652205$ACEB3EE7-0DF8-4B79-8BF8-A084846EADA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e996707b7447e003edbcbc024e51d7b9eee5a25","datavalue":{"value":"assume-guarantee contracts","type":"string"},"datatype":"string"},"type":"statement","id":"Q6652205$1918DA12-C113-4ED5-A9C4-D05F05F0C94F","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":"Q6652205$0AE511DB-025E-4533-9DC9-90B4AFF4B408","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"62fa7cf1301348853b1d7dfbe9a4c7978c20eee6","datavalue":{"value":{"entity-type":"item","numeric-id":6120668,"id":"Q6120668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$4BB50753-A81C-49ED-B2F5-068026B8215E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a1b9289713b9880e335a04dc022b31a1fbd7735","datavalue":{"value":{"entity-type":"item","numeric-id":4589444,"id":"Q4589444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$D74F03DA-5402-4207-A6E0-547FE585BC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae96bf1835bc8159afb0def73c1f3626cdf3000","datavalue":{"value":{"entity-type":"item","numeric-id":2799496,"id":"Q2799496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$757E95ED-79FA-47D3-9307-5662375B64CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2dbd0ec84ee4cfb4da3f6c7c7f7527b0e235035","datavalue":{"value":{"entity-type":"item","numeric-id":4974342,"id":"Q4974342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$DE388E27-897C-4194-AB88-62B53724E432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fb262e9ff4eb9da6e26d1e9466af4ca58bc589","datavalue":{"value":{"entity-type":"item","numeric-id":1805797,"id":"Q1805797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$6173A23C-CAEA-4622-902C-51136026919F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7daad86460a55a0be27ed5c7e464156916c758f","datavalue":{"value":{"entity-type":"item","numeric-id":2982729,"id":"Q2982729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$AE762E5A-16DA-401F-9F14-45940BC03DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6426fecdf4fa7517e2f282497f0baa187ba53e7","datavalue":{"value":{"entity-type":"item","numeric-id":5146379,"id":"Q5146379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$EF295265-AAFD-4D4D-917F-7CC9C8BF9AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f159bd2b3335d98e62f4d8b5fe74b798610468f7","datavalue":{"value":{"entity-type":"item","numeric-id":2980524,"id":"Q2980524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$5C5D6B7E-C9D8-432B-8E9F-E41E3CC4838F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"822b9dbe16c26c47d1b0b51dcadf08f18e65207f","datavalue":{"value":{"entity-type":"item","numeric-id":5146388,"id":"Q5146388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$BA0A4891-A068-46E7-9AF8-9BD267E3DEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e137dd1c7950f809903f5978c0a212378e19c8","datavalue":{"value":{"entity-type":"item","numeric-id":5275333,"id":"Q5275333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$A5C661D8-30DD-4B2A-9D53-97773127B584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea0581878744004dd2836564925aeddd70a17fa","datavalue":{"value":{"entity-type":"item","numeric-id":2116647,"id":"Q2116647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$BD0D9C33-2492-4902-B2A6-D01780ECEF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$5C46D2A3-E23E-4A2F-A48F-4F096D7AADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd82f22e885b4250c815dff6e574605902bbe6f","datavalue":{"value":{"entity-type":"item","numeric-id":2665717,"id":"Q2665717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$8EEAC16E-B27D-436E-BFBE-08A68CC60008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc84865b1f1745d6866e28a711c6ee5ee0c7e2ec","datavalue":{"value":{"entity-type":"item","numeric-id":6184425,"id":"Q6184425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$2D50C8EF-E89D-4EE8-934D-DB305D584F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6652205$4F220BF8-7256-4C81-A48B-E424712D3ACC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c55a3ea648d3d17af9bde6ba893fc725f358df48","datavalue":{"value":"10.1016/J.EJCON.2024.101053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6652205$63D0C7EA-6EA5-478F-BDA5-2D31539E847D","rank":"normal"}],"P1643":[{"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":"23cf24ef504b9f2b52fd149a52e7390e72cb616a","datavalue":{"value":{"amount":"+0.7723833322525024","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":"Q6652205$BA263F61-5554-402E-B492-D777875BE885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c96d4d83c8d8c7d311ad410efa2980326da143","datavalue":{"value":{"entity-type":"item","numeric-id":6415956,"id":"Q6415956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb5214bf31338e8435d585664a845db84265efb","datavalue":{"value":{"amount":"+0.7401368021965027","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":"Q6652205$4B855AA0-9D3E-4C1D-9586-5C65521D2E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08c24474344a13c8bf3747a0c5a254afb050f99","datavalue":{"value":{"entity-type":"item","numeric-id":2116647,"id":"Q2116647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5bd847051e9fa549ecf062fe1a45b95d4e7f1c7","datavalue":{"value":{"amount":"+0.7363200783729553","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":"Q6652205$BCA8C55C-87B1-420B-AE0D-9884155C9CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df0bc408808586def30fd147aa5e4d5240aac78","datavalue":{"value":{"entity-type":"item","numeric-id":2665717,"id":"Q2665717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83f472b8c860bbf629b748f3354a54ed4d2bf9e","datavalue":{"value":{"amount":"+0.735057532787323","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":"Q6652205$0899EB18-D6A4-4B2F-94C7-24C90348E55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9af1814e133f4581f776dbfa29a9fcfd8ef00e4","datavalue":{"value":{"entity-type":"item","numeric-id":5239238,"id":"Q5239238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b69b1fbe607af998bc4852a2d8d5b69bef2151f5","datavalue":{"value":{"amount":"+0.7339842915534973","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":"Q6652205$63F47742-4040-4C19-BC9E-D191A4B1D1D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A contract negotiation scheme for safety verification of interconnected systems","badges":[]}}}}}