{"entities":{"Q1607104":{"pageid":1617844,"ns":120,"title":"Item:Q1607104","lastrevid":67975731,"modified":"2026-04-12T20:36:03Z","type":"item","id":"Q1607104","labels":{"en":{"language":"en","value":"On the role of formal methods in security"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1771805"}},"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":"Q1607104$38C7DFC5-447F-4899-A760-BE611D446D3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a10149f1b3872935104383368c92377628f4c71","datavalue":{"value":{"text":"On the role of formal methods in security","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1607104$1AC070C1-8967-4FD3-B1CE-706021A4E6F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7c0a2fba89d2d2e91228cb0892fb9df44398f3d","datavalue":{"value":"1003.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607104$7D8657B3-E279-4B07-A1D8-C8326940E490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e724dac9773c32b90c96b75e6253be95f40d4e7","datavalue":{"value":"10.1016/S0020-0190(00)00216-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607104$C6CB048E-1E2F-43A5-8F28-B08433BCBA71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607104$CC2940B4-51CB-4CA6-BFA6-C1E259074686","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607104$ADF6BE3C-9CB3-4263-9E77-F6DAF9A6E86A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1607104$0BD2CC44-9048-41A9-84D1-19F0563BD3D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607104$A6C17641-E245-4770-A72F-512E71B8E534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607104$F6F3ECE9-603C-4303-B785-AECD3B0EB49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607104$8E81ED32-FC21-4ACF-A812-5AAEE9E11413","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43914bfc69ba82b27561876146a213844c4f4e57","datavalue":{"value":"1771805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607104$1BD6549B-5E3F-4804-A620-97493066B016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d54d97c9d74a7974164bd27bc3725f50a6bd71c8","datavalue":{"value":"cryptography","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607104$FDFD0FD4-7224-4FE6-8DB4-2813EF6A8335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1607104$450572B1-3339-42E0-972A-0EA9E11AA440","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":"Q1607104$ED1AD4B1-5696-4C71-8EE1-4D23D32C4D5D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607104$684D04A1-C8F1-47A4-B7FF-487955F5E112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b19fd2de3ebc2495c64051e971423d984bb658","datavalue":{"value":{"entity-type":"item","numeric-id":4941869,"id":"Q4941869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607104$88659797-2857-45BC-A49C-2939E9776AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c373b1d812ad3320bdaff4c411844d95b248cc","datavalue":{"value":{"entity-type":"item","numeric-id":4941870,"id":"Q4941870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1607104$D9586701-7783-421A-B9E8-DE8C4A1C81E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8e035de06299f7cdabda1bfcc4bd9e699fa3b42","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(00)00216-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1607104$16A249A6-3239-43CA-BA62-41E6324DD02A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5454326967126be35991c7a338825c2a64901d4","datavalue":{"value":"W1968171152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1607104$EBFA7D55-21C8-4C55-A2D8-49F3C875F7CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9241ec8b6abe329f9d8cfc2a86434af613982be","datavalue":{"value":{"entity-type":"item","numeric-id":4532081,"id":"Q4532081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dbf2b122ffff4fc199d4b0320bd2b4523e32247","datavalue":{"value":{"amount":"+0.7379468679428101","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":"Q1607104$FC7E1892-9608-4D6C-8E38-7FB3AA1042B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d3c295d8cb390ec38d9541bc9712c65aed5127","datavalue":{"value":{"entity-type":"item","numeric-id":5857801,"id":"Q5857801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"393e74081d0578211a25d67c52d5926d396ab6fc","datavalue":{"value":{"amount":"+0.7113332152366638","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":"Q1607104$7F11AC0F-203C-4C9B-9FBE-803AB1F393A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ac66808a3dd3163d6bac7d40284249429ec871","datavalue":{"value":{"entity-type":"item","numeric-id":4341785,"id":"Q4341785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b692880bc24764db652ca92a2d1d9777078076","datavalue":{"value":{"amount":"+0.7067527770996094","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":"Q1607104$3FE6DDA0-56B9-4BB6-8AE7-D4ACB74B8EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbe57dd4b76350b5efe3813537429ff875275a95","datavalue":{"value":{"entity-type":"item","numeric-id":2771738,"id":"Q2771738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a33e2243635c85f219150c3b73fa166240aac11","datavalue":{"value":{"amount":"+0.6957643032073975","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":"Q1607104$3765DF3B-57F7-4079-8C0B-AE93E04DB04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5bbaada3a82a0ece0efdbcdb07ec59e1239b31","datavalue":{"value":{"entity-type":"item","numeric-id":4450988,"id":"Q4450988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"465190ad9e9e6b7d8d3dac2ea9c83ffc1a48041e","datavalue":{"value":{"amount":"+0.6929750442504883","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":"Q1607104$34790002-8D43-45A9-A101-70E3D9356D9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the role of formal methods in security","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_role_of_formal_methods_in_security"}}}}}