{"entities":{"Q3535377":{"pageid":5565281,"ns":120,"title":"Item:Q3535377","lastrevid":50491262,"modified":"2026-01-14T04:53:20Z","type":"item","id":"Q3535377","labels":{"en":{"language":"en","value":"The Composition of Event-B Models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5364562"}},"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":"Q3535377$61A1073D-565E-4C13-87FE-43B85E203A46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5913e1dcbecdcca13ba256f86eac5a89bcd99d3d","datavalue":{"value":{"text":"The Composition of Event-B Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535377$B611915D-1EB5-4CEF-BE3F-47A0E87B189E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e26135f1b2d62b7cadcc3603b22ac4b5b4141538","datavalue":{"value":"1156.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535377$90C6ED78-FF71-4AB9-B924-9DE9BD110CE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30239b9a7dfc7366e67d685000f23c6013cdae60","datavalue":{"value":"10.1007/978-3-540-87603-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535377$948DA901-79A8-4AE7-B9DB-2DB44B2FB10A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87e2ff9fbddb683ab4811b0858d92fa54dca91a7","datavalue":{"value":{"entity-type":"item","numeric-id":997236,"id":"Q997236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535377$E511F7B1-2F7B-49B0-8FEE-F91038B23A19","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":"Q3535377$C1522E95-C815-46E4-9011-7CFAE5A84B0D","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":"Q3535377$BDF195BD-702C-40E6-BEAE-C31A1F7B4889","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"926fc1d73520cc081ef4a9025d634eda3ac622d2","datavalue":{"value":"https://eprints.soton.ac.uk/266487/1/poppletonABZ2008.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535377$8FD54630-BD87-483D-82FE-9C129FA0459D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535377$29A1DDC9-6DC8-462A-ADBB-88A5874FD994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535377$53320BFB-1573-47F3-80D4-61C22B178CC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e39826bd70131f7957ddeb53cbb66d3937af1159","datavalue":{"value":"5364562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535377$74C631D5-FBB3-4996-9071-53445267807F","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":"Q3535377$7C33C0C9-72A2-49B2-9C25-1FF48E6B445F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"713ca5472e4bdb745f0018a8d66b76fb62c43597","datavalue":{"value":"W2143585477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535377$C8CECA29-1E46-4776-865D-3283CF434B86","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":"Q3535377$3164BB06-ADF8-4470-A3DF-16B2436A27B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1958828671f00351a398a8b8f4c4a89f7bd69c88","datavalue":{"value":{"entity-type":"item","numeric-id":4472194,"id":"Q4472194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535377$F6B65F64-4E26-4277-A283-7B83E02148F7","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":"Q3535377$A6492CE2-3DD9-4814-9FBD-CB619E5DA0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c870575cc7f1bc1b2d005aa11ac8bd37955f030","datavalue":{"value":{"entity-type":"item","numeric-id":1284687,"id":"Q1284687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535377$3A4D5918-36AF-4C72-A90F-66460A64463C","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":"Q3535377$F11DA347-BDC9-485C-883C-08AEA641051E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca796b91648fb86030a62c7715ae255b6f71a7bf","datavalue":{"value":{"entity-type":"item","numeric-id":4436980,"id":"Q4436980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535377$102DE606-57C8-4F08-9953-64E93A5DCF8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817843a7139d1f70c38676e32e4b5862f0d3f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":3666252,"id":"Q3666252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535377$0FA76112-75C1-4B7F-9F2C-8B327E36708B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b0da51491e68bc5161db4d56b9e601cdeb69d2","datavalue":{"value":{"entity-type":"item","numeric-id":5312987,"id":"Q5312987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535377$5FD401F0-F62E-4CC5-8629-ED0B3B8A5799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b122e575bc0dbf1a68082c4b290206f9d3ba038a","datavalue":{"value":{"entity-type":"item","numeric-id":5692278,"id":"Q5692278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535377$DB3430B1-0128-45F2-A526-FE28A8CB97AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c933acc4ac73275cba2f6f9ba1d9f4bd79d02203","datavalue":{"value":{"entity-type":"item","numeric-id":4472200,"id":"Q4472200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ac721d61f6be04b682155ab8dc8410c84bae4e5","datavalue":{"value":{"amount":"+0.8043569922447205","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":"Q3535377$E8F2FEFD-8C9C-4C50-9B59-3398C0B12054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7823e7aaf7f8797feb967f8221e768e37d50995d","datavalue":{"value":{"entity-type":"item","numeric-id":2418044,"id":"Q2418044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c6b871e3aab722b54dd0e9519da5e740eb60de1","datavalue":{"value":{"amount":"+0.7869446873664856","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":"Q3535377$1530AEFD-4A41-4ED8-9D07-E54F0B5CD039","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":"278935c0c133747927564303f5aadd1b5c2e12a7","datavalue":{"value":{"amount":"+0.7431005835533142","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":"Q3535377$DD0DE178-70DA-460C-97DE-BAC431BB6D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6520965125b9733f98ea57937d4c074fa1343dfe","datavalue":{"value":{"entity-type":"item","numeric-id":2017761,"id":"Q2017761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ade96346e6a3d812d45032cc95d670e28cb18919","datavalue":{"value":{"amount":"+0.7345820069313049","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":"Q3535377$AA822CE9-EC8B-445C-84DF-2A8FC37910FA","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":"4a5391952476c12269ae60a5890cbdc317f27858","datavalue":{"value":{"amount":"+0.7339172959327698","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":"Q3535377$309AB6EC-EE1B-4024-8051-DC3DA949EEFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3535377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3535377"}}}}}