{"entities":{"Q432137":{"pageid":433904,"ns":120,"title":"Item:Q432137","lastrevid":61872351,"modified":"2026-04-11T02:14:02Z","type":"item","id":"Q432137","labels":{"en":{"language":"en","value":"A model checking-based approach for security policy verification of mobile systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6052549"}},"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":"Q432137$1E8EE812-2136-4464-9857-9FC50BD8D6F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"824e69fb3e8d5075b0f0abf54bac6efa4f0a6573","datavalue":{"value":{"text":"A model checking-based approach for security policy verification of mobile systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q432137$C01AE28C-FA9F-49C0-8FA2-C196917FF882","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68e8dd4873f6ffb30d1d9e77e6d5f50533f1f879","datavalue":{"value":"1242.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432137$17E5A815-6215-41FD-8264-FF67FB6A49DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5657bf32cdaddd2597b3baa0cc12ec2fe4dd5c64","datavalue":{"value":{"entity-type":"item","numeric-id":432135,"id":"Q432135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$9C40196E-C965-4433-8617-A0968984A87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$A0FD4756-2D23-4299-B19B-B9C0F81EE1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4123c4aa39bcf991a319e7ebc1f0a5922579117c","datavalue":{"value":{"entity-type":"item","numeric-id":432136,"id":"Q432136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$DA9BA76E-A95E-4667-B9B5-65DDA0C49084","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":"Q432137$E6CFE4B7-72F0-4E6D-BA29-5939FDF75A14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ba0036895bc96d003b4a03286285e72e8ca4bd","datavalue":{"value":{"time":"+2012-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q432137$9F650897-BE42-405C-820B-A89967FC9442","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432137$0015C28C-DC11-4A5D-A38A-8F2AD0EB5F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432137$3F832606-D920-423C-80DB-8AD7F2295D1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c96ee28d3b4af7fa1e95932329cb160b164915e0","datavalue":{"value":"6052549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432137$E2F0DCF1-F261-4DEC-86F9-BBF2745D2D93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q432137$B36A7F8F-9B51-4B78-B997-4A741A62F1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"631667586de2ec9a458a6691bef8163e6374d3ce","datavalue":{"value":"program security and safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q432137$4D990194-D012-4C19-B611-F523CC767022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"625c57ff732728ea6d2a60df9656e6c5c470c086","datavalue":{"value":"mobile systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q432137$40898B75-609D-40B1-AED5-9FC1DB519E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa542d4d2106fbd8731a8defe12d624bacd71811","datavalue":{"value":"security policies","type":"string"},"datatype":"string"},"type":"statement","id":"Q432137$5177541F-4AE8-491E-ABAB-C3C69A47605D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59caf1f03985f9010aa71556abedb0a34e5f0b8","datavalue":{"value":"access control","type":"string"},"datatype":"string"},"type":"statement","id":"Q432137$9B0770C6-D7C4-4786-B555-09ED7BA30C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f443739aaf47befb8de516f78c7b4d8d4b14ff9","datavalue":{"value":"information flow","type":"string"},"datatype":"string"},"type":"statement","id":"Q432137$E751C11C-E68E-48F4-B9F0-1C7B7D699E2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57e2968b39b8f8f6e64ce3be26ca1c22f3c17c26","datavalue":{"value":{"entity-type":"item","numeric-id":21998,"id":"Q21998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$4141127B-1E32-44AD-B4EE-A8236427B4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2f60f551f2414de9c53ee958f83542a8b6793d","datavalue":{"value":{"entity-type":"item","numeric-id":5466565,"id":"Q5466565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$6EF6A26B-970C-46A1-A8E3-92D5ACA3B2A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$262FEEF2-173C-426C-B5EA-148C95B0A046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$0F675471-48AD-48CB-9FEF-8F6314A3E819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$53F97182-83ED-4CD4-B413-4961FAFEEBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc054749522860d7c2f7554f0d2a72e08e47179","datavalue":{"value":{"entity-type":"item","numeric-id":5902544,"id":"Q5902544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$47B9C67C-BE8B-45A2-BF10-C6C838958A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b4875bdaf127f966ce9ecd1c1023ebd8be665e","datavalue":{"value":{"entity-type":"item","numeric-id":432137,"id":"Q432137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$8F999698-0F3B-48F4-99A9-B16804383722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbe7a299d570facbdd631c622bdeafdcc911790","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$B1180DFC-E597-4C37-8C0B-F1DC4D1630AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c143f034c0a7d849f348722742ed4728088212d1","datavalue":{"value":{"entity-type":"item","numeric-id":5901610,"id":"Q5901610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$D266248B-2F7D-4561-8B36-D3928BF0DF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4928b0d5c60ecc8408969813a15f67b0dc67a730","datavalue":{"value":{"entity-type":"item","numeric-id":4738363,"id":"Q4738363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$6A2E168E-120F-45F1-A2B4-0EA0FB82AA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$0B0A9C08-E655-4438-AF3C-B1135D6AEDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564082d9ab472364f020fd7fe057e749f4f2ba3b","datavalue":{"value":{"entity-type":"item","numeric-id":5716552,"id":"Q5716552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$F189B6B1-369C-4ECE-80AA-044971965EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0cc86a7f8173b28c4a829da1618b048522d1e06","datavalue":{"value":{"entity-type":"item","numeric-id":5394555,"id":"Q5394555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$4B2FE500-E374-41FD-B833-38239E62091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95dce8070a64d933b5b1df25a5d7873365fada06","datavalue":{"value":{"entity-type":"item","numeric-id":2464944,"id":"Q2464944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$F275B943-558A-4090-B139-C65593575F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$4B2C4F13-8876-41DF-A304-9A04DD7F24B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"629f0d98aaa935fc69136e7996206257ff744c71","datavalue":{"value":{"entity-type":"item","numeric-id":5311479,"id":"Q5311479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$9188E825-A9B8-42B0-948B-E0C4C2EE6EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931ef5da49ca2412e5ba6ad24fa1ab4e417d95b2","datavalue":{"value":{"entity-type":"item","numeric-id":5493400,"id":"Q5493400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$B5755D11-5EAD-4901-8056-C0D0B52033E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ebc8c6731a9ba8b7c88fd686053c929a1ba298","datavalue":{"value":{"entity-type":"item","numeric-id":4551162,"id":"Q4551162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$8953201E-F720-477F-BFC9-D34BDF0217BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$EAE25143-C26C-4487-960E-D73E0438E4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7d8c0e22cc6d5b8f5e5b95e505b643a065a9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":1856163,"id":"Q1856163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$8F7229B7-1538-4E3A-AF75-8065327B5CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2a38cd06ab45b0f8d80c599a318f2c40a9e7ac","datavalue":{"value":{"entity-type":"item","numeric-id":4223018,"id":"Q4223018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$17A92DAE-5492-4580-A403-8B667B7221BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$B8048913-72EE-45B8-A854-AD773BC0CD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7314c233131ffa2d488c9b8e5f850a4f69e2669","datavalue":{"value":{"entity-type":"item","numeric-id":4779111,"id":"Q4779111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$F2909A35-53AF-4CD2-B126-B94FB0F055CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10cb84ec830f7e53384b73f0185c4bc9d5febb30","datavalue":{"value":{"entity-type":"item","numeric-id":2844040,"id":"Q2844040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$C40CE03A-B6C7-46B5-8546-749A55745BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1341c46dddfaa46d5d0eae09298d3585eca714","datavalue":{"value":{"entity-type":"item","numeric-id":2753763,"id":"Q2753763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$17B46725-5CC1-4814-AB3E-FDBCCA685155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06078eea43f158838fa3a7c376b297dae0a314d2","datavalue":{"value":{"entity-type":"item","numeric-id":5178871,"id":"Q5178871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$7C33D4C2-578B-44D3-A4E4-A3BE404F3DCC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66062915c8f8307ed1d4569cd30a02c394839f8d","datavalue":{"value":{"entity-type":"item","numeric-id":21998,"id":"Q21998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$37093C38-B9ED-4376-8782-886883F4EF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$E73E4EB5-5FBD-43C2-B39A-643F571A5830","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":"Q432137$07B49864-817F-4EF0-8CE9-8E03A32DB40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67dc44392b5218e5db28fca577b61569531068ea","datavalue":{"value":{"entity-type":"item","numeric-id":21407,"id":"Q21407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$949564DD-F6F4-435F-9469-FF5799190E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8a550f2aed44e0d451882ee48f82a9d69812e1b","datavalue":{"value":{"entity-type":"item","numeric-id":19560,"id":"Q19560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$8DDEB018-BD4C-463F-B80C-B96521BDF8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$38FB7F9D-A734-47F8-B958-FD9BCE48EE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$E4E0F1DE-85D5-49D9-9D59-DB149EF9BDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35062cf1373cb0e217dd7408b6f6939c7d9a74c7","datavalue":{"value":{"entity-type":"item","numeric-id":30430,"id":"Q30430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$C2338BB3-DDF6-42B6-B6F3-8B6D112B073A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$105BDB79-2CD2-4550-B5F0-607A0A6F5CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$C238548A-C68E-41C9-8EDB-C7672400E58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q432137$12F0E031-9ACC-4FEF-B394-40E97E5A7DEF","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":"Q432137$1D8558FD-F02B-4F96-8BDC-BFBBD6BB388D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4fa34fbe5bb8939468dfe992b5ec4a744cf0931","datavalue":{"value":"https://doi.org/10.1007/s00165-010-0159-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q432137$13D919EC-0244-441E-A1A1-BE136DC74031","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f95b27efbae9581f95d58356da0cd1ab909f4568","datavalue":{"value":"W2045440241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432137$6B49AEE9-4D1C-4661-90BA-B3F3F2594D69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"077faee0af8c22c349d902c9e0b5ef8a36e512d3","datavalue":{"value":"10.1007/S00165-010-0159-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q432137$C1AE717B-7DEE-4FB5-A887-CEEF57BC9019","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81124a5d6357b80aac788f3d85a0b19e83485839","datavalue":{"value":{"entity-type":"item","numeric-id":3522928,"id":"Q3522928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785342d3f0929ac460df4bde5c1d6218f8571320","datavalue":{"value":{"amount":"+0.87240565","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":"Q432137$B270346B-4912-43CD-8AE2-8F2D1A267046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac753d9e42cc53f6535a390983604c84ccecf47","datavalue":{"value":{"entity-type":"item","numeric-id":5883569,"id":"Q5883569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa2e3887953a05039c7008ec0066a92f2341314","datavalue":{"value":{"amount":"+0.8711848","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":"Q432137$56D0C1C0-C996-418D-A05D-993F0BA3B37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c76ea81b44c358cf4347edf9ea869675d56b8a27","datavalue":{"value":{"entity-type":"item","numeric-id":3557736,"id":"Q3557736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0919ed9f7f655a07edfda1e79b541bacdbf82dc8","datavalue":{"value":{"amount":"+0.86680627","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":"Q432137$BF9D9A19-C966-4336-923B-9DC799DF3DE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model checking-based approach for security policy verification of mobile systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model_checking-based_approach_for_security_policy_verification_of_mobile_systems"}}}}}