{"entities":{"Q3535374":{"pageid":5565278,"ns":120,"title":"Item:Q3535374","lastrevid":50491256,"modified":"2026-01-14T04:53:19Z","type":"item","id":"Q3535374","labels":{"en":{"language":"en","value":"Towards Modelling Obligations in Event-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5364560"}},"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":"Q3535374$82985C7F-6913-4EE1-B6E2-B837F2F7F719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"914997e61ae6fb629d763bb56cd0233eb5447c63","datavalue":{"value":{"text":"Towards Modelling Obligations in Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535374$FDBD503C-D3B8-4568-BC87-8E952C68D327","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2dd401d18f016bf4b1776ca6c22a752dc49ee081","datavalue":{"value":"1156.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535374$58DD6E16-72B1-4624-A327-1D1CF52D1C4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e5ed9bac13cae311b00a966b8c9b52bfc20c7cf","datavalue":{"value":"10.1007/978-3-540-87603-8_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535374$B689B5EE-BBA9-4D62-9475-8FA7DF5C7BF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5844990a79f2901b0b6acae38eb50fd021feb27","datavalue":{"value":{"entity-type":"item","numeric-id":2842860,"id":"Q2842860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$688D1E72-B788-4F59-A39E-4D38B9032C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3b96476e77e05b6af15638a586f3c9907cff7c9","datavalue":{"value":{"entity-type":"item","numeric-id":2852073,"id":"Q2852073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$B45C91AF-9E85-45C6-BDD3-D9A176CFD8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e321b8a8d6ffaef16c185a29fc80b6594d14eb09","datavalue":{"value":{"entity-type":"item","numeric-id":3535373,"id":"Q3535373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$68F28ACE-F81F-4D1F-90D0-CE281D8D2904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a945de29bcca80b1998db998d86b04932e4a6662","datavalue":{"value":{"entity-type":"item","numeric-id":1626718,"id":"Q1626718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$A2715AAC-AD4A-4C2B-A02A-C1569C7E7F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e68a352a839ddf5efd0728fd0f8c251cb684af4f","datavalue":{"value":{"entity-type":"item","numeric-id":2432232,"id":"Q2432232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$F7041349-6E7A-4F0A-8C9D-0BADBEF1BC21","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":"Q3535374$9B977B85-1EEC-4756-8555-0802FEE39053","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7342eb678781e6dbbf20bef84e4f5955e6d62e0","datavalue":{"value":{"time":"+2008-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3535374$E195F175-58E4-450C-A6E9-BAA1D101DC39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4526c9392ca57a79b85b17b07b6e1a4534376d6","datavalue":{"value":"https://researchportal.port.ac.uk/portal/en/publications/towards-modelling-obligations-in-eventb(7cf45600-1a9a-4987-a98a-762c9a397f5a).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535374$86F7C036-3E46-4F1D-A156-2B53048DDA6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535374$4C9FE611-56CA-491D-85B4-44B5D8555945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535374$BC390669-EC52-4E2F-9B68-D34C2BF2261F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20c62b3c21c9dd6065c1f53bcd7c4835a038478e","datavalue":{"value":"5364560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535374$04EA5BD2-6C66-4CE5-B9D1-D05C06A06B56","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":"Q3535374$BEF584C5-E9C6-4EE2-8DC9-9C1E939DFF38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c72743a96a2cee73c8f90ec4348b18d3d657471","datavalue":{"value":"W1558655062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535374$F2786F3E-78C1-4A5C-B4D2-A6EE73CCC1DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ed42e6afa67e0a876b228125ab53413fe2a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1050109,"id":"Q1050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$366F49F0-B044-44F2-91C7-74CEB1FB7AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f9c53bea41b922f946d0eb9ac3db9ca32107e75","datavalue":{"value":{"entity-type":"item","numeric-id":4412495,"id":"Q4412495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$0BE517AB-DA4B-4694-A26E-11F7F4642263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be70c371f40a0badb1a30d361afd86a66e8482dc","datavalue":{"value":{"entity-type":"item","numeric-id":4737571,"id":"Q4737571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$525CFD3C-87DF-4918-9F93-29E1F2A8023A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab456d128580023520c4c1eff65d6fab32bdc31a","datavalue":{"value":{"entity-type":"item","numeric-id":5709993,"id":"Q5709993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$566E1209-8529-4695-9CF0-435E52B7A689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d60793996fdb0f2c87d40fbcb6e7fcda6bf3df","datavalue":{"value":{"entity-type":"item","numeric-id":3356299,"id":"Q3356299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$44E5F16D-2898-40E0-A5A8-BBAC655E0F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d223981ae7810a035830c0eb8a6cb984aabc840","datavalue":{"value":{"entity-type":"item","numeric-id":4536898,"id":"Q4536898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$5224DBCE-0FAD-476A-929D-602940E6B305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea73c316535d221d474870ae19006e468ba7d51a","datavalue":{"value":{"entity-type":"item","numeric-id":3128862,"id":"Q3128862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535374$19481988-86D5-4E1A-A531-76DBFD220836","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"643eb9fb141480ce9f216570d2730d531d156056","datavalue":{"value":{"entity-type":"item","numeric-id":3535369,"id":"Q3535369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd31a63a1ae4f86a77d1f36aa0f62084a009f74f","datavalue":{"value":{"amount":"+0.7542336583137512","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":"Q3535374$7B171732-A8A4-4808-A0C6-DB093678F795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7984c32cdc5c18e72e186889632eb2aed8013e06","datavalue":{"value":{"entity-type":"item","numeric-id":539230,"id":"Q539230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55126b843a49f4a8f838969e71d0b62e1ae92f5f","datavalue":{"value":{"amount":"+0.7516886591911316","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":"Q3535374$C5B79A7E-84B4-4B42-8DFB-3337F0E7B440","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":"27622d90d321acf1316d98bd97244848173343da","datavalue":{"value":{"amount":"+0.6995981931686401","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":"Q3535374$307E36C5-A69A-4ADE-9BFB-736F4E9AB846","rank":"normal"},{"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":"172b447e5b09912d687efa981b3a36bbad8ffa25","datavalue":{"value":{"amount":"+0.6920226812362671","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":"Q3535374$09A0E702-7DA1-4E22-9AD0-D71B21E43843","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":"6ec9eafb2e4d7cc12eb0aed52c72d0548392e872","datavalue":{"value":{"amount":"+0.6892343163490295","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":"Q3535374$EA678C6D-1AFC-4467-A78A-1DFBD4B1C76E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535374"}}}}}