{"entities":{"Q2849570":{"pageid":2860290,"ns":120,"title":"Item:Q2849570","lastrevid":83513693,"modified":"2026-05-07T08:35:38Z","type":"item","id":"Q2849570","labels":{"en":{"language":"en","value":"A coordination-based methodology for security protocol verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210220"}},"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":"Q2849570$F7E18E00-C7C0-47EC-89C6-FEAD40746D65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30a7f7871191409294e833dbbc140f64e379019d","datavalue":{"value":"1272.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849570$9D01C502-621B-4C7D-AE84-4AD4276A15F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"149420ec4ddfecb93c2b5ce0cac49252638707bc","datavalue":{"value":{"entity-type":"item","numeric-id":2849569,"id":"Q2849569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849570$B8F69F3A-4571-40C8-BFE0-87A4892A8FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ae369af57669e5ec8b7819be59bf6e141567dbb","datavalue":{"value":{"entity-type":"item","numeric-id":959789,"id":"Q959789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849570$BBC0EDF7-5CE1-478F-B37B-E35355541921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72039656185d0ef8eb3f9cb23879b2b5abb28d22","datavalue":{"value":{"entity-type":"item","numeric-id":530216,"id":"Q530216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849570$6113F9A4-2F05-41E7-9426-791557950E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d6c37e24eff01995157b2a4b2bb0fcfce2a64dc","datavalue":{"value":{"entity-type":"item","numeric-id":1770361,"id":"Q1770361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849570$9B977404-B8C2-4193-8832-E15C9C15D5BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849570$946EA085-1E88-4BCD-9505-7F364DBBBF79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7356ce2dc222e75b0b05a9dd4de89673fd72b231","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610500023X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849570$8E83D281-E46C-4B9C-8686-C6307E0A118A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849570$15DDF550-675C-4426-8E03-91E9833DA4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849570$32C1A033-9229-42A2-9A24-A5285CEB5DA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68a28268eff2defeb9f38db33674c40873e660ee","datavalue":{"value":"6210220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849570$0E9B465A-2BA1-46B1-9099-1A8E1E0A99FB","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":"Q2849570$DEBFD8F5-39CD-414A-A3D4-DB5E2ED272F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"980870811a3f2ea2e7a7829c127002f895930f6a","datavalue":{"value":{"text":"A coordination-based methodology for security protocol verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849570$9511E327-4280-4F07-B49D-9BBB692C19F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07047b2197714a8819b934f0de4fdb4e050e5c62","datavalue":{"value":{"entity-type":"item","numeric-id":2894308,"id":"Q2894308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e56615e31b7404bf57e205806e27fac9ee6c7f","datavalue":{"value":{"amount":"+0.7969273328781128","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":"Q2849570$32051D39-0194-4661-A603-14E88E191AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa6197f6f1faa7773976bbdf8dd87c8c8dfbfa1","datavalue":{"value":{"entity-type":"item","numeric-id":3164588,"id":"Q3164588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e631b60d81a1643bffbab78bd15139b5ca9acdaa","datavalue":{"value":{"amount":"+0.7929602861404419","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":"Q2849570$55DC9B1E-4CD8-4FB7-9142-38C0FE0FF598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a767c94cdf2e612abdb8b82fc45631285e805028","datavalue":{"value":{"entity-type":"item","numeric-id":610283,"id":"Q610283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cd5097c913631c5381f15c98f00d67a0451ef32","datavalue":{"value":{"amount":"+0.787373423576355","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":"Q2849570$1A6F3AAA-DD18-41AB-A890-CD8EC76738F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6206fb2333e843b84a862f154bfb633db182fcda","datavalue":{"value":{"entity-type":"item","numeric-id":1853583,"id":"Q1853583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4068cb6ccf58c880b2569a1921b79f3cc09057fe","datavalue":{"value":{"amount":"+0.7866847515106201","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":"Q2849570$E493BE60-2BC1-40F7-B877-65CA7352FD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8bd075f5fd491c0c3295d4cc9a6e98f0d7cd23","datavalue":{"value":{"entity-type":"item","numeric-id":2568441,"id":"Q2568441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b51b391452ab19bfc2bffa801d5376dfc3ca36a","datavalue":{"value":{"amount":"+0.7789239883422852","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":"Q2849570$63EBA8A6-C675-45FD-8003-027FA1296E50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A coordination-based methodology for security protocol verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_coordination-based_methodology_for_security_protocol_verification"}}}}}