{"entities":{"Q3590969":{"pageid":5620873,"ns":120,"title":"Item:Q3590969","lastrevid":50156378,"modified":"2026-01-13T07:15:05Z","type":"item","id":"Q3590969","labels":{"en":{"language":"en","value":"On the Automatic Analysis of Recursive Security Protocols with XOR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186545"}},"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":"Q3590969$8B78539E-6A7B-4953-83FD-345A70615A2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c20e4687d62a3810e1c41cf0c400d872387f5fac","datavalue":{"value":{"text":"On the Automatic Analysis of Recursive Security Protocols with XOR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3590969$6B3D3D0F-B6AF-4405-A566-D819AF448794","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9dd1268098c8a1d9f315a2bb6157438b3405667","datavalue":{"value":"1186.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590969$CBA0585C-57D7-4A60-925F-F473CA71C1D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e70e7542afd99ae0cd5eded0203b84183bd3330","datavalue":{"value":"10.1007/978-3-540-70918-3_55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590969$C321CA74-2254-429E-9FEC-02E80CBAA28E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee0737ca502857607b669ec6afb967ab7ce60981","datavalue":{"value":{"entity-type":"item","numeric-id":196898,"id":"Q196898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3590969$C75AA620-A6E4-4ADD-B638-21A9D0B04512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74b1dd2580a672539483d17ad7a6719e6a612d3e","datavalue":{"value":{"entity-type":"item","numeric-id":540684,"id":"Q540684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3590969$D1EB36F4-947C-4354-93B0-C0C4F1884905","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"334565905e7ca1f85bae0282d055ef576b4d641e","datavalue":{"value":{"entity-type":"item","numeric-id":3590917,"id":"Q3590917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3590969$9F1D3F29-6388-416A-B770-CD8CE05B6E9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3590969$A9F9F3E3-7F31-45C8-B72D-0CE86D6002C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590969$D5165955-1EB3-4960-99E4-B35C66FB8CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590969$F69A1F6B-6EE5-49DC-9380-0B2E688DCDA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6fd226a684de311f09de83835b0fe2b32ae4f5e","datavalue":{"value":"5186545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590969$B0399911-368E-4E5F-A08F-2E4315F7AB5E","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":"Q3590969$498F3973-6D7E-4778-96CC-D1F9EDEECA4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ca6f736427ad3d017d77dbe4056fcad9e07c548","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70918-3_55","type":"string"},"datatype":"url"},"type":"statement","id":"Q3590969$2101BB14-77F6-4CC4-90D6-86F73040CA4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40d5a90c09b4d0d306dcd0c15d9986d1b634d9b5","datavalue":{"value":"W1584001157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590969$7275718C-5B34-420A-9AEA-C912E2487055","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":"542bdc6f4aaf170386783dc8d0fbf584576bd15c","datavalue":{"value":{"amount":"+0.8280125260353088","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":"Q3590969$7D101E4B-BCA3-45C3-8CE0-9CA5A5B8B61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63524b67ceaef76c4968f1a64aeadec6e8818160","datavalue":{"value":{"entity-type":"item","numeric-id":5200014,"id":"Q5200014"},"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":"Q3590969$87447EF7-D324-4434-B0E7-1F401FDE66CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d40fbfc7c79288a8a58dff3230ad87bb3e37d6","datavalue":{"value":{"entity-type":"item","numeric-id":557799,"id":"Q557799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4890f94e3f063ece16dae87de83041f1fd4d2ee","datavalue":{"value":{"amount":"+0.803808331489563","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":"Q3590969$AD426566-38D5-4A07-BD9A-D3B125FCFCC7","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":"9771a8dcf787dd25c6ffa62ef7c34a7a28e88497","datavalue":{"value":{"amount":"+0.7938255667686462","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":"Q3590969$D67DC4FA-4274-4510-8014-756512C02BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6fa6af5f8f27e3c7d3c5a7753445e18c50dbff3","datavalue":{"value":{"entity-type":"item","numeric-id":540685,"id":"Q540685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a64109d05b0fe50fc648ebb0cd63e63ca2c1a881","datavalue":{"value":{"amount":"+0.7930394411087036","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":"Q3590969$6F515F69-5D38-466D-AE5D-AEE796EF89C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3590969","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3590969"}}}}}