{"entities":{"Q1850665":{"pageid":1861407,"ns":120,"title":"Item:Q1850665","lastrevid":71486259,"modified":"2026-04-13T22:34:54Z","type":"item","id":"Q1850665","labels":{"en":{"language":"en","value":"An attack-finding algorithm for security protocols."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1843965"}},"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":"Q1850665$8B8EE9A9-025E-408D-8F76-27096E5D4BCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d088d9fd02646b44f35fa88b3dd9da025758908f","datavalue":{"value":{"text":"An attack-finding algorithm for security protocols.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850665$91825060-61B5-4BF9-A660-64C8618594FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57b39f8874fe8f3a45b375af45b36610437763c4","datavalue":{"value":"1057.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850665$FD578F5B-31FE-4902-81A9-148FF0409BD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed2a5ba5d3fee86b04f006daaa1db0734c2f145c","datavalue":{"value":"10.1007/BF02943285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850665$D41C7E27-B18E-413B-BEB4-1F564A6F2311","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5076525cab0627019d9d00111b1945dad4d92c69","datavalue":{"value":{"entity-type":"item","numeric-id":1646913,"id":"Q1646913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850665$62AD4D56-6155-4B96-99BD-738057F506D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd915896b93bac4e2b873ef28e08241f37c7f54","datavalue":{"value":{"entity-type":"item","numeric-id":635370,"id":"Q635370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850665$D8D6D97A-8560-4595-B1E1-3F6FAA37711F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8cb0ed3e3a614cf8f3ef254535d6332eff85423","datavalue":{"value":{"entity-type":"item","numeric-id":1850664,"id":"Q1850664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850665$5914D701-7F5B-43B5-A672-8825AB7A38FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850665$ADD82A98-90E7-4579-9FE7-BFEED34826BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6427ff9a626f686c7f1def93b416dba0b5871b3","datavalue":{"value":{"time":"+2002-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1850665$1BEB7295-B5F5-40B6-9670-A1F5A11A0D62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850665$5E9DBEBC-CF03-4941-9527-9AA15CE932CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"612834b8ad40f6992394cf4b5258419d08b8b369","datavalue":{"value":"1843965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850665$22A891F7-FF4D-440A-9EEC-E1CC2A82DF15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f450f7c1df55328d6e4b0c4682b549e188e57c","datavalue":{"value":"automatic attack construction algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850665$FF2D5A43-0690-460F-A9EF-B8925DA5FD97","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":"Q1850665$4FB728B5-F15C-47DE-BBAF-B2C36CBD6145","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ec795e05b42fc1971cb1b8074c1097645c9ac27c","datavalue":{"value":"Q115149380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850665$C0626DD3-4C00-4239-8B4F-86E3DC04C762","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850665$40106064-FAB7-4C0D-AB58-7020FB39897D","rank":"normal"},{"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":"Q1850665$EC4DC5F9-0F8F-40D7-B8FF-99CCE1B8AD80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ade287fad8421330d266124651a2750c900a0e9","datavalue":{"value":"https://doi.org/10.1007/bf02943285","type":"string"},"datatype":"url"},"type":"statement","id":"Q1850665$39D298FC-3414-4150-97B4-210A333FBFE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6098c1c9fd33e9fb0f4d17b20c9b0ecfc4b13901","datavalue":{"value":"W1485466954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850665$D8535876-F574-4BE9-93F2-7D2301843B1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22df2e475305f804006882b1dcecec0bf59da6e7","datavalue":{"value":{"entity-type":"item","numeric-id":5394175,"id":"Q5394175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f283186f6e6b8bfc7b67febc2f38baa4cae108","datavalue":{"value":{"amount":"+0.7598749995231628","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":"Q1850665$206EB907-8B13-4325-B142-5EF786514598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22c55964f1eb09a1c60f60085e26c6680291d08a","datavalue":{"value":{"entity-type":"item","numeric-id":1412125,"id":"Q1412125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eaa8f0ca4cba97cbf8d47f62c779bb717e58923","datavalue":{"value":{"amount":"+0.7457008957862854","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":"Q1850665$DD0DC58A-3717-44B9-B8E0-D87076A7A2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09da22a5e9d36dc473c65f2b481878f0117512b8","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e29b3f0a2498159f1e1ab7d6e9f5f9777275064","datavalue":{"value":{"amount":"+0.738371729850769","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":"Q1850665$E92CA6D9-8172-4630-B4ED-34B576DF9513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37cb339f5ec3fe23762d5053ed0cecb0513e1097","datavalue":{"value":{"entity-type":"item","numeric-id":5179050,"id":"Q5179050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0da4f7e8abe8b42b7259a4bb09423ee32e9f0056","datavalue":{"value":{"amount":"+0.7366732358932495","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":"Q1850665$77D7085D-DAEE-461B-B456-CC7090692FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02379bcc1ce9b93d139a05a978271a25d514189e","datavalue":{"value":{"entity-type":"item","numeric-id":4473567,"id":"Q4473567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cafc3056c9f70ca22dabcadec21991307cbd3c06","datavalue":{"value":{"amount":"+0.7335145473480225","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":"Q1850665$85DA17C9-37B0-4C28-92C9-BE473E4FE22E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An attack-finding algorithm for security protocols.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_attack-finding_algorithm_for_security_protocols."}}}}}