{"entities":{"Q59477094":{"pageid":59378458,"ns":0,"title":"Q59477094","lastrevid":2222349034,"modified":"2024-08-07T00:37:54Z","type":"item","id":"Q59477094","labels":{"en":{"language":"en","value":"Foundations for using linear temporal logic in Event-B refinement"},"nl":{"language":"nl","value":"Foundations for using linear temporal logic in Event-B refinement"}},"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 \u043a\u0432\u0456\u0442\u043d\u0456 2016"},"de":{"language":"de","value":"im April 2016 ver\u00f6ffentlichter wissenschaftlicher Artikel"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"c15bb8c9b59c3d7693633b9671eddaa5d3814ddd","datavalue":{"value":"10.1007/S00165-016-0376-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59477094$CE9ADEB5-4433-4F69-8C3B-4DD195D483CF","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":"Q59477094$E95AA0E9-A6D0-49B0-9F61-949DC3D5A0BD","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"451c9ac103d53efb96a432e8f14074ee4c02ecd0","datavalue":{"value":{"text":"Foundations for using linear temporal logic in Event-B refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59477094$6626F602-1FC7-4092-9B8D-E12B43ADC99E","rank":"normal"}],"P433":[{"mainsnak":{"snaktype":"value","property":"P433","hash":"d1661592d72f9489a6843e1b2291131a10a7fbad","datavalue":{"value":"6","type":"string"},"datatype":"string"},"type":"statement","id":"Q59477094$D5E398CD-562F-4EAF-84E0-94D9D6D63200","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"152f7fcad4b25e44b128ab661163c60997233c12","datavalue":{"value":"909-935","type":"string"},"datatype":"string"},"type":"statement","id":"Q59477094$22F09226-EC29-4C57-BB0B-9E62A7B1196D","rank":"normal"}],"P478":[{"mainsnak":{"snaktype":"value","property":"P478","hash":"725d3cd00fb2aa6a52597bc21107ec4155b9acc1","datavalue":{"value":"28","type":"string"},"datatype":"string"},"type":"statement","id":"Q59477094$FCFC9882-01C3-4C40-BDB8-C47A5059AE15","rank":"normal"}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"a690ae99a0918a378d766a09b459f4ee1805219e","datavalue":{"value":{"time":"+2016-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q59477094$E37BAA45-0DE8-404F-9429-40E7DEF5EC52","rank":"normal"}],"P921":[{"mainsnak":{"snaktype":"value","property":"P921","hash":"215422b0073810e5d63e5969aff65c028f5c63e5","datavalue":{"value":{"entity-type":"item","numeric-id":2878974,"id":"Q2878974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59477094$C0F725E6-6F1C-4FA8-AB3A-4CA163D27704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P921","hash":"aed1ebfd3383b1f00d34d917eda89ac5fd5c83b9","datavalue":{"value":{"entity-type":"item","numeric-id":781833,"id":"Q781833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59477094$885DB9C5-7856-4710-AE0B-87C8D8707D50","rank":"normal","references":[{"hash":"0723282bb80042897ca697416c050b4bf7fb5428","snaks":{"P887":[{"snaktype":"value","property":"P887","hash":"2009eafb2646ea71bee7372b061e8521ee613fc2","datavalue":{"value":{"entity-type":"item","numeric-id":69652283,"id":"Q69652283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P887"]}]}],"P1433":[{"mainsnak":{"snaktype":"value","property":"P1433","hash":"bfa4250cd38d7b34c0cabf97d1c471c7f33e73a4","datavalue":{"value":{"entity-type":"item","numeric-id":5469945,"id":"Q5469945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59477094$CC4A0AB2-3089-4A36-A49D-C610ED0AA34C","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"ac6bcf20b46043621f5f09b1593564dcc41e0383","datavalue":{"value":"Thai Son Hoang","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":"Q59477094$55418246-4B04-4799-BF49-BCBDE97101BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"a3f90c5bc2ded5aefca20348c6a1431e6d63add4","datavalue":{"value":"Steve Schneider","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":"Q59477094$CC2B7425-8328-419C-ACF9-42DCB4A803B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"8c2c7fb1ccdbc74639373a469865ae9295e37a20","datavalue":{"value":"Helen Treharne","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":"Q59477094$CBDBC690-D969-4359-B858-C12227F97A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"890e0d8b2de69be8766622307c3c40b83ee983d6","datavalue":{"value":"David M. Williams","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":"Q59477094$711B1A4F-043E-46DD-A850-7C6E83173024","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"9cd86668d3c33f6d6d01a8285bab6ca31cd57169","datavalue":{"value":"journals/fac/HoangSTW16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59477094$0FFAB25A-AAD6-42E8-8D41-884F9DAC81B3","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"]}]}],"P275":[{"mainsnak":{"snaktype":"value","property":"P275","hash":"d88af718aa8a9dfc24195b73bf4f597bc66c46c3","datavalue":{"value":{"entity-type":"item","numeric-id":20007257,"id":"Q20007257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P580":[{"snaktype":"value","property":"P580","hash":"1b272f983354bed39ab3aece039dd65ae6ef25ec","datavalue":{"value":{"time":"+2016-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"qualifiers-order":["P580"],"id":"Q59477094$5fa9e2c7-ca6a-4934-8900-50ff9fe815c1","rank":"normal","references":[{"hash":"3a5a79d5f9f1c400e34ea860836aa86a6d7a2b15","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"8c99cde9c9a975090e642283ce4937f9cf3818a4","datavalue":{"value":{"entity-type":"item","numeric-id":115868162,"id":"Q115868162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P248"]}]}],"P6216":[{"mainsnak":{"snaktype":"value","property":"P6216","hash":"5570347fdc76d2a80732f51ea10ee4b144a084e0","datavalue":{"value":{"entity-type":"item","numeric-id":50423863,"id":"Q50423863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59477094$5ceee9dd-7c4f-48b1-8673-6b3f1ec7f827","rank":"normal"}],"P894":[{"mainsnak":{"snaktype":"value","property":"P894","hash":"5c265ed472cf9e06778d47ec779e7fc4066a8d71","datavalue":{"value":"1348.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59477094$C291989A-6AA7-400E-9F8D-8B717C9F4FF3","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":"Q59477094$5E9C8063-B9CD-4E84-8C2A-2B0466EF0C6A","rank":"normal"}]},"sitelinks":{}}}}