{"entities":{"Q59625776":{"pageid":59521294,"ns":0,"title":"Q59625776","lastrevid":1770356516,"modified":"2022-11-13T00:14:34Z","type":"item","id":"Q59625776","labels":{"en":{"language":"en","value":"Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks"},"nl":{"language":"nl","value":"Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks"}},"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 2016"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"7cae1ff6870760de05721d04122fb25d533582ec","datavalue":{"value":"10.1007/978-3-319-47846-3_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625776$288D0654-AFC5-4C86-AFFA-6E89C86B825D","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":"Q59625776$D22EDA9A-D5FF-4B95-8FAC-EAC48C606416","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"59d5ce9c38d431c4b2117483fdbcec516a89fc4b","datavalue":{"value":{"text":"Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59625776$B303F938-6192-4DC2-B13D-99D081633C60","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"2c0088ad6241c910812b9e000e4d026d181afdb7","datavalue":{"value":"90-105","type":"string"},"datatype":"string"},"type":"statement","id":"Q59625776$73B2AFB6-FC94-4904-B201-82ECAD39FD99","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"884bdc4d0684419849d28a42c835ae0ddc5bc051","datavalue":{"value":{"time":"+2016-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":"Q59625776$8B162384-89DC-4521-92F1-13D2BEB5452A","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":"Q59625776$5038102B-1A53-48BB-B47D-1872F1E5917D","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"42f52707f3d638168ed8cfdfdcdec6b912686a0d","datavalue":{"value":"Richard Banach","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":"Q59625776$6BA8BE3B-071A-4457-9F18-495526364A4A","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":"Q59625776$FB444113-8B9E-453D-BCF4-7ECB1D3A0225","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":"Q59625776$E04E5156-BD40-4097-A90A-C77000EC4397","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"56e3372469854d70a57d0bfbb0a7f9c1614fccb0","datavalue":{"value":"conf/icfem/BanachB16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625776$D9DBC6BF-CA08-446C-8116-344CB638B517","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"]}]}],"P2860":[{"mainsnak":{"snaktype":"value","property":"P2860","hash":"746b5e187fc8d1523f8fbcbcd2a3b1ba0a9c3373","datavalue":{"value":{"entity-type":"item","numeric-id":59625896,"id":"Q59625896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625776$6095F599-AF1B-40F7-AE8E-F95488F5BBF8","rank":"normal","references":[{"hash":"532065369272184771376813155929eac40589a1","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"4bc3dabd668ffa2b4a8bd600a20a65a0d08e81d3","datavalue":{"value":"https://api.crossref.org/works/10.1007%2F978-3-319-47846-3_7","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"420b4cb1529e36cbfa38d93242befc1e57866e52","datavalue":{"value":{"time":"+2020-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"39839fefeb18d24790241cbfcaefb42915d8cb22","datavalue":{"value":{"entity-type":"item","numeric-id":59625800,"id":"Q59625800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625776$8987F75C-0C22-4FF8-8227-0C47D7F2DCB0","rank":"normal","references":[{"hash":"532065369272184771376813155929eac40589a1","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"4bc3dabd668ffa2b4a8bd600a20a65a0d08e81d3","datavalue":{"value":"https://api.crossref.org/works/10.1007%2F978-3-319-47846-3_7","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"420b4cb1529e36cbfa38d93242befc1e57866e52","datavalue":{"value":{"time":"+2020-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"231884c2caaab8ebeea2503cc873c25990cddae6","datavalue":{"value":{"entity-type":"item","numeric-id":59625791,"id":"Q59625791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625776$50374F85-910C-44EE-8973-2D81165033A2","rank":"normal","references":[{"hash":"532065369272184771376813155929eac40589a1","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"4bc3dabd668ffa2b4a8bd600a20a65a0d08e81d3","datavalue":{"value":"https://api.crossref.org/works/10.1007%2F978-3-319-47846-3_7","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"420b4cb1529e36cbfa38d93242befc1e57866e52","datavalue":{"value":{"time":"+2020-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2860","hash":"e8fac94c7c5455c9e126952f2e05ca6e247109d9","datavalue":{"value":{"entity-type":"item","numeric-id":57380586,"id":"Q57380586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625776$DC8719F8-1384-44C8-8619-04F23551899A","rank":"normal","references":[{"hash":"532065369272184771376813155929eac40589a1","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P854":[{"snaktype":"value","property":"P854","hash":"4bc3dabd668ffa2b4a8bd600a20a65a0d08e81d3","datavalue":{"value":"https://api.crossref.org/works/10.1007%2F978-3-319-47846-3_7","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"420b4cb1529e36cbfa38d93242befc1e57866e52","datavalue":{"value":{"time":"+2020-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P854","P813"]}]}],"P1104":[{"mainsnak":{"snaktype":"value","property":"P1104","hash":"f3a63502d3216833f90c59f292b9fd0c7ed2f4b0","datavalue":{"value":{"amount":"+16","unit":"1"},"type":"quantity"},"datatype":"quantity"},"type":"statement","id":"Q59625776$8E07A301-AC3C-4C71-AD76-5F10A8C96096","rank":"normal","references":[{"hash":"40fce3ab36b4480c47d9e8bc986521996506f2dc","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"82cfe67f9f867837ae01ad53eb2ec999c910cc6f","datavalue":{"value":{"entity-type":"item","numeric-id":110768064,"id":"Q110768064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}]},"sitelinks":{}}}}