{"entities":{"Q2851055":{"pageid":2861775,"ns":120,"title":"Item:Q2851055","lastrevid":83772140,"modified":"2026-05-07T11:14:27Z","type":"item","id":"Q2851055","labels":{"en":{"language":"en","value":"Rewriting-based verification of authentication protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213298"}},"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":"Q2851055$BC590972-5B03-41C8-9603-E00DF7958D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"168bce848732d4bc1a30f2e3185f13f22b0a11a1","datavalue":{"value":"1272.94087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851055$F977FCC0-C5C4-4AB8-9E11-03B3EDF7F2E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$736841B1-7E45-4286-BCE5-88C6ABD1A706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$9B50C58B-3823-4C1C-9EF0-B4466509D289","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851055$1DEE0B41-2D44-4E5B-B810-440BD725DB9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72210a75ab711c8be91683b7154b8f50592aa064","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105825368","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851055$C1DA81FD-21A3-484A-BCA7-1EB39B1B8E8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851055$F6BA8AA0-AFB0-4710-B782-38F0655E1459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851055$B2216F02-0210-46EA-A073-F5574EC2C884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851055$CFA8D433-868C-40DD-80D4-D4C5A0FDD64B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"41652936f66ed5e43e53593d8034b5f6345b5861","datavalue":{"value":"6213298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851055$6EA819E9-A27A-44BE-A68D-4C82F4CC79D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$6E1A49DB-2D4B-48FF-BDA6-70A0C58158E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"00eb3eb10e85813583d497847dc789beccf836f8","datavalue":{"value":{"entity-type":"item","numeric-id":19026,"id":"Q19026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$06AB80F4-FA1B-4047-B2F0-C8F8F9AF0AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$67B20E59-10BE-42C7-9FF4-899A0E65FB63","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":"Q2851055$059423D6-5BEF-428B-BBA7-925F3591F5B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$A0192264-5591-48FF-A1C9-87335C6B8A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$37388AB0-C1BE-4402-A4F9-6AC0E122CABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$9F83747D-A6EF-430C-9C66-AADE657ED6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e46aebc04c4ba0e79011f44184decc8d5c2923","datavalue":{"value":{"entity-type":"item","numeric-id":4520814,"id":"Q4520814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$B08889B2-65DC-4F53-9F1B-CCCB3DCC7E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$EE043297-7AF6-4AC3-90E6-F2BE6EF45739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$19859B21-6CFC-4DBA-BD20-F3257F2EE7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ee4d26893bd6c207bc7c6cc4695a2e073f97a2","datavalue":{"value":{"entity-type":"item","numeric-id":5960707,"id":"Q5960707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$B549D7E4-F0D6-4DDF-A82B-0819F9A33A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$C46B03B8-3598-4F3C-A89D-45452AC0466B","rank":"normal"},{"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":"Q2851055$A11EA210-B888-443B-A91A-24A524E69CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$F5A490EA-5D05-4A16-8F33-30B34F8B87BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4618a292456119ef22b49e2e05eece3225962c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4790352,"id":"Q4790352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851055$B91FDF59-AE4A-4217-B515-9ACA2EB350A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3cff0af160639e669fdd6fefc7b19a6fcc35693","datavalue":{"value":{"text":"Rewriting-based verification of authentication protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851055$8EE7B42E-78B5-41B2-84B9-069671F76312","rank":"normal"}],"P1643":[{"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":"307fe00ab97eb469b4259cf113e5f2a9a2e2013d","datavalue":{"value":{"amount":"+0.8086786270141602","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":"Q2851055$5344518D-2A77-4830-8C37-E4EB0FE60E72","rank":"normal"},{"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":"952fb7f567d8fc041b3025552d0c73bdf6676944","datavalue":{"value":{"amount":"+0.8073496222496033","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":"Q2851055$8B8B46D2-1F18-4AE8-A3BC-F04BE8FF89D2","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":"316051389cfb8f92bf3ad237574423e4bc256329","datavalue":{"value":{"amount":"+0.7869862914085388","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":"Q2851055$00E6C1D2-F29C-4422-827E-6D5877173F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0b6ae3166001738092dc089447662edf8002cd","datavalue":{"value":{"entity-type":"item","numeric-id":3431408,"id":"Q3431408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"144a7446fa0231bcd61e61f995b4c0a5cfeb8c77","datavalue":{"value":{"amount":"+0.7801622152328491","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":"Q2851055$763BB989-4240-4096-864C-7267AD4A0B94","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":"bbc9084387038f84f08f0dccc67c22797c6bfca5","datavalue":{"value":{"amount":"+0.779571533203125","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":"Q2851055$C46AB626-5FC1-453F-8F3F-DE9CCB47D8AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Rewriting-based verification of authentication protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Rewriting-based_verification_of_authentication_protocols"}}}}}