{"entities":{"Q5422290":{"pageid":7451864,"ns":120,"title":"Item:Q5422290","lastrevid":50186099,"modified":"2026-01-13T10:52:39Z","type":"item","id":"Q5422290","labels":{"en":{"language":"en","value":"Verifying security protocols modelled by networks of automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5201495"}},"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":"Q5422290$4DA30198-F55F-4303-B235-5C33000B0AAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18bc37a895ed310f30f3d2eafe865074df52ce4b","datavalue":{"value":"1119.94010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422290$2719342A-425A-417D-AC35-BE50C897EE69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e94a3bfcb7060bedfdffd65ed1424b52603946","datavalue":{"value":{"entity-type":"item","numeric-id":2201274,"id":"Q2201274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422290$BF06F204-A9B3-41CC-8FE5-C9C0FF17B9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422290$3E267A59-69B7-43F4-B252-8D2BD056481D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27c17e683e38eea7f1304bde8245957e05f3c985","datavalue":{"value":{"time":"+2007-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5422290$67CF0970-67D8-4B37-BC7E-04700066EA96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422290$F502EF28-5275-4576-B54A-A5AC9D37418E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422290$A8B6818C-7030-47C4-8415-BFF5E480DF76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14e0d851181de218a949170be3940dc79bc32327","datavalue":{"value":"5201495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5422290$59ADD974-0284-42C1-8416-4B25E27829F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422290$896904F8-15DD-4557-814C-FB4354AFB339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422290$35D9E0F6-24D4-48A8-8F8A-86EEAEB40121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q5422290$F91B6561-335C-44DF-B947-B6BC7CE24E89","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c5be43f59b23822927adea1d3ffb50f3bc628ec","datavalue":{"value":{"entity-type":"item","numeric-id":14788,"id":"Q14788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422290$DDC603C0-98F1-4576-AA91-C0BC776A5B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422290$F474A15E-0C7B-4935-AA27-A1D270B4192E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5422290$7B9DAF47-2B50-466A-B763-A8F2A29893AD","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":"Q5422290$0D435A16-DA61-4E79-979C-82015BF85655","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e235e36d761e545ffe0a5290b228fb44fa9a3e","datavalue":{"value":{"entity-type":"item","numeric-id":5423888,"id":"Q5423888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665ac2c2b1f0fac1fa637f64228a3746392d7d92","datavalue":{"value":{"amount":"+0.9564267992973328","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":"Q5422290$6E1B230F-1952-4E0A-B770-D2100EB3CEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5549dc8080b9d24517b6c5e99008b305ba2035a","datavalue":{"value":{"entity-type":"item","numeric-id":5192937,"id":"Q5192937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51be4521de6148c9482cca4e44e8bf2fcd07bd4d","datavalue":{"value":{"amount":"+0.8256162405014038","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":"Q5422290$FE65AC86-793C-459D-8D3A-2434B63F8424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09da22a5e9d36dc473c65f2b481878f0117512b8","datavalue":{"value":{"entity-type":"item","numeric-id":4804905,"id":"Q4804905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4f98c89114dc52ff032d40e06c5f8fb5a8e794","datavalue":{"value":{"amount":"+0.8236460089683533","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":"Q5422290$D4C96BA5-AEAD-4BC0-9AED-27087F2265EE","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":"1aab372a24f3100c1d428c0a2c2b2414ea5bd3c0","datavalue":{"value":{"amount":"+0.810649037361145","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":"Q5422290$C637A3CF-B6F9-42CC-BB5D-315E1C9FB383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af10c3f3d620ad1acb5fcfefe12321c50d8ffb4f","datavalue":{"value":{"entity-type":"item","numeric-id":5253587,"id":"Q5253587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22a91bd371ded22a399468df64943e7fed19440","datavalue":{"value":{"amount":"+0.7980314493179321","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":"Q5422290$7D13200E-98C0-4ED1-9D08-8D3D31F66E47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5422290","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5422290"}}}}}