{"entities":{"Q5030180":{"pageid":7059757,"ns":120,"title":"Item:Q5030180","lastrevid":54225521,"modified":"2026-01-26T12:16:12Z","type":"item","id":"Q5030180","labels":{"en":{"language":"en","value":"Analysing a stream authentication protocol using model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474211"}},"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":"Q5030180$BEEC8EDA-9489-4A41-B330-BF1C8E4AFAAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"435ff131f888c67aa54363cc89a026613e731eec","datavalue":{"value":{"text":"Analysing a Stream Authentication Protocol Using Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030180$D336183F-A996-489E-86FB-C72C4D0B4ADD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad18ca6a6987c31c72f3ca134b490b2726c7e16e","datavalue":{"value":"1482.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030180$6CED06AB-3ABB-469B-B919-489135D89D47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09dfb2ca9460ade2124df9a4d011b4b858e4ce57","datavalue":{"value":"10.1007/3-540-45853-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030180$41893067-E481-45BF-B736-8937E3A4B38E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7123f486b1469dc414ea55a91880efc3243d0e80","datavalue":{"value":{"entity-type":"item","numeric-id":2753768,"id":"Q2753768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030180$DBED55A8-21E1-459F-867B-D969A8E0D022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10e5b6375cec486c10f672235e2a7de9b55f6384","datavalue":{"value":{"entity-type":"item","numeric-id":557890,"id":"Q557890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030180$6B40E4FA-871E-4962-A141-457A40414A7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcaeb63fe922676e25ce6bee4e98860072a11c38","datavalue":{"value":{"entity-type":"item","numeric-id":5030174,"id":"Q5030174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030180$2F2DF676-4DE3-41C6-B2B7-64B6225AC028","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030180$D34F6156-A061-495D-AE1D-C41AB95BA368","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030180$46E69661-C73C-4B77-B76A-0189F5602375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030180$08738AC3-0086-4C31-9BEC-35EF60956480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030180$37D0C960-C41F-4683-B01C-97BA9A0A8FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f409bc468744e5d7bfd3991f766aac2f85936784","datavalue":{"value":"7474211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030180$37D57DEF-7C4E-4045-8439-663906D0FD62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68eaf8a24da690646c56e56c0af9eae16b30fed8","datavalue":{"value":"authentication protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030180$DDDD4C1A-829C-4BCC-B9CE-571B7215379B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030180$7348983B-345D-4EB3-8280-B0718D7C6380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45ba86e56988322bdd4284f5346b280aafe9ae6","datavalue":{"value":"authentication request","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030180$3A3CF154-013D-4E36-B95F-6E98A3A17E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fc34f8e27e9fbded5acd10cd0fd7b11fd6d73e5","datavalue":{"value":"honest agent","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030180$79674542-0779-4E45-BDA6-F50BF10CAB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2995837b94bfc5c1e8a1c8d51dd9b5ba0bc1c661","datavalue":{"value":"initial authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030180$C1F7A164-73D6-4A2F-BB7F-470152B63090","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":"Q5030180$8DE56B21-11D4-44A1-96DC-A3986BC352C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28efdab82831e650eb5e6d539272bfb3dd34ae78","datavalue":{"value":"https://doi.org/10.1007/3-540-45853-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030180$E5C8D9D5-177E-43A0-9CDC-0DFBD3D8ED2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed064a080d0d0bca56fc3d25a1e93b6937a4d0c2","datavalue":{"value":"W1570553421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030180$DB5B827D-BED7-4DAE-8537-4EF3B3B969A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030180$ED141C40-FFDA-4E31-9C72-1378E1F6A923","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":"Q5030180$C56DBBA8-673D-4A6F-A8A1-D9EABCF0B77E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4d078d215755b2281d505b682c9778027c2f09","datavalue":{"value":{"entity-type":"item","numeric-id":5422291,"id":"Q5422291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"245ddafe4ef9785d9cd1e1e74612fe52f14a70df","datavalue":{"value":{"amount":"+0.7677592635154724","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":"Q5030180$13EC7FB1-46F3-40D2-876D-718B41F1D904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfeeb4e6539c27e9dae5d059b6cb33d4f2d33b13","datavalue":{"value":{"entity-type":"item","numeric-id":5418256,"id":"Q5418256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529f313143b4534b21f149faf2c72b1a240b423c","datavalue":{"value":{"amount":"+0.7461447715759277","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":"Q5030180$0779E2E9-CAD9-4FA8-9072-A09FB770FC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db20c1eec7da59b4acc4055d8e12245b8cd04b3d","datavalue":{"value":{"entity-type":"item","numeric-id":5429170,"id":"Q5429170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6944bd1f7b2cbe65bc499c9b911d658830e12ac","datavalue":{"value":{"amount":"+0.743262767791748","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":"Q5030180$5AFDE8EB-29C6-4108-9276-3B8D27F4655E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"584c138efbe4aec37b292fe636503bda2186ea6f","datavalue":{"value":{"entity-type":"item","numeric-id":5422283,"id":"Q5422283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1352c664206c4be56addbb36344870682caaec74","datavalue":{"value":{"amount":"+0.741037905216217","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":"Q5030180$46DFCD75-C731-49B2-A9CA-5F13708D57B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0e2a7747b731a7010871a1b09c3d1e8e4c93844","datavalue":{"value":{"entity-type":"item","numeric-id":3176380,"id":"Q3176380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09a2af39f5f004b0c62c1c988f151d6f1f8d6c91","datavalue":{"value":{"amount":"+0.7339377999305725","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":"Q5030180$056DE025-CE5B-4DA8-AAA7-F7C3066ECA58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030180","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030180"}}}}}