{"entities":{"Q903490":{"pageid":905338,"ns":120,"title":"Item:Q903490","lastrevid":65257050,"modified":"2026-04-12T01:21:08Z","type":"item","id":"Q903490","labels":{"en":{"language":"en","value":"Model checking the observational determinism security property using PROMELA and SPIN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526760"}},"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":"Q903490$3D0323A0-59E5-4C03-B2C5-86D852944F3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3975789e9c733aed4dc3b2f5c350623f4c98d63e","datavalue":{"value":{"text":"Model checking the observational determinism security property using PROMELA and SPIN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q903490$E2016F81-962B-48DA-8734-0CB52198E3A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d7061090006eb6e2c7004e0dafc8fb90bc7cd53","datavalue":{"value":"1347.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903490$0407C5FE-470C-44B0-B264-45B6038CB36A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76a2db2910bc81c1b9d11800ebdc9de924dbc09b","datavalue":{"value":{"entity-type":"item","numeric-id":903489,"id":"Q903489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903490$7BA7BBBB-BBDD-4777-B54A-1A0503F3A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69eae41c734721236e8bd789d16190f8fa20a8d9","datavalue":{"value":{"entity-type":"item","numeric-id":442294,"id":"Q442294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903490$4DC77704-C907-4B9E-859E-91FCBC796C1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903490$B6C315CA-7F13-44FF-858C-6513F59F05DC","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":"Q903490$B98E72F7-E04F-4C1D-A745-FC46235F9A32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903490$131AD7A5-1F00-4347-AAD7-A3883343A6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903490$1891B18C-E7A8-4F0E-8230-272223D4225B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e3aa5d4035febea70e028402b0e37300ea24f89","datavalue":{"value":"6526760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903490$8C21FF29-F0F5-4510-8AD4-21DD04BB28E1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q903490$79B05DA8-4F9B-43E4-BD5A-A387AFD06B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q903490$4DED665C-F553-4FEB-8AF5-0E1FC2E3E9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25ac03285b7ab66a179dd911f6489ada5f49698f","datavalue":{"value":"information flow security","type":"string"},"datatype":"string"},"type":"statement","id":"Q903490$CBBC8F35-4188-47FF-AE48-071AC1438514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c17f63f054d7cb3fc903c1735a750936d788b24","datavalue":{"value":"observational determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q903490$6E163CFC-82E5-4BCB-A2E7-84EB7963E027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"772c4ee50d131f1a35ff4b31da11ffcdcf02c815","datavalue":{"value":"SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q903490$342CA32C-9FCE-4F7B-8530-9D56D2A51B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59142d91d42adf2f347530125f0b147221602f58","datavalue":{"value":"PROMELA","type":"string"},"datatype":"string"},"type":"statement","id":"Q903490$4A230A39-F917-42A2-A8F0-F0F5DCFECC2F","rank":"normal"}],"P1463":[{"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":"Q903490$AF474F55-924A-45AD-B86E-30D90CDE54DB","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":"Q903490$EBDC6354-64BC-4626-AE48-F6C46BE1B004","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67a4d09f35d1c95f41fa0fabed02e9480d952873","datavalue":{"value":"https://doi.org/10.1007/s00165-014-0331-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q903490$B36AE396-09A2-436E-884D-088CE0DA8DF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb68156fdbdb5de20ed4650ac7cc1dfe7233cb77","datavalue":{"value":"W1966189394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903490$4AFC56BD-02E9-4055-ACCC-68B40FDC14D2","rank":"normal"}],"P223":[{"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":"Q903490$C1EA7AA3-1221-4CBD-9D8E-05A29682A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002b8b0228c656d63cc771cafa4da2917ced7b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4085248,"id":"Q4085248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903490$9F49F761-DAD7-45BA-9DF6-9B6B403BC33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672be30d9c0fd1bb08a1fc6131d1506ec245277a","datavalue":{"value":{"entity-type":"item","numeric-id":4830107,"id":"Q4830107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903490$7D4E7FB5-5133-43B4-BB6C-85014EDADFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635c32f054dbe1f1f21a3b02a893cd344b0e15de","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903490$66DF135F-6FCF-4B94-B824-B49984B032E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307327b3b020f23facd8f49e050ed758261e2ac2","datavalue":{"value":{"entity-type":"item","numeric-id":2891409,"id":"Q2891409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903490$18E394FA-83E9-4999-88E1-F47095DDEA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce8ab94263d75d8d64459463341cdcd187b079f","datavalue":{"value":{"entity-type":"item","numeric-id":5758138,"id":"Q5758138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q903490$BC492B20-73C9-4B9D-863B-02B317C4BA89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"039d025fe556a27d529b1ae043ded72d202dabb3","datavalue":{"value":"10.1007/S00165-014-0331-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q903490$4475C180-C9C9-4B7A-BC55-BBBCE03E51E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc06d033a6f8e3dddc5afb73d70354044f2f23bc","datavalue":{"value":{"entity-type":"item","numeric-id":2825357,"id":"Q2825357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22a7f0f0767fc30e2f1660216cf53473e2e44241","datavalue":{"value":{"amount":"+0.8664754","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":"Q903490$9DE668D1-EC88-4713-9D64-D15B548409C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ffcd98ac487503bb78924186d639ed517803fb6","datavalue":{"value":{"entity-type":"item","numeric-id":6039398,"id":"Q6039398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66bea59f45d1d014f828f53546189abc37de15ad","datavalue":{"value":{"amount":"+0.84884274","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":"Q903490$CF5D61EC-194B-45A9-B56B-F7F7135A144C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2675d2f8bf4c3689f82a0ca3225df4d815fe213f","datavalue":{"value":{"entity-type":"item","numeric-id":2037999,"id":"Q2037999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c06c71c35cc41f24b376f4d79c32946634293f","datavalue":{"value":{"amount":"+0.84136045","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":"Q903490$D5F5572F-2E29-4185-BE3C-D9D0869FB3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9852127c2b9d2720c0602ea96348e22982448027","datavalue":{"value":{"entity-type":"item","numeric-id":2908493,"id":"Q2908493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3e372a43e748cf061f14469c6840728d82bf9d","datavalue":{"value":{"amount":"+0.83745515","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":"Q903490$8930A264-0C91-4432-883F-99641AB62BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599c4c8ab9c59c668892b401c58423973e10f1ed","datavalue":{"value":{"entity-type":"item","numeric-id":3175791,"id":"Q3175791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d543d4a38dbebcd0316b1eec3e924f1ab5e118","datavalue":{"value":{"amount":"+0.83470285","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":"Q903490$4A9EFB3D-AF24-40D5-8E68-9843DA935462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d0abd172ad3f520255beba4b80b8936913eda32","datavalue":{"value":{"entity-type":"item","numeric-id":4738477,"id":"Q4738477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165a375be275b5d84c3e5452e90aebaeb6253c84","datavalue":{"value":{"amount":"+0.83348393","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":"Q903490$8CDF7BC1-07DF-45F6-923D-4C38410C408F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d85c55f46416d4529f395d208d8a23506f83c6","datavalue":{"value":{"entity-type":"item","numeric-id":518056,"id":"Q518056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b5223feac2753ce541383dfd0a54c115ffbc26","datavalue":{"value":{"amount":"+0.8322853","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":"Q903490$D909308A-6E41-422C-9E33-5C3C4A14B238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16db9e99f52b2541098f20468320c88e6375aa96","datavalue":{"value":{"entity-type":"item","numeric-id":2092484,"id":"Q2092484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99d205c6591f2e2a93026e070f487fafb9ec81ab","datavalue":{"value":{"amount":"+0.8316685","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":"Q903490$D3F5BC50-D40A-4486-9F21-EE4E67D67B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1755c4aa7c37d25c04137607409c6626a15dff5","datavalue":{"value":{"entity-type":"item","numeric-id":4518909,"id":"Q4518909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48909e2d22eb8bf068f2cd2d0a7b9b92bba8431","datavalue":{"value":{"amount":"+0.83125836","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":"Q903490$332EF2C4-AA5E-4104-ABFA-21B901D8B1C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking the observational determinism security property using PROMELA and SPIN","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_the_observational_determinism_security_property_using_PROMELA_and_SPIN"}}}}}