{"entities":{"Q5040369":{"pageid":7069946,"ns":120,"title":"Item:Q5040369","lastrevid":55963351,"modified":"2026-02-21T13:45:36Z","type":"item","id":"Q5040369","labels":{"en":{"language":"en","value":"Event-B-supported choreography-defined communicating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7602231"}},"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":"Q5040369$0FDA255F-2AA2-496B-A2A3-EFF36D4AD560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b42f2657a04815521a81c37c85b9ee4727b13273","datavalue":{"value":{"text":"Event-B-Supported Choreography-Defined Communicating Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5040369$C77E831A-ED35-4C52-99A9-F2EF792049BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32a61efa7198253542c95f3355926db631af60c4","datavalue":{"value":"1497.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040369$864AF683-21B4-4A3C-87AF-BF99ED16012A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f84a0e9049fd35e9b47b8d9e53484b7bf70e27c","datavalue":{"value":"10.1007/978-3-030-48077-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040369$944BA259-F555-4790-B5A1-4FAC85DBD191","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e0541d5a0dbc31f8797e07950281aa19fa648e8","datavalue":{"value":{"entity-type":"item","numeric-id":2206786,"id":"Q2206786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$2C62F9AE-463E-4296-960C-73BCD29C188D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85d5e54b3c013ef717f1252d0c179f58721b0467","datavalue":{"value":{"entity-type":"item","numeric-id":1806124,"id":"Q1806124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$AFA79C34-DD9C-4F94-8520-8C5D4207C8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$A530A4C1-2BC3-45C4-A20A-DFA2B4C04A08","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"90d43f9802d2d0cd70f7cba47432369ef5f111af","datavalue":{"value":{"entity-type":"item","numeric-id":5040366,"id":"Q5040366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$2088EBE5-0633-4D77-B3B6-7AD372133711","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39fcf3265ef324cd8f042b5ffc2d91b62eb5b915","datavalue":{"value":{"time":"+2022-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5040369$4316D584-B3DC-4229-9262-1FC18E6401EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040369$6DDA545A-7D74-426A-B79E-FEDD13D838B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040369$A686ACBE-29CC-4A42-ACD3-342A61C106FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"911a6c580fbda0134d10883c9ac07cc7f0c585c4","datavalue":{"value":"7602231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040369$8AA993E2-07B3-4F97-9CE9-EA856FC54435","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04ba4bf98dd124c8c2742b84b6fb188b54821857","datavalue":{"value":"Event-B","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040369$8F1CE9DA-F8E3-425B-B08C-865E40655C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf2e210c4d62794db7157ec7df49ad346fa73c17","datavalue":{"value":"choreography","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040369$93268FCC-02E2-4742-9A0A-FD6080975840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03aa588e4f5e4578a5ce68662ac6bff84baf18c7","datavalue":{"value":"realisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040369$88A0F666-7AEF-4D9A-A9C1-58DA7F5DE133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e634ac60c989b0da26c5d4a1a4e9e7acbbc435","datavalue":{"value":"correctness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040369$A11DA2BA-61D3-44D3-8F73-5E966000096C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b6f8c3681fcc9364913cfae79e8572fd3b4f9a","datavalue":{"value":"completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5040369$754812D3-1057-45E5-8291-9D9875084AC2","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":"Q5040369$4C93A038-3BAB-4400-8E34-31B113B551D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41002844c23c5deff587f703f6de25ce9cf83db4","datavalue":{"value":"https://doi.org/10.1007/978-3-030-48077-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5040369$6F8974A2-39E4-484A-B9CD-ABC5CD51BDD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04cf12442ea0f84f18adeed5a2a28b390d4c2174","datavalue":{"value":"W3026232124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5040369$BA58BFAC-9A1F-4239-8DE4-35A55F30B561","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aca6b3686947c16400c0bbe2ec8549cf7343ab","datavalue":{"value":{"entity-type":"item","numeric-id":344799,"id":"Q344799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$F3519653-6F8B-46FB-885C-AB24F06389FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163fceefea075b43c7a97126b1282dd624b40c36","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$A63A096C-F42C-4643-A74D-762CE4D19EA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$2C1AD491-FC71-4E55-913D-EB44310972DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a95fe2cd88f9c0798c5d594bfeac31bf8068c0","datavalue":{"value":{"entity-type":"item","numeric-id":3541029,"id":"Q3541029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$95B8F2AD-A2D4-4096-A20F-728D2DB9EB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7a158730f6e02e9f55102d6d5a2fcea6d7b6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3190124,"id":"Q3190124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$37911D23-F007-4E80-BB5A-2ACACE86E19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5f342fec690b1f94ea3f37ae45de812c9448d0","datavalue":{"value":{"entity-type":"item","numeric-id":2206787,"id":"Q2206787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5040369$DFFA066C-C031-43EC-B6DB-74B96FB57794","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b73ac661d8552c11208ebe6d154ac8caa5ffb74b","datavalue":{"value":{"entity-type":"item","numeric-id":2206787,"id":"Q2206787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4893c3bf30a17123289946232bb28b3386bc5c55","datavalue":{"value":{"amount":"+0.877154529094696","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":"Q5040369$5BD1E321-C9F2-48B0-AA68-8F909D073A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f39dc30dd993fa10cbdd4773b5018ce7f904a3cc","datavalue":{"value":{"entity-type":"item","numeric-id":2842124,"id":"Q2842124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4645f7ea876c19f03962ee9436391dbf1d61cf1e","datavalue":{"value":{"amount":"+0.8181143403053284","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":"Q5040369$25C1DF3F-F924-4ED5-BFFD-78E7A69EA677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8a49080728b8d9549936ed40ddfdc4c13da3b6","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9d297aa2ca5f6f3e44e4144772c8acde110d9fa","datavalue":{"value":{"amount":"+0.8017306327819824","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":"Q5040369$A302372E-6592-4EE4-9A2D-90E62A53AF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebcc3ca85adb87cbe0278e6dee906880c36672e7","datavalue":{"value":{"entity-type":"item","numeric-id":780055,"id":"Q780055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e293e4a05074484b27e40bad64488e7fdbda7b","datavalue":{"value":{"amount":"+0.7649836540222168","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":"Q5040369$B3B4A48D-8309-45E0-8A73-A9132A993B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b95aad48a2b075c77e4e6fbae4ccaf8feaa1905","datavalue":{"value":{"entity-type":"item","numeric-id":739636,"id":"Q739636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"226f3c2d301975fac6d9aa60b483c857f9a6487d","datavalue":{"value":{"amount":"+0.7393959760665894","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":"Q5040369$77E3E9FA-6A21-4F79-878A-9579FC619B25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5040369","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5040369"}}}}}