{"entities":{"Q2520616":{"pageid":2531359,"ns":120,"title":"Item:Q2520616","lastrevid":74168319,"modified":"2026-04-14T18:46:04Z","type":"item","id":"Q2520616","labels":{"en":{"language":"en","value":"A formal framework for Hybrid Event B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6664773"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$2A76D564-F42C-4BAA-A216-8F7447D68FE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c476c32d2e58974cf80c1fd6987740b177b19a2f","datavalue":{"value":{"text":"A formal framework for Hybrid Event B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2520616$7F92AED4-B47B-4DCB-8FCC-06CE567EF386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c925bef607a8096a1c6037f7c321c7231b46b06e","datavalue":{"value":"1351.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$CDC110EF-FBCD-44AE-AF15-2F9BAB71A93C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"305fb2f8a962124815fc0a25445bd2f8b30b1d8d","datavalue":{"value":{"entity-type":"item","numeric-id":251268,"id":"Q251268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$4E622BFD-3FFD-407B-BEA6-D72BF97B1ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8993472ed5c5c37e7b833b0602bb4818e0888f58","datavalue":{"value":{"entity-type":"item","numeric-id":212724,"id":"Q212724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$19F82FD2-8F1C-4645-8BA4-F2ACAC4A19A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81dc7daf8e9d74fc43b1651d3815e34e62e970ab","datavalue":{"value":{"time":"+2016-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2520616$E4411BFB-B410-4336-B32D-E7A68C209D27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$6D9FF961-1488-4FCC-A61B-A0272DEAD088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$1F5A2C78-B078-4058-9140-B1415DE56BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$FC123A87-D37E-47ED-9443-FCCFD333741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$AB7CA83B-3FA6-462C-B5F7-3AAE17276DFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31fd1dad5b626ef3b5fafb372b837a00ae2ca993","datavalue":{"value":"6664773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$B2DCFFB7-FE40-4EB0-9453-433A72FC85A9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7346424f391cf739db0ab1d71201dc377d2527c8","datavalue":{"value":"Event B","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520616$2FFD1FDC-9868-43BC-BEF0-C6DE2FDB8E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86059082e213c6d99600292a95b3e82fea30a53","datavalue":{"value":"differential dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520616$194E6D2F-A5B5-4D6C-A9CD-0897AC8D9796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77820a406cd79c238f436a42a7435b4fa6cd4f7","datavalue":{"value":"continuous refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520616$229B1AB9-E307-4E6A-9152-DD4451358CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2520616$0EBC529C-7855-456B-AA1B-35CD7C40D3EA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"216c6155c4a6b1b5e652c8e45af752e28b3f93a3","datavalue":{"value":"Q113317834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$262046AD-5233-4DEC-9E64-6AFC7961B7C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$545C9649-BB3E-4AE5-B2C5-DF2CB5CE2C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$625AFD98-A24E-49F8-A69D-331F617A02CD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$DA145421-B3C1-4D87-AC68-C47D12AE512A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a7a1a151de05b6f89d56462e40e643158a3d7e5","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2520616$D94BF41B-3D10-4C81-A134-6853251B48BA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b24940352ed603436dda31a8434ae822a3eb611","datavalue":{"value":"W2082056714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$10A84749-512F-4336-BB22-912E6B25A935","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$2D2912B3-7A7D-4016-9E20-6440B29CED02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$917B7499-ABC1-4C63-876B-B2B2243B11DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$D138557D-8E7B-4500-853D-196D207DDEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$8ED4E7FE-B238-4999-BA0A-5F77320D261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21dde64b16abccffdee12515a38e7b2cf117681b","datavalue":{"value":{"entity-type":"item","numeric-id":3406693,"id":"Q3406693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$5F3306EC-6BB5-49CD-9C98-BE608FBCCC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$726F8199-DC3E-43F3-B7F8-47D9D620B89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56befc554dfb24d2ceae65977d1cb729850bf571","datavalue":{"value":{"entity-type":"item","numeric-id":4249575,"id":"Q4249575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$4DFB6340-EB1A-4748-9924-A364A490B1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e3b9080287225db99f33816b5af9675f145d43","datavalue":{"value":{"entity-type":"item","numeric-id":3612995,"id":"Q3612995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$85911B98-7C09-46E2-B4F0-0B30C967D27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4162ee064823e5e037da7a358a4038fb40c1f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4246811,"id":"Q4246811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$DB4DA02E-9EF0-40EF-A168-5B0D88D0C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3818aac61b795ea2d401cd89a992d6841ffd8b","datavalue":{"value":{"entity-type":"item","numeric-id":1853618,"id":"Q1853618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2520616$ED6AE887-DE7E-4028-B481-7BEE71EF4AC0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8605e9f2789b92bd30b565b2ffb084858293cd14","datavalue":{"value":"10.1016/J.ENTCS.2014.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2520616$BEBE9557-7EB1-4E74-9498-4448DD2E81B8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cdcd9791fcf0315ecdf3371068f124a457984b","datavalue":{"value":{"entity-type":"item","numeric-id":1801470,"id":"Q1801470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46023c68f9caf7a1f10ddc0246bbc4bd51534051","datavalue":{"value":{"amount":"+0.8645226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520616$72006C6E-595F-43CC-8DA6-36F9DCE6321D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d416e478c3a34a946e56ebca72a045ef0bcff0","datavalue":{"value":{"entity-type":"item","numeric-id":5091115,"id":"Q5091115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba5e15b4134c6630f9bfc3ed768a71541b7042f","datavalue":{"value":{"amount":"+0.8607882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520616$AE6B2AE1-2869-4CCC-B80D-7EA7C59A44ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd227ff9d04a4900b5852a99a81e22e7b85248ad","datavalue":{"value":{"entity-type":"item","numeric-id":2165506,"id":"Q2165506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441c0d1d6b32364282be3df7035527e23e30a4f2","datavalue":{"value":{"amount":"+0.853954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2520616$6B3CE8C3-CA71-449E-9A71-AB7080F8DA41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal framework for Hybrid Event B","badges":[]}}}}}