{"entities":{"Q3535369":{"pageid":5565273,"ns":120,"title":"Item:Q3535369","lastrevid":80678870,"modified":"2026-05-06T16:45:10Z","type":"item","id":"Q3535369","labels":{"en":{"language":"en","value":"On the Purpose of Event-B Proof Obligations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5364556"}},"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":"Q3535369$29203F80-81F2-49C8-9921-EF100CD7637A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac887c628ccde7d4a4816a71b1a970d0b9fbc984","datavalue":{"value":{"text":"On the Purpose of Event-B Proof Obligations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535369$544FC7B4-5326-4083-8ADA-1EE488CE36EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d9cef5b8f9bdffd2614981fa14d430f05a716b","datavalue":{"value":"1156.68348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535369$086B2A32-4A79-44DC-9C62-2C7C0C22097C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65475e258f22c6aa35774e28ffd45d89e253fcd2","datavalue":{"value":"10.1007/978-3-540-87603-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535369$97A51BDE-7760-46FF-9530-5909DCB1960F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3cadec2ef714e5660771f9ec0500ac9b16a25e","datavalue":{"value":{"entity-type":"item","numeric-id":432153,"id":"Q432153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$3EF41A64-ED96-4968-BAB8-A3CCA45C1CED","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":"Q3535369$0821F41C-DA32-4494-8519-81BECAC4F99A","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":"Q3535369$A369B839-1DE9-4E96-B39E-F2F088D72FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"189e0f59e37038cc38fe52f276b12a016133f84f","datavalue":{"value":"https://eprints.soton.ac.uk/266052/1/evtbena.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535369$28F9D2D3-D212-40D8-8574-748055B686DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535369$14F3894B-FEAF-49D6-8AE7-2C85B56A353A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535369$DF63EE14-5C71-4431-87B9-229C68041AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535369$4AEC2BB5-2C96-4F2A-9119-448D4F774323","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3422171407ae3d447b3d9b936d34dc3479ec6cc","datavalue":{"value":"5364556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535369$78518D63-B412-4AA5-966D-9308B7E8E99A","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":"Q3535369$9487A5B2-B73D-4303-85C8-965D721D7242","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efa0a772a3a657bfa41a56eda5e2b2d64ddec423","datavalue":{"value":"W1883612199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535369$3C226312-4FD8-4656-80DD-16A828AE24CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$E969EBE1-109D-4E85-BC5B-709944C3882E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9300d2bf0dcdb3bae13ac524c29a0cdc1c50ee","datavalue":{"value":{"entity-type":"item","numeric-id":1402471,"id":"Q1402471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$8FFABFEC-A49C-455F-B97C-3EFBAFC67A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e7b9da18e16cd970511c07ad5cdb803278d984","datavalue":{"value":{"entity-type":"item","numeric-id":5294155,"id":"Q5294155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$1B528A5B-3357-4859-92B7-E171FFBA405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$6DF8AC60-0A95-4F5C-8564-C15C63196335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346e655dcd62ef5e64bf18d3c2c03b93f3807ca3","datavalue":{"value":{"entity-type":"item","numeric-id":1924630,"id":"Q1924630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$7F468585-18BF-49F1-9BD9-4AD61F1DE229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$661FABBD-4869-4833-8578-A485ABF9D433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e998b444835936e8353f5e4f0e79cf678bdaf353","datavalue":{"value":{"entity-type":"item","numeric-id":4436962,"id":"Q4436962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$C40A38AE-E0D1-42B2-A9AF-DAFA727DA004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a250ea3b95762a4cf4e53b908f544cd041f99276","datavalue":{"value":{"entity-type":"item","numeric-id":3608889,"id":"Q3608889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$0D273240-BEFA-4BB1-A603-54057082A8CC","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":"Q3535369$C01FE38E-2036-4FC3-AC0B-1FE040DC0D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6f37b944bf995fcb106bab7b920c6000a076ca","datavalue":{"value":{"entity-type":"item","numeric-id":3996921,"id":"Q3996921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$FE2C0882-D3C0-4AB9-A667-BD49247B3B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$B5B20D29-D475-4BB1-BEE8-78CE52625B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f6c194330051269cbb2031658aa6b4220e257c","datavalue":{"value":{"entity-type":"item","numeric-id":4702189,"id":"Q4702189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$4A8BFE8F-5B46-4FB5-9CC5-831CD3F7F4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18d5035fb8e34a85e1a27c020bf6de7fdcd037e","datavalue":{"value":{"entity-type":"item","numeric-id":5887514,"id":"Q5887514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$88C10466-AFA3-4F77-91D0-9FF35D86FA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535369$FD5D0564-E313-4745-9BBA-87255DEE1DF9","rank":"normal"}],"P1643":[{"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":"4fc065c033d2e629a8dd1213f4c5c93126d6431b","datavalue":{"value":{"amount":"+0.9993609189987184","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":"Q3535369$19E96B20-A287-4E64-A14D-9606EAE507FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50321399425b9bd6fe37ce6f8cbb37ab6b923872","datavalue":{"value":{"entity-type":"item","numeric-id":3535374,"id":"Q3535374"},"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":"Q3535369$5D3868DB-8860-4104-98F2-5A51805FF58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc5e356a5e9f5403b0fd5200e4d64e9f97c50b4","datavalue":{"value":{"entity-type":"item","numeric-id":2994490,"id":"Q2994490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0724478738905aed62887786dc29cbc8b2cf52f","datavalue":{"value":{"amount":"+0.7449521422386169","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":"Q3535369$721A0644-6746-411D-9D1E-1FEF5E942447","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":"145ebd3719fac5c6fa825a046bfb8fff59d1abf5","datavalue":{"value":{"amount":"+0.7413372993469238","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":"Q3535369$9EA0A181-754B-4009-8591-BA5C76379242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ea74d8cc38401804b0f4418fa62cad1c586e70","datavalue":{"value":{"entity-type":"item","numeric-id":432154,"id":"Q432154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0389fda817af5b94a9fbf8ddfc53c2313b49905b","datavalue":{"value":{"amount":"+0.7394548058509827","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":"Q3535369$8F40657A-27ED-4663-8106-572466CDEF8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Purpose of Event-B Proof Obligations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_Purpose_of_Event-B_Proof_Obligations"}}}}}