{"entities":{"Q3525147":{"pageid":5555051,"ns":120,"title":"Item:Q3525147","lastrevid":50453411,"modified":"2026-01-14T02:30:15Z","type":"item","id":"Q3525147","labels":{"en":{"language":"en","value":"Handling Algebraic Properties in Automatic Analysis of Security Protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5342675"}},"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":"Q3525147$93C81B23-6B53-4E3D-B2C0-3D4218FA7108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c08631f98cb59bdafd525abf51d91ad6d9b93f53","datavalue":{"value":{"text":"Handling Algebraic Properties in Automatic Analysis of Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525147$5D6A3E84-5D32-4C4E-992B-662CD6FF71BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8260551fcca2544c37bf258cf767acda90acb8b0","datavalue":{"value":"1168.68378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525147$61948230-3122-413E-A2A6-B87096880F7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ad5d24156b2e238e5f5b7e70d76b1e9d4373bf5","datavalue":{"value":"10.1007/11921240_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525147$9E765211-5178-4BFC-ADEB-86AD33489B11","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":"Q3525147$A55EFF5E-1927-4836-A8C5-7AFAABC247E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9b70832020d0274379b3b309a7c6882590833b7","datavalue":{"value":{"time":"+2008-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525147$DB1BFD9C-A667-4F37-85EC-4781A4714E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1463a43b25f81da0b140616f8ad6c7206c9f3fb3","datavalue":{"value":"https://hal.inria.fr/inria-00070169/file/RR-5857.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525147$00ECA28D-463C-4F2C-A341-4AB937362EB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525147$C7CDD6F4-8281-4496-BDFC-9D86E95E9EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525147$7C6FE2D5-3159-4548-8653-F647343B1F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525147$06C864F9-8B35-4797-8CFC-376DE51758FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0f197a6b9d1ef5743a4bdb70280610f991e3b22","datavalue":{"value":"5342675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525147$D077396C-F966-4553-912C-B64BBAB450BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4ea10327db28874882ccd8da3d8d6f07f044476","datavalue":{"value":"security protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525147$C49DFC24-F4B4-42A6-AF13-C10950E50A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d400f9450629bd1e9d3f13b4240572cc9535d3a","datavalue":{"value":"algebraic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525147$EF621941-AA55-4939-B45A-ECC65EDF1083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525147$BD673645-C433-4BA9-9496-9C01E9EA2D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3525147$465975B5-8D07-40BD-984A-561F7E2B64EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"750ed031269672a85853b13f60f47c870d58920b","datavalue":{"value":{"entity-type":"item","numeric-id":2424679,"id":"Q2424679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525147$42C743AE-2724-4D81-A456-1FDE8078EDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b28ad9b4a7f5de9582a5c2b602f54e86b0569ebf","datavalue":{"value":{"entity-type":"item","numeric-id":442145,"id":"Q442145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525147$CBB54E29-6150-4A24-884F-5DDFF3B29318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb0452d00e02db17d83907d40dea3913224ed5f7","datavalue":{"value":{"entity-type":"item","numeric-id":442147,"id":"Q442147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525147$E1D4EC78-B443-4C76-9CC9-B6DD37C36AEB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525147$74DF6221-3B4F-42D1-A9DB-33822ECE98D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525147$841FBAE0-30DF-4DF8-819D-213D63F7E33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34be25f759d910e2ba95bb866ecb2a5c5dda07d3","datavalue":{"value":{"entity-type":"item","numeric-id":13163,"id":"Q13163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525147$72546EC7-D0C1-4CF8-B24B-266245BFF2B1","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":"Q3525147$7D21D3A8-57C1-4C90-B37F-AE5CAE00D3E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2823c90fb6a3e1e3e8c7f01ea072dc45eadd93a7","datavalue":{"value":"W1587641948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525147$DBA07735-B13F-4681-B749-F2B14AACE9FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd416ff278c1f65eb4fc3475ce4889ec6d4f458","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27883c159738bbde65da3a6729d0b9667c2f43e7","datavalue":{"value":{"amount":"+0.839718222618103","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":"Q3525147$1F536FF5-1772-405B-8B05-7294B9F10DB6","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":"cfffad419c110fb5bdbcbd94e1ab0e63f7016400","datavalue":{"value":{"amount":"+0.8319655656814575","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":"Q3525147$A19E28A4-787A-4CC9-9E12-D876131B0BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee9fa22fef036a9ec5d24ed2fd065ec736af9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3636823,"id":"Q3636823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9dec258eae7822280c8a55bc9046a5718f37a8","datavalue":{"value":{"amount":"+0.8151703476905823","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":"Q3525147$7A5FCB90-BC4A-4B7E-8648-1ED4D7D79E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d7c4c10cd6e660c280c5b961ec5da97080dc18","datavalue":{"value":{"entity-type":"item","numeric-id":4484506,"id":"Q4484506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b8e43b313689bf84b2febffc1eae0e16b662162","datavalue":{"value":{"amount":"+0.7984143495559692","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":"Q3525147$EF73A543-8015-4908-81DD-8E2DC0F5FF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37606ff70932a9570760ab69cba902c0d3f1ea31","datavalue":{"value":{"entity-type":"item","numeric-id":2482449,"id":"Q2482449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a31aaf3cd2bbc38020c7d49d8a771389e7a0ddfd","datavalue":{"value":{"amount":"+0.7734982967376709","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":"Q3525147$E5DE59AF-02B6-4399-B801-669127B549AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525147"}}}}}