{"entities":{"Q59625917":{"pageid":59521435,"ns":0,"title":"Q59625917","lastrevid":1832447127,"modified":"2023-02-12T10:17:42Z","type":"item","id":"Q59625917","labels":{"en":{"language":"en","value":"Supporting Reuse of Event-B Developments through Generic Instantiation"},"nl":{"language":"nl","value":"Supporting Reuse of Event-B Developments through Generic Instantiation"}},"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 2009"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2009"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"0d725064d1ceacd7738bad30aedffc40db8e8f9b","datavalue":{"value":"10.1007/978-3-642-10373-5_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625917$BE49BA64-C8EF-45B7-8103-4A7F80DCAC48","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":"Q59625917$3618E8F3-1598-4D02-A968-0ACD038F423C","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"2c3e1f233443293e32fe5787056ff337ef566f26","datavalue":{"value":{"text":"Supporting Reuse of Event-B Developments through Generic Instantiation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59625917$71BE2473-2AF4-456A-92BB-8573BA945DE1","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"d9a450e9ec9199f30d2c064c2d389317a15b30b1","datavalue":{"value":"466-484","type":"string"},"datatype":"string"},"type":"statement","id":"Q59625917$10487262-1F38-476C-9C6D-4559C1ED4F05","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"d0b146732c08215a0fe1c09ff9481930fbba797a","datavalue":{"value":{"time":"+2009-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":"Q59625917$7CB4857B-0A6D-41CB-80F9-C272C3ECD3F9","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":"Q59625917$4762C45F-7E4A-4A6F-ACD7-11C2BECA7173","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"06ff1d11523fab7769bae36ccda009efca41310f","datavalue":{"value":"Renato Silva","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":"Q59625917$3E9837E0-EA1F-424A-B372-CC8672F99C37","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":"Q59625917$75202454-4435-4594-B0B1-C54FEB45D199","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":"Q59625917$E2538266-7091-42E1-851E-EC81C304C1AF","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"2a4c1c0743747d029cdfd53bd1cac24c780a1266","datavalue":{"value":"conf/icfem/SilvaB09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625917$9DF45A58-2DAE-4D98-99EF-7130CCF09806","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":{}}}}