{"entities":{"Q4923367":{"pageid":6952949,"ns":120,"title":"Item:Q4923367","lastrevid":51732602,"modified":"2026-01-19T18:01:25Z","type":"item","id":"Q4923367","labels":{"en":{"language":"en","value":"Typed multiset rewriting specifications of security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6171373"}},"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":"Q4923367$C06B84B4-0D17-4F83-9373-9673F4604E5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1462e2216759849914dde2e99075d9de153987d","datavalue":{"value":{"text":"Typed Multiset Rewriting Specifications of Security Protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923367$2D4F9F9C-2DDD-4C7E-8BB4-B9C018299CE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92c7709d6bf944b6b400fa002061835f7bf15e73","datavalue":{"value":"1264.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923367$B3B04A89-7013-4223-9F2A-07BE6120208C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8ed1d9c70589f07e9cf4f6cb68d3bac5d1a6600","datavalue":{"value":"10.1016/S1571-0661(05)80035-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923367$D5E3D368-D5E4-4725-B1FF-96647B35BF07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1d041eba03fa13635f61e040bc5645d8fe81661","datavalue":{"value":{"entity-type":"item","numeric-id":731894,"id":"Q731894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923367$CDB4D583-5228-4093-9A92-7524FCEE6ADC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923367$63F55B39-41D5-4812-8B3B-31E9E915695F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63e96e0f21aa9e59ddd731e2dc0f086f16e88ce1","datavalue":{"value":{"time":"+2013-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923367$B1C4DBF7-3BD7-4AB1-847B-E7C224D4D114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923367$21DF7B61-3EE5-49DA-9EA6-91D59043039E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923367$B7966F8A-EA0F-4E8C-AADC-C759EC5E77E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923367$3ED51CE2-0DB6-4D7D-84E4-13A6137A9B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923367$EE9C5629-1F79-42C1-A27B-F25602FBCFC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb6dde938883cbeda756f7de49609d2953dce8c4","datavalue":{"value":"6171373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923367$F471D7BA-B16F-4420-B506-9748A2CD8A9D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2226a631358bd27514d9bfc77752bd32eaa1a715","datavalue":{"value":"Q115012757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923367$6A71CB86-2D19-4052-B138-0AB7CD695078","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":"Q4923367$21DDEBF4-9450-4D84-93DD-7FCC70122238","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7ae2b62c103e324dd17e8da9e3a720ea8f264c4","datavalue":{"value":{"entity-type":"item","numeric-id":4418590,"id":"Q4418590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923367$FDE0D768-DD6E-471C-87F8-AAB3EB23CCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7178fbebc11cc495e95d5678bf7a70d0371b00","datavalue":{"value":{"entity-type":"item","numeric-id":4923367,"id":"Q4923367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923367$D9D72B6D-E89A-4D01-A11D-01862FD4AC29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8a3ac4639dd4b337d27b26782bc37c2b08b219","datavalue":{"value":{"entity-type":"item","numeric-id":4530846,"id":"Q4530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923367$3061448C-26E9-4995-8783-BE75FD66EF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8190ca8064383933102de4ee8e9ede219451a4","datavalue":{"value":{"entity-type":"item","numeric-id":5691056,"id":"Q5691056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923367$F95311B0-CA7C-4DD6-971A-8458235EDFE8","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":"Q4923367$13E671B3-6A37-40D4-A8E3-DF9329E07E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923367$0BBB2310-FF11-4AD6-8B12-495A0DA7414D","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":"Q4923367$CB7D9E1F-6C80-462B-93EF-014FC3C8F1F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b51fa5df8dd78e854c8805aa334363764e65d7","datavalue":{"value":{"entity-type":"item","numeric-id":4530846,"id":"Q4530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd05d85d9f562682bb6a7c3ea5f3324a45b33334","datavalue":{"value":{"amount":"+0.8776499629020691","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":"Q4923367$24BCF266-C582-47C1-A731-FC67466956E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f21c9858a285985dafe430e07a9a699da096939","datavalue":{"value":{"entity-type":"item","numeric-id":880987,"id":"Q880987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162554b0bdd022fdfbe65d0a4193e15d1f8cded1","datavalue":{"value":{"amount":"+0.8193630576133728","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":"Q4923367$AF08137B-66C9-46B1-8470-473947D8BD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"701db0356698320e97dac6f69b7501168134b524","datavalue":{"value":{"entity-type":"item","numeric-id":2849864,"id":"Q2849864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f372e34b05aa0e531172011467ecb906f1a073","datavalue":{"value":{"amount":"+0.8183284997940063","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":"Q4923367$BF376A60-C1F1-4137-BAEA-6347EF6DE645","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":"5bfabab6975ad27b3456b7426e8a15e665d38cbf","datavalue":{"value":{"amount":"+0.8002121448516846","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":"Q4923367$C992334E-C32B-4670-BEE6-DFA917459100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4941c4b809dcefd9110873a6202f7d59a1d702ba","datavalue":{"value":{"entity-type":"item","numeric-id":3611001,"id":"Q3611001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f9f7e69642209cb483fd07f6fb24ebd9f888949","datavalue":{"value":{"amount":"+0.7711069583892822","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":"Q4923367$B4B1D5EB-1413-484C-9EDD-C64E4438C8AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4923367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4923367"}}}}}