{"entities":{"Q4989024":{"pageid":7018601,"ns":120,"title":"Item:Q4989024","lastrevid":41636812,"modified":"2025-05-06T15:57:07Z","type":"item","id":"Q4989024","labels":{"en":{"language":"en","value":"Towards an Integrated Formal Analysis for Security and Trust"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7350198"}},"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":"Q4989024$D5BDCE65-999E-426A-9B23-3BABC1345513","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a14c2d4f0bb8177510b1eb351e0974c7a8e2e08","datavalue":{"value":{"text":"Towards an Integrated Formal Analysis for Security and Trust","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4989024$3298FC8D-8C36-4101-97AF-54D4A4395C5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"417e8f474c64c988a8686c2bfe683bf3185bc27d","datavalue":{"value":"1461.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989024$5EFA75BC-6DF8-4471-A869-9B5A84B7EF02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bb1f578e894dd0ad084416b69a6d75900703b0b","datavalue":{"value":"10.1007/11494881_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989024$1248470F-D366-4953-A40A-A6779F26CDF3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4989024$F5E79CB7-422C-4ED6-B6AA-D50DBF09446F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211031a52806337129a1eef00df007a6622a5387","datavalue":{"value":{"time":"+2021-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4989024$C19BE0AC-8EF8-40B4-8F41-58ABD4CF2698","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989024$7C6A4ABF-8134-409E-A8AB-20174BDBE278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989024$23C830E3-B2A8-4818-8761-CAB0F62FBD7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8be272c9e84f7838591010d4eb6a6de399504043","datavalue":{"value":"7350198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989024$BB6BD4F0-BC19-4BDB-A342-2762610B8999","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":"Q4989024$B0D85346-80CA-43E8-A33B-61A870A07428","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0182fabdb5b5f3228c28b92ac3eb6bbd3202537","datavalue":{"value":"https://doi.org/10.1007/11494881_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q4989024$0D7B2B91-9D46-4DB7-BEB4-2C1884F1163E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e37ca0d0c915ca9f5d69009bdd0c55047cfd485","datavalue":{"value":"W1579534168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4989024$0D592D31-E62A-48D3-8931-8D277EB803A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696dbdd71bef482d59d108d22310eefc6d61275c","datavalue":{"value":{"entity-type":"item","numeric-id":5307998,"id":"Q5307998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b53a8504364826962c5392c3d0f976b3291ae0","datavalue":{"value":{"amount":"+0.91370076","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":"Q4989024$F79FE4CB-0C8E-4F23-B0B7-1CC7AEBDC455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99378d30bcee226d66128533cde05deca6465657","datavalue":{"value":{"entity-type":"item","numeric-id":2389890,"id":"Q2389890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0768235ad63ce41d1cc8cba9367ebfb01eb458f1","datavalue":{"value":{"amount":"+0.8941593","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":"Q4989024$DBFE35F9-22B9-4388-814C-AD1C02D74287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cbb93e580c650033f446f4f9e0d119edb47706c","datavalue":{"value":{"entity-type":"item","numeric-id":3546305,"id":"Q3546305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4983992a12d28457da1f16918731a4a29549eb","datavalue":{"value":{"amount":"+0.89378214","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":"Q4989024$4B54DE69-B329-4DD1-ADEE-409C93C8101D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8aaf9cef634b29eb8693b366b9ee501d6ab330e","datavalue":{"value":{"entity-type":"item","numeric-id":3525111,"id":"Q3525111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ecf8e96d5a1a97dd6c779f202dfabcbf3a4857","datavalue":{"value":{"amount":"+0.89159626","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":"Q4989024$167CBA56-1407-4F66-99D6-AEA9961182EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51a5e4d0ab876f0af3780c1a033aae3b6603161","datavalue":{"value":{"entity-type":"item","numeric-id":2994355,"id":"Q2994355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1827d369fd6bcb49c399ae906bba1d5ea2083a4e","datavalue":{"value":{"amount":"+0.89138615","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":"Q4989024$0DF8F904-DA07-48E0-B8B8-46770056DC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8263c0f1a780fb167fa4ee9132742d2ddff37f","datavalue":{"value":{"entity-type":"item","numeric-id":3525082,"id":"Q3525082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29637e4aafaa3241114ce81cc2ee89e6b9079fda","datavalue":{"value":{"amount":"+0.89031184","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":"Q4989024$B1FFC1C8-E64D-43B0-BF51-08877BC3E6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0317c719fd77a71592f85914be30662e0b8dfd76","datavalue":{"value":{"entity-type":"item","numeric-id":2866730,"id":"Q2866730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0e8254c42914039bf9c09db951816ab1833e72e","datavalue":{"value":{"amount":"+0.8886626","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":"Q4989024$EA87F6AC-31EF-4D5B-A97E-C94D40296466","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4989024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4989024"}}}}}