{"entities":{"Q5883569":{"pageid":7913120,"ns":120,"title":"Item:Q5883569","lastrevid":47829931,"modified":"2026-01-02T19:49:25Z","type":"item","id":"Q5883569","labels":{"en":{"language":"en","value":"Software Model Checking for Mobile Security \u2013 Collusion Detection in $$\\mathbb {K}$$K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666540"}},"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":"Q5883569$BB872FE0-6B70-42FC-806C-D3A9E8F83649","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c1e32b2d953bd71de35d3a1f2352665aeeae613","datavalue":{"value":{"text":"Software Model Checking for Mobile Security \u2013 Collusion Detection in $$\\mathbb {K}$$K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883569$464A2B84-C43D-4600-9D98-C2E20D332357","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bec78d2a33a3932cea8839015ed73089636833bb","datavalue":{"value":"10.1007/978-3-319-94111-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883569$24F500B3-6568-42B5-8571-8305787AB624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4225555324b48ba21484879c38f915eb1eca15c9","datavalue":{"value":{"entity-type":"item","numeric-id":2141284,"id":"Q2141284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$E0DAF503-3971-4D84-9EA8-8F48D2950B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f31cbb69d992932609412c99f70ead74ade8028e","datavalue":{"value":{"entity-type":"item","numeric-id":514141,"id":"Q514141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$3E2D164E-C3F4-4722-9163-BC651941B2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f61f9cb4afb1dbe639f74b5529d2947c5bac5f81","datavalue":{"value":{"entity-type":"item","numeric-id":293332,"id":"Q293332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$BBEE6959-6F99-4DBB-BF6E-2B30E3236180","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$3984178A-8F2A-4B5F-AF96-7B49D6253C4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883569$BB0F0377-B32E-4533-AFED-C34F901586F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883569$8067DC8E-33FE-452C-84F2-BFD1ACF1C007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883569$58F1860C-F9C7-4A65-B414-D62FAFDAC32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883569$B4F63430-D331-45C2-A42B-A63C8830A63A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f7916deff50fa684db2bd3e9e479208edc89059","datavalue":{"value":"7666540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883569$35CD5EE5-0EC6-4F2F-8B89-3F8575C93B8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fd66f85bcce91703bb649c84357d489068f5e2e","datavalue":{"value":"mobile security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883569$4724B539-EEFE-4FDC-AACC-0BC76716034F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7efb3bbc32c7fd7e76cf0b9b7638a794e0c1c1e","datavalue":{"value":"Android","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883569$422A2672-AA1A-42DF-95C4-1A3A11D062F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5883569$33FD598F-64EE-4BA3-986E-7B7A7763076C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$7994F45B-D2A0-4DDD-8523-5918C17228C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fb38876199d3a569289f9c3366994be8ce0d8047","datavalue":{"value":{"entity-type":"item","numeric-id":21726,"id":"Q21726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$87A2CA1D-F32E-4597-AF8B-623867990EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$ADAE8D9A-12D3-48EE-B1C0-58789CC2BAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c57505e25db1c7100d803e085d278d63b59b5fd5","datavalue":{"value":{"entity-type":"item","numeric-id":38470,"id":"Q38470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$B2388296-7BD8-4F5F-94BA-0401B28F80EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3dc99177236f98a28268bc9de8552588fda1ec","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$E5334A68-282F-4254-8350-AA83193AC0E9","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":"Q5883569$4B403265-76BF-4950-98F4-8130FC303BD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb1e64fc4c661ca11a4089b6e95a3719473e6e5f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94111-0_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883569$5255F2CE-7A6B-48A3-8114-1551E80411EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d3e2f443c1fedfc40523dce2348a37eabfc6734","datavalue":{"value":"W2807747082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883569$F22351DA-CABE-444C-AA7D-DC85FFB35429","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf81e90c4d39cf308573fec5a89309ffbd96471","datavalue":{"value":{"entity-type":"item","numeric-id":3176374,"id":"Q3176374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$D228CB60-26ED-4934-9CD6-1A0A1CE247D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$97E45D12-845B-44F1-B586-0B83F9A3864E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba05139b61152a2d87340fac7ead5d09077fae5","datavalue":{"value":{"entity-type":"item","numeric-id":4933281,"id":"Q4933281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$D669CE97-FC3B-4AC2-BCB5-5B95B4DF28D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$FF6A74D9-6E5F-4013-8F1E-27AEBF15429B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2308082f9a80f9a7eb4caa9bee27706d8306e6f1","datavalue":{"value":{"entity-type":"item","numeric-id":2945730,"id":"Q2945730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$117C0449-88FB-402F-8687-F0B969D41183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883569$E03BA2B0-23E6-4FED-87C6-E884C9294876","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93063d965f5a99218382d69b9d10a542ecd5540d","datavalue":{"value":{"entity-type":"item","numeric-id":4621200,"id":"Q4621200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06e52f0f3815943040b93127cee4f07a0d6b0764","datavalue":{"value":{"amount":"+0.7418695688247681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883569$98244985-47A8-4862-89D7-BD374F38AA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"551e99ded8f3159137c146ecffc22ee27c3ca5e7","datavalue":{"value":{"entity-type":"item","numeric-id":5176883,"id":"Q5176883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb01c6a47bc80c4bb747833c532497f0a98f74a","datavalue":{"value":{"amount":"+0.7273681163787842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883569$5B32A4E9-9EEF-414A-8FC5-E54601A77FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34b9891a94d799acfe61fa21c4df280d8c90364","datavalue":{"value":{"entity-type":"item","numeric-id":2787445,"id":"Q2787445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99300837c4543d4e8c9f3d6e17695c2374fed9b7","datavalue":{"value":{"amount":"+0.7244604229927063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883569$62FE05DD-9452-4327-9972-D5BE38C76481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b197f24e296d77df0f1a31fffe1432d1c010f79","datavalue":{"value":{"entity-type":"item","numeric-id":1737189,"id":"Q1737189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6112b561e76c3c5d5b0d811d63ab225fbe5010f1","datavalue":{"value":{"amount":"+0.6946157813072205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883569$93845213-3DD1-4C74-8FEB-C9355B53A5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d09ad2b62430f5e7030e4ac33a4116d4087cd1e","datavalue":{"value":{"entity-type":"item","numeric-id":2947076,"id":"Q2947076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"396b3403b1b047993302a8b13457990ef80b9e1e","datavalue":{"value":{"amount":"+0.6799086928367615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5883569$03C5E8C1-0EBA-41D0-9491-D876AE2D7E89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883569"}}}}}