{"entities":{"Q5200014":{"pageid":7229585,"ns":120,"title":"Item:Q5200014","lastrevid":100454330,"modified":"2026-06-05T22:10:43Z","type":"item","id":"Q5200014","labels":{"en":{"language":"en","value":"Deciding security for protocols with recursive tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934341"}},"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":"Q5200014$EA5EC6E6-8340-4BA5-85E3-554EDCDB1A2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e187e99a55620d320004f2a00c10be5801605809","datavalue":{"value":{"text":"Deciding Security for Protocols with Recursive Tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200014$037EC946-7DBA-40BA-B530-481718A63C6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b1851beaa3b4fafdb18ae9435de33b3e452f9f6","datavalue":{"value":"1341.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200014$EBEB50F1-6315-4758-AC98-B84815712051","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e89de77a135a2775ba060c96af60ffdf7a50e391","datavalue":{"value":"10.1007/978-3-642-22438-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200014$05DF6B6A-C156-4EAC-87DD-45E3D5FC70D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3bdef414d2520e32c75285ccd6ddbc995bba4af","datavalue":{"value":{"entity-type":"item","numeric-id":462482,"id":"Q462482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$A6F1018A-C660-484A-A796-5BDC0A91EEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$5C1A47CE-9CE4-4817-929C-455E94704644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$61046901-8B30-44B4-B657-D607FBB17A3E","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":"Q5200014$75EC7193-C8CD-4C21-B8F3-6AC640B6D262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200014$E6209132-EA48-46EE-8BEE-AB57981F249C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200014$A2C2B7C2-AF55-4CB3-80D1-C965B5AF5019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200014$EA1B970E-4E81-4607-AD16-043694655111","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8dc61b8b650ca0b759c1d70a8f43a912bd1c75b","datavalue":{"value":"5934341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200014$55748A3F-A10A-4D46-AAD1-0582B0F34A78","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":"Q5200014$499F6CB4-B8DD-4A82-8EA4-035B4018EFF2","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":"Q5200014$BCC94405-54A6-416E-9334-D1D62CBCC836","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12dd1806be6d7992173e0a30b6c488a2772747d5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22438-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200014$AD0F923B-414B-4AB7-8560-CA4AC92BD74E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b05971954f9872fb182fd9c97e116b55171b72f","datavalue":{"value":"W2179021181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200014$B205A3E4-EF95-4362-B5C7-0DD2B5F07C98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$6F343633-E279-47CA-841D-57D7AD03D06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$3E8CF358-991B-405E-B48E-ED9CF7BC1356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d1c94f782cc1db9817531c77b0611f25974aec","datavalue":{"value":{"entity-type":"item","numeric-id":5200014,"id":"Q5200014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$B23C85BC-401F-47F8-A2A0-5419CA871CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"552bf039ed0a24c8a4a34dc5dcdafecc32a34e0c","datavalue":{"value":{"entity-type":"item","numeric-id":2946596,"id":"Q2946596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$34FA92F1-99EE-4204-92A3-8FD0AC7F0342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450a8b0c92c9dce6fc14bc9b012b549a36d4a792","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$A013E0C9-2E03-4E06-AF18-25B906EA1460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25341c3b4355b451c97bb1b33e8bdb2573e44c9e","datavalue":{"value":{"entity-type":"item","numeric-id":5309716,"id":"Q5309716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$EAA3DD1C-5F7B-4081-A3C9-134783AE7FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$7C3B6A69-0657-4CB3-88A9-B7D8BDC22FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c31094c3c487532eb77ff8f97d35e08821f6d77","datavalue":{"value":{"entity-type":"item","numeric-id":5897485,"id":"Q5897485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200014$A23C3AF8-F1BC-4611-BA0F-3CEFDBB4C91C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0b78a29b45d92670f4be6d17fa67c9f5bf3db7e","datavalue":{"value":{"entity-type":"item","numeric-id":5309716,"id":"Q5309716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5055fc3ee22f1ce05238c6e4f03ac466a330d3f3","datavalue":{"value":{"amount":"+0.8130204677581787","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":"Q5200014$DB1E260E-E119-4102-966D-E0A6BF36B93F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedd0051c9ad7964d7b4d129737bb77ebd01ce0c","datavalue":{"value":{"entity-type":"item","numeric-id":3590969,"id":"Q3590969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1cfdeaa7374889dfffe61bbfbbceb6080fe285c","datavalue":{"value":{"amount":"+0.8121054172515869","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":"Q5200014$F1482352-AF5B-488B-AA5E-9755B3B4AE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c529d17715516fadaf9fd5d0cad7e434ec27d857","datavalue":{"value":{"entity-type":"item","numeric-id":2464141,"id":"Q2464141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dea28519a535d4afb2a2263caef0e62dabb1a9dc","datavalue":{"value":{"amount":"+0.8015109896659851","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":"Q5200014$1440CC62-8A53-4E3C-AC46-9C27D14B5EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd3aa44409d07b2319122952af2e5595175adda","datavalue":{"value":{"entity-type":"item","numeric-id":5897485,"id":"Q5897485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f1304e5a0f206cc904b630ca8b6c696f2bf187f","datavalue":{"value":{"amount":"+0.7962458729743958","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":"Q5200014$074E49B7-5EB6-473A-A5F7-D4B8EEE6F0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51d9e675ac891b2b9aefb5a6aa97fe6c4f6ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2946596,"id":"Q2946596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b874e73687fbd3325576ef69685d82362c003f1","datavalue":{"value":{"amount":"+0.7761086821556091","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":"Q5200014$AE03E027-2833-4852-8303-D0C94863C5C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding security for protocols with recursive tests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_security_for_protocols_with_recursive_tests"}}}}}