{"entities":{"Q2703700":{"pageid":2714445,"ns":120,"title":"Item:Q2703700","lastrevid":82796558,"modified":"2026-05-06T21:59:14Z","type":"item","id":"Q2703700","labels":{"en":{"language":"en","value":"Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576642"}},"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":"Q2703700$70618A3F-7B22-4C94-B4BF-DD79EE5896AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f797406fde5cb7a115cfe2cdbbaeda6f50f2f76f","datavalue":{"value":"0962.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703700$EE07D764-EA45-4D51-9A96-EFC0C1206DAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a727721350a6442a5e0ba1646e5adc1f9504ff78","datavalue":{"value":{"entity-type":"item","numeric-id":1007640,"id":"Q1007640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703700$0854CCAC-1E4E-4CCC-BFCD-C878672B9C54","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"977947cd79f3920d9b8080aee0947b44a750ae0c","datavalue":{"value":{"time":"+2001-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2703700$5445D795-1F62-4259-918B-01EFF93E7946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703700$9B4C030A-95FD-472C-9EDB-9A3EA7950C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703700$C43BA703-6AA6-4273-9816-92074FE6649D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7b458167aa57215eeeb2ca371fa0292f97b3d9c","datavalue":{"value":"1576642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703700$A04B656F-A5AE-464F-9215-5D69F17E596E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703700$F153002F-A7ED-4780-934A-E0BD2BC18B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8f9c89ea264298dc31767a743bc81483163fc9","datavalue":{"value":"internet security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703700$E539DFF1-AB78-456C-B03E-F3B9E8E0D8E8","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":"Q2703700$534DDAC0-0A8B-4A72-B37E-B43FD0690482","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"482c26b807c6241f7129f0e07dcfea47259a2e99","datavalue":{"value":{"text":"Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703700$A073D0FB-094A-4495-A482-A5C23B3D04A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d7528f47c1c71f7c1e08f5fdba01e781c38b10","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5a20a04d184d6578bc082c0495ab1df24dedb21","datavalue":{"value":{"amount":"+0.7760738730430603","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":"Q2703700$E8A395C4-DB1E-4D5D-8FFD-D47F0FB3DCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2b85611d510d56c2ee3cd15c0ae54db53dcac4","datavalue":{"value":{"entity-type":"item","numeric-id":2848483,"id":"Q2848483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7909559404ca0de3a4f5afe777014374ecc2d594","datavalue":{"value":{"amount":"+0.7730568051338196","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":"Q2703700$6950422D-3466-4351-BE5E-09ECD6E1F734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0ec567c443e85a8f52d5db4311b0af44a74f2d","datavalue":{"value":{"entity-type":"item","numeric-id":4808734,"id":"Q4808734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c30a11f45e0bbcb06f26f0113402d002ba7a9e","datavalue":{"value":{"amount":"+0.7703006863594055","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":"Q2703700$B9A2A738-CD78-43E7-A78B-3A099C753ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616cae5d800f66ec3cc0448e54246f31830ffd0d","datavalue":{"value":{"entity-type":"item","numeric-id":4938617,"id":"Q4938617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbc279800b5740ae820e7f6dfb93de702a11ef6","datavalue":{"value":{"amount":"+0.7689906358718872","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":"Q2703700$E9CC447D-2C22-4242-89B0-75DFD7CEA13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18ede42f313dc1f3a28a5a0b023f74f026d3e60","datavalue":{"value":{"entity-type":"item","numeric-id":2844070,"id":"Q2844070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd8a26276da8492728ac1ee1594be4a32a0a900","datavalue":{"value":{"amount":"+0.7629557847976685","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":"Q2703700$1DB9384D-2F9A-4EEC-8C29-9AE23A4D91F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications of term rewriting to cryptographic protocol analysis. (Overview of the invited talk)","badges":[]}}}}}