{"entities":{"Q1941871":{"pageid":1952613,"ns":120,"title":"Item:Q1941871","lastrevid":51679028,"modified":"2026-01-19T10:55:44Z","type":"item","id":"Q1941871","labels":{"en":{"language":"en","value":"External and internal choice with event groups in Event-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6148338"}},"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":"Q1941871$F11ABED2-E2E1-4308-A24A-F82603C1F3CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c0221c14930345bc839f35b3e04b5568cc478d3","datavalue":{"value":{"text":"External and internal choice with event groups in Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1941871$498F1D2A-F9ED-44C5-8B8B-ED14C07933D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00f424411474859528d7fbea0ab9c9e3d87a2fec","datavalue":{"value":"1259.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941871$BA38DEA6-5DD4-44A3-8301-06AD52AA4D0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$A3E2E1D3-D4E5-4DE8-BAD0-EFFA1BD8D72A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$9EAB7EA4-AC21-48FF-AFB6-E8222DB21A07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e2d14323b1d0cc86219aa2b95091e7f0ab18297","datavalue":{"value":{"time":"+2013-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1941871$05758676-CD66-4FD9-8CAB-DF3A32C86F02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b5d15459ba3220dca04b1d469100603c48a6c34","datavalue":{"value":"https://eprints.soton.ac.uk/341169/1/twochoice.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1941871$D10B15CA-5DC5-4143-A7A1-425144659A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941871$4AECBF78-13CE-4607-87CF-4E8478AB4714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941871$52191C9C-0A9D-4AA2-A3CD-2FA1561078D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82d3f4ae29c8c98a736b7c899e873bc65c1dd393","datavalue":{"value":"6148338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941871$79476343-7292-4166-BDEC-74DABF909A85","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7cf537fa29bfebc809e20b7c70cc160e5c288798","datavalue":{"value":"Q59625866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941871$F882B048-3AF0-4894-B3AE-969E0DEC4A83","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$4EF1DFBF-50AE-4FC9-8AC2-57AA5264CDEC","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":"Q1941871$FBA94E78-075D-4FFF-8C5E-769D12253410","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4319223694286f4106b3562cc115411f764dccf5","datavalue":{"value":"W2046494829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941871$0615A834-31CA-45FE-886E-773A473B6BDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$551492C1-6C68-40CA-87C6-98D46BB1AD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6cde84a7ef2dd327fb6d5031da2267d90a777f","datavalue":{"value":{"entity-type":"item","numeric-id":1854322,"id":"Q1854322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$D9F65231-0DB8-4F08-A997-49A30C4DE1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145ba4ed8ff284bc41a418ac8911941d54ea5802","datavalue":{"value":{"entity-type":"item","numeric-id":1177155,"id":"Q1177155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$4B89005B-67C2-4B31-B0E3-52DE6CA0B6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b818886544f55043a2c97f0ad5ca3fb95817c6a","datavalue":{"value":{"entity-type":"item","numeric-id":539230,"id":"Q539230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$D449464A-A31C-4D5D-B68A-155592A8E065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$563ED9AB-D6A6-4896-A045-2825178DAB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b990987646964abac11e3e2c0c4b5cc7c7b0913","datavalue":{"value":{"entity-type":"item","numeric-id":1112600,"id":"Q1112600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$6296F7BD-C7F8-42A0-83F6-234D682CDBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9dcf97f1324642e65a88c0357ad0c7fec47b09","datavalue":{"value":{"entity-type":"item","numeric-id":1113664,"id":"Q1113664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$78E3D438-E817-4543-86D1-E930C0A701BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caa9629d795f931cfed86dbd485db17d083bf83c","datavalue":{"value":{"entity-type":"item","numeric-id":1323380,"id":"Q1323380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1941871$42873511-36FF-43AD-82D5-AA9564AB1584","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"9268e02c0a7da720b8fe2bc08bc1ee731674d99f","datavalue":{"value":"journals/fac/Butler12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941871$6977512E-DFBD-4CF8-BC5A-E8EBA545133B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e7fabe9ad4f58498b8c55a7d285b1de2280c99e","datavalue":{"value":"10.1007/S00165-012-0239-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1941871$9C500B26-5200-4E1B-A4E2-92BD42B97143","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e55510c286d731f16f6df0ca57db5a082702170","datavalue":{"value":{"entity-type":"item","numeric-id":736910,"id":"Q736910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e0c721f8a520e5c67a3a774994ffe654328424","datavalue":{"value":{"amount":"+0.8052632212638855","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":"Q1941871$2A2DDA9F-4E7B-44EF-AC74-6110E2768DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e8a1d7be5e629ea9bbc316a3c17c5ab78a486d","datavalue":{"value":{"entity-type":"item","numeric-id":5703804,"id":"Q5703804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc37f7e44f38d08cefba1342d80d5c43bb0a27b9","datavalue":{"value":{"amount":"+0.7597042918205261","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":"Q1941871$3B882304-35BD-4331-8E78-9CA76110B607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75199528f14600b051cc62db540c8a284b3d9728","datavalue":{"value":{"entity-type":"item","numeric-id":549684,"id":"Q549684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d98d07ad052f92d0c14b858e4ffcd345ca122a","datavalue":{"value":{"amount":"+0.7452823519706726","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":"Q1941871$16ED7B15-01AC-46F3-A055-493737EF1805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b569f108cf86cee38b137267d8fe09ff3399b3b4","datavalue":{"value":{"entity-type":"item","numeric-id":736913,"id":"Q736913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfe9dcaf2093267a9d99df046eea19a405f4452","datavalue":{"value":{"amount":"+0.7394495010375977","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":"Q1941871$33EC236E-7D7B-4367-91E5-5F7DA67F9D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"692e14a89f592d32d7f34c8de661041aef2a8828","datavalue":{"value":{"entity-type":"item","numeric-id":3608889,"id":"Q3608889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a5dd2df80327071741969624ea65cd0a71322b","datavalue":{"value":{"amount":"+0.7389302253723145","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":"Q1941871$CAB9AFA3-D7AF-4723-96D8-D7FFA364DB7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1941871","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1941871"}}}}}