{"entities":{"Q59625863":{"pageid":59521381,"ns":0,"title":"Q59625863","lastrevid":1352297995,"modified":"2021-02-01T00:16:54Z","type":"item","id":"Q59625863","labels":{"en":{"language":"en","value":"Event-B Code Generation: Type Extension with Theories"},"nl":{"language":"nl","value":"Event-B Code Generation: Type Extension with Theories"}},"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 2012"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"a5a0dc77e1a6d74fa8d3b51d8a59a70b025f7e33","datavalue":{"value":"10.1007/978-3-642-30885-7_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625863$4AC42B02-A5E2-4CE6-BDC0-947711434298","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":"Q59625863$40926B53-FAC5-4F0C-8615-BDB80FB9F365","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"1784ba71d642f2f7a39d624558701c1b48203a26","datavalue":{"value":{"text":"Event-B Code Generation: Type Extension with Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59625863$C615D576-B2AE-4387-A3C5-919AAB73790A","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"f557575c35a9a24d4c9aab78992f3cd227578b6a","datavalue":{"value":"365-368","type":"string"},"datatype":"string"},"type":"statement","id":"Q59625863$741C7CC8-9934-42BE-A566-E61AC43BDD14","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"e65372cf39f868dd8f2040ca874cd9632f1e02aa","datavalue":{"value":{"time":"+2012-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":"Q59625863$BD48C96A-1C6C-4FAB-BFB5-63B21B438C6E","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":"Q59625863$3EF97DCA-1CA0-4C12-93E7-9BE3BFB2407B","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b1f107f408caa8bee739eb9cbedaa0472e295357","datavalue":{"value":"Andrew Edmunds","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":"Q59625863$E2FDED1F-7404-4D25-90F0-6D33A68D97EA","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":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625863$5F652B60-89B3-48A9-B7FD-8CEF416FE8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"1e6d63ab5ef26b42e439a4a523abc84b15533579","datavalue":{"value":"Issam Maamria","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":"Q59625863$669344D9-E8D3-4680-ACB9-26FDD90A21BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"06ff1d11523fab7769bae36ccda009efca41310f","datavalue":{"value":"Renato Silva","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625863$84E7BED1-8BFB-4B49-98C1-495BC1C87EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"7ca2fec25eed6cfd45b11f92f2a59c42cda7b5f9","datavalue":{"value":"Chris Lovell","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59625863$BDA8A82F-EC8B-40C3-8C30-BDCF18250F49","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":"Q59625863$5462B184-6397-425E-9A22-3F8DE228EF4B","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"75d761762fd7580a9d5318d1e16e12f1108a17c9","datavalue":{"value":"conf/asm/EdmundsBMSL12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625863$AF804A38-906E-4F66-84D9-0DCFD483744A","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":{}}}}