{"entities":{"Q3460222":{"pageid":5239622,"ns":120,"title":"Item:Q3460222","lastrevid":46549803,"modified":"2025-12-25T00:32:31Z","type":"item","id":"Q3460222","labels":{"en":{"language":"en","value":"Checking the Conformance of a Promela Design to its Formal Specification in Event-B"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526875"}},"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":"Q3460222$63BF1BF6-0CDF-40C1-8643-6A8034837D79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a39f23819450b0a6ead5e3e8b16c7dcbe8df0561","datavalue":{"value":{"text":"Checking the Conformance of a Promela Design to its Formal Specification in Event-B","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460222$D53EA0EB-8286-4E3E-AC74-67101E44B165","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b348cc3438051f4c18e5e3ad7a4cfe61e6fb2cb","datavalue":{"value":"1328.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460222$D8DF23A3-F976-47F7-9F0C-D63C4192F42D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3965e7a54b1dc505a1e2328d624394acb5d7107f","datavalue":{"value":"10.1007/978-3-319-17581-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460222$0C3D9B9F-AD4C-40EE-9BD5-F5CFE074772D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2ad12cbc35f0887299bf43bb58f41500d06a819","datavalue":{"value":{"entity-type":"item","numeric-id":3460220,"id":"Q3460220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$6F3F9361-32A2-4F0D-A569-98045D8C90E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41b2cb630083297ba8e6fd2723c403c19e577c1","datavalue":{"value":{"entity-type":"item","numeric-id":2009474,"id":"Q2009474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$8559824B-596D-4A3F-8856-1915B62D4AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d635591ca62e044ed9c0a5894c0709d172fd71dc","datavalue":{"value":{"entity-type":"item","numeric-id":3460221,"id":"Q3460221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$F893CE75-B1F3-414C-BD94-D736BC0E499F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd4a77274663ae4a880a8303ba34699c875575a8","datavalue":{"value":{"entity-type":"item","numeric-id":459824,"id":"Q459824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$75E36F68-CEF7-4200-8D23-EB3A78B2F31E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$A0FA1994-937F-469C-8CAE-C3239A700881","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460222$04BEFCF5-DD64-44CA-AFEE-1164AF7C1450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460222$6E82A71F-8B71-4517-8106-1EBCA91D96A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460222$879D2BEC-6968-4079-AA16-73AC3ADC7CC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb714d2b241f48341b0fa54218da0cfd5d7d6f99","datavalue":{"value":"6526875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460222$D4E4DFCF-2A7D-4FD6-8041-959DD80F74F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460222$EA586D72-AEEA-42A2-8FEF-624174E61B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460222$E2B4A584-4F6B-43AC-8EB7-E7C879BB19EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460222$7F43FEAB-770A-460F-850A-76F41190C1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95dc85bae11a31fd457cd4c048f448c7257323e4","datavalue":{"value":"design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460222$96ABAE8A-7099-41F8-8D07-813C130A699A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548fb38e0e5082d1d0202592e69ac8e93ecf206b","datavalue":{"value":"simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460222$8368A4C1-2B25-47DD-BED9-BBA7954AEDFE","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":"Q3460222$06A4DD2D-2CF7-4EB0-BA48-1FB238D014BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$45A87440-846F-47E3-BC55-4C3B8ECBD123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"03077901ccc49ee533f5a5b959c214d9add5f4f6","datavalue":{"value":{"entity-type":"item","numeric-id":14043,"id":"Q14043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$DEFC1D53-7962-432B-9D21-A555022D3BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$E6C6EBBD-6CCC-4FD3-9226-3AAC4A68704A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$F033E6A8-1845-4011-B591-6E931AA2E96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$C46E274D-78DE-43B1-9674-71D90118A2ED","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":"Q3460222$800FC4CB-E8DE-411D-A43C-CEC9B23F0DDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb9a4c83a2dddb5ec4716dbbb500d989ed547d55","datavalue":{"value":"https://doi.org/10.1007/978-3-319-17581-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460222$47371A1D-3030-423D-9B28-F10750143AD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05facf234948eab0d775f4950a758abd694ce67c","datavalue":{"value":"W1152386366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460222$CB5584CA-15CF-4EBA-B169-0CB1B247D80C","rank":"normal"}],"P223":[{"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":"Q3460222$747B0E08-8D0E-4566-8C47-C13E7BF280A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$ED02856B-AD8F-4D6B-9EDA-5F6EE9A32BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282fcc2faaf9fc9faa90ba43122f20289942c771","datavalue":{"value":{"entity-type":"item","numeric-id":5703809,"id":"Q5703809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$6AFEFAA9-15D9-4F27-BB1F-9D8641D4151D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb4e62f6e2a8068d5a8d373be2f9efda49da056","datavalue":{"value":{"entity-type":"item","numeric-id":2753770,"id":"Q2753770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$69111920-030D-4D16-8F3C-EE978FC0377E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$3D6C0D87-F8DA-4AA1-A886-64B26B52D844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$9C001031-E40B-427A-A34C-73B61B757DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648ab6173ab96992d1c4338f0d53cb6e22d8f600","datavalue":{"value":{"entity-type":"item","numeric-id":2994496,"id":"Q2994496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460222$E8DD8E76-BB57-4A4E-A847-11FE57A8D8D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ea74d8cc38401804b0f4418fa62cad1c586e70","datavalue":{"value":{"entity-type":"item","numeric-id":432154,"id":"Q432154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace05f3ebfa03c5319685781f2cb80feb3cc79f3","datavalue":{"value":{"amount":"+0.86445653","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":"Q3460222$16DED57C-3719-4969-8499-602BCE27292D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa40e0f03b9f6a0e5c3b589086225276319856e9","datavalue":{"value":{"entity-type":"item","numeric-id":1882796,"id":"Q1882796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5886be889521089d4af9de7c0b2cac8128b2b7c","datavalue":{"value":{"amount":"+0.86098874","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":"Q3460222$53306FF6-ACA0-46FE-B36A-B49673690114","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460222"}}}}}