{"entities":{"Q3569584":{"pageid":5599488,"ns":120,"title":"Item:Q3569584","lastrevid":51017474,"modified":"2026-01-16T05:43:34Z","type":"item","id":"Q3569584","labels":{"en":{"language":"en","value":"Modeling in Event B. System and software engineering."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723863"}},"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":"Q3569584$9CF16343-8674-4970-B9F3-ACD292D1B8CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39939a28809670d672917a26ec14bfba1d226be2","datavalue":{"value":"1213.68214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569584$06E35875-EA3C-48A4-AB6D-E127D1661B6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"848d85a5b2d2a82e51d619c9aa484d0431ed1cbe","datavalue":{"value":{"time":"+2010-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569584$29B9A159-124B-4802-B365-5E71434BAEA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569584$D1529459-4BDD-49D4-9FEC-EADCB21F8F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569584$F57083C3-A2E3-44EA-A085-EE15BA23E257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e2189037016f08e5ecc300969245ca343b59482","datavalue":{"value":"5723863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569584$AE9D1722-CF03-4674-999E-062E75C616FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"550ad17c99ba1489afd072b36bc782ebf2acdd15","datavalue":{"value":"Rodin Platform tool set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569584$B8A364C6-78BE-4EF0-8F99-654E17B6D150","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f095fb766aa5a3c0b3eeb13676b67c4c906ea55","datavalue":{"value":{"entity-type":"item","numeric-id":1044180,"id":"Q1044180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569584$7A625169-487E-47E1-BFE5-E58A5674C0F6","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":"Q3569584$7E75C38C-2511-4439-8D72-087B5EB39D1E","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":"Q3569584$4401A210-A995-465C-8E1A-0A5F19CD6531","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44462bd8f8015d07b19728aeb91786d6dc3f619","datavalue":{"value":{"entity-type":"item","numeric-id":5298560,"id":"Q5298560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2e6d4850b30e2ed303068c7295edb92fb9f71c","datavalue":{"value":{"amount":"+0.8001578450202942","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":"Q3569584$5BD76B4A-951C-4CA9-A12B-35F9ACBBB4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6981c567b0b423dbce89fc0ad0e1b2bcc285ccf9","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd8b8a44e9b11e12e4ec17bfdb0aebb57f08340","datavalue":{"value":{"amount":"+0.7803090214729309","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":"Q3569584$4D4752B2-2E40-499D-9085-60F12FE1E213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab43ea3ea73de1e40c0f206f9a686a7b7277f34","datavalue":{"value":{"entity-type":"item","numeric-id":5322613,"id":"Q5322613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53630358defab55d3db35dd5ddeb8c53688e710","datavalue":{"value":{"amount":"+0.7712900638580322","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":"Q3569584$9E7BC8F3-5F09-4D08-AF5E-CC73E84E1800","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":"585365264b11b0b092aaa98106958e11289830df","datavalue":{"value":{"amount":"+0.7660226821899414","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":"Q3569584$B01F44EC-B7DD-4AC2-8388-BE44369320A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd8bacc09002edac0affd452a59ca4ea46b4ea55","datavalue":{"value":{"entity-type":"item","numeric-id":5309950,"id":"Q5309950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a526d85368b4d8c596db57d1531b14b49b285b","datavalue":{"value":{"amount":"+0.7481488585472107","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":"Q3569584$5F2D9EAC-5C08-4DCA-AEA3-1EDA105E9F31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569584"}}}}}