{"entities":{"Q59625882":{"pageid":59521400,"ns":0,"title":"Q59625882","lastrevid":1934430984,"modified":"2023-07-14T13:44:26Z","type":"item","id":"Q59625882","labels":{"en":{"language":"en","value":"Composing Event-B Specifications - Case-Study Experience"},"nl":{"language":"nl","value":"Composing Event-B Specifications - Case-Study Experience"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f, \u043e\u043f\u0443\u0431\u043b\u0456\u043a\u043e\u0432\u0430\u043d\u0430 \u0443 2011"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2011"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"75b50ec1d2430c61cfea3483a966ebd8d241a33b","datavalue":{"value":"10.1007/978-3-642-22045-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625882$9E87E1DB-9432-43C4-B5CE-48DD8FBF1CC8","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625882$B44A8FBA-E2CD-4FF4-A494-13C0B6760F70","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"b2159b827e79949850e0e8a9d58791ef5d8ef538","datavalue":{"value":{"text":"Composing Event-B Specifications - Case-Study Experience","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59625882$A41D7F44-7431-4BA2-82E9-DEB328D6457C","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"2e298f50000e68eb2ebb3ee46a21a91a0280a31a","datavalue":{"value":"100-115","type":"string"},"datatype":"string"},"type":"statement","id":"Q59625882$E60D5202-AB00-4814-810B-891DF1C76768","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"67d1b75253e0d778a47e2751415aa2f6e348270d","datavalue":{"value":{"time":"+2011-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59625882$A2085ACE-8449-443C-9D3A-C53F0C2B17C9","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"3015693f9abc71841a3bdca0db9bc5206d5c0b4c","datavalue":{"value":{"entity-type":"item","numeric-id":924044,"id":"Q924044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625882$EAF859A8-810A-44C4-B7AE-ADDDE8C97A79","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"3f14ca338f914ee09d77df8687a6c9841679c89c","datavalue":{"value":"Ali Gondal","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625882$23EB18A2-9383-4457-900B-830294B2FF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"ee37d29111c1aa7c65b69a2fca9a24a5f8a1801f","datavalue":{"value":"Michael Poppleton","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625882$0C965A25-B77D-4D4A-BDD6-0C08EB465C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"9180e5f31f0dad75efa3bf49c1dc17862003b141","datavalue":{"value":"Michael Butler","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625882$7BDD82CE-2EFD-4254-9D32-7F62F6232079","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625882$EB55CB22-C467-4A41-9E6F-4A0E0EACFBCD","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"0ba9df5c9ab013d1e82d31d224bdf5de107c33ff","datavalue":{"value":"conf/soco/GondalPB11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625882$F39A731B-9E9D-4824-8667-955263AA667B","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}]},"sitelinks":{}}}}