{"entities":{"Q59625964":{"pageid":59521481,"ns":0,"title":"Q59625964","lastrevid":2420437941,"modified":"2025-10-22T14:52:21Z","type":"item","id":"Q59625964","labels":{"en":{"language":"en","value":"Linking Event-B and Concurrent Object-Oriented Programs"},"nl":{"language":"nl","value":"Linking Event-B and Concurrent Object-Oriented Programs"}},"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 \u0447\u0435\u0440\u0432\u043d\u0456 2008"},"de":{"language":"de","value":"im Juni 2008 ver\u00f6ffentlichter wissenschaftlicher Artikel"},"ast":{"language":"ast","value":"art\u00edculu cient\u00edficu"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"d967ddbcebd77e1db8a1536785f7dd0f6fc584f5","datavalue":{"value":"10.1016/J.ENTCS.2008.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625964$4E90BA0E-363B-483A-8328-2C7651F236E5","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":"Q59625964$EB5B6522-BD42-4746-9DAA-8A8A5DD45972","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"f016368cb7e2140d32fe1b862bad01ce1f361167","datavalue":{"value":{"text":"Linking Event-B and Concurrent Object-Oriented Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59625964$8834DFE6-13CB-4E81-88CA-F6AA54314248","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"30b8a20641e44d400b3f8857443228db2b646a67","datavalue":{"value":"159-182","type":"string"},"datatype":"string"},"type":"statement","id":"Q59625964$563056D8-DF68-4451-82C2-06FDCA1152FF","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"44f7019f67bac6541bf0de33d235a94800d0bee2","datavalue":{"value":"214","type":"string"},"datatype":"string"},"type":"statement","id":"Q59625964$7295AEDC-DDBE-4962-88A4-A69C1B8E5F73","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"014f16155bd147d3e2067aac8cd150a8c24036b4","datavalue":{"value":{"time":"+2008-06-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":"Q59625964$3BF6B66E-5BA5-4739-80C5-680BDA943504","rank":"normal"}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"6dfac56d96a10bcf74ee9fe2bdc3f8f46cfe6235","datavalue":{"value":{"entity-type":"item","numeric-id":5358287,"id":"Q5358287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625964$03BB74DD-F64D-41CE-9191-992460A03A5E","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":"Q59625964$5C508B02-6626-48C9-A712-72C8ED58B2A7","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":"Q59625964$B440D610-E167-4C90-B616-AD55E823D561","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"627feca1e383491ba868dcd1ff0920f1ac29aa01","datavalue":{"value":"journals/entcs/EdmundsB08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625964$56C01534-286E-40DC-80A9-A4C0B371E416","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"]}]}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"443b62a03b8dd8b409f4b2d29e00c10b57be39a2","datavalue":{"value":"1283.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59625964$80E9F7CE-6567-498F-B843-7B362CF67456","rank":"normal"}],"P6104":[{"mainsnak":{"snaktype":"value","property":"P6104","hash":"a27c5fdb35b42381f12b2a603711e56d98dd77fd","datavalue":{"value":{"entity-type":"item","numeric-id":8487137,"id":"Q8487137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59625964$F64EBA62-B8DC-4872-9646-D1649A164410","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":"Q59625964$368CF632-26DD-41D7-9C45-73C04ECFF402","rank":"normal"}]},"sitelinks":{}}}}