{"entities":{"Q59625848":{"pageid":59521366,"ns":0,"title":"Q59625848","lastrevid":2391754054,"modified":"2025-08-13T23:12:33Z","type":"item","id":"Q59625848","labels":{"en":{"language":"en","value":"Problem decomposition and sub-model reconciliation of control systems in Event-B"},"nl":{"language":"nl","value":"Problem decomposition and sub-model reconciliation of control systems in Event-B"}},"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 \u0432 \u0441\u0435\u0440\u043f\u043d\u0456 2013"},"fr":{"language":"fr","value":"article scientifique publi\u00e9 en 2013"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"06e28eec2e782188fa0c1e7091840d45ab6d645e","datavalue":{"value":"10.1109/IRI.2013.6642515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625848$11BE2E02-7863-4A35-AD65-FCD7EAC52AD1","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":"Q59625848$F9BC26F9-1D47-4952-A2AF-FEE4B4FA96B7","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"0cab04ffcf3f187d13ce623012e4d49feb9692d6","datavalue":{"value":{"text":"Problem decomposition and sub-model reconciliation of control systems in Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59625848$E03B6388-E91C-4F05-97D3-13CA1E86151D","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"7592b0aa3052e2e79097867d87c2ca3d1e31448a","datavalue":{"value":{"time":"+2013-08-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":10,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59625848$FA23181D-4B32-4C34-B708-2E0E1E042AD8","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"358fb9e14b42a6b894a5d71741dc528c268be619","datavalue":{"value":"Sanaz Yeganefard","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":"Q59625848$59B299C0-560A-4108-8AD6-E717AA051BDF","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":"Q59625848$A9E2436C-E3E6-488B-A4FA-4F3DB1D51843","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":"Q59625848$BCE8A40F-52B2-4916-B415-D61C31881386","rank":"normal"}],"P123":[{"mainsnak":{"snaktype":"value","property":"P123","hash":"d7acbb34dc92cf62d72503737e9c587dc8000c58","datavalue":{"value":{"entity-type":"item","numeric-id":131566,"id":"Q131566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625848$FA919398-DAC6-4D26-9861-B481021379D7","rank":"normal"}]},"sitelinks":{}}}}