{"entities":{"Q5491199":{"pageid":7520759,"ns":120,"title":"Item:Q5491199","lastrevid":101120054,"modified":"2026-06-05T23:55:23Z","type":"item","id":"Q5491199","labels":{"en":{"language":"en","value":"SPVT: an efficient verification tool for security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061971"}},"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":"Q5491199$141AF927-327B-45A1-B7E8-6ECE5573E641","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"335d2c625b84337592236d8bcde0eb8651015dee","datavalue":{"value":"1104.68486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491199$9778168D-7380-4EE7-8527-963559493526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3a9ef8f7bec0a13d9487613ba93e2a9c1034736","datavalue":{"value":{"entity-type":"item","numeric-id":2512817,"id":"Q2512817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491199$BB069B26-0E4D-4D34-B252-F226F0D215BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c58569846d61b472550f2efc872275f83e776b","datavalue":{"value":{"entity-type":"item","numeric-id":533184,"id":"Q533184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491199$9B49369F-8B75-4620-B215-4699F302FC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25d081311eae44eddf4c22ed84a12cfa39e6923f","datavalue":{"value":{"entity-type":"item","numeric-id":1129837,"id":"Q1129837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491199$770F1EA0-0234-47A2-8DD0-EAABF9E68F82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5491199$CD0D4813-4D2B-4DE5-9FBD-1C5A4FE0A567","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491199$95153B1F-2696-48F2-8D65-347589032EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491199$FE995853-41BE-48A9-8263-FB37E5FB6AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491199$E96C44EE-0348-4134-8014-F0238A4F660E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd0619e23cef2fa2c7c4bb40f4d9ac0480e47e22","datavalue":{"value":"5061971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5491199$683F364D-EA5E-4EAD-A3A0-5A0DF2469C41","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5491199$E4334F80-4F45-43BB-BB7F-2FFC96D7680D","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":"Q5491199$3C7A47F0-8496-43DC-AC5E-DCA29ABF2285","rank":"normal"}],"P1643":[{"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":"2574301dabe37b8925f682382a8462faa40e169f","datavalue":{"value":{"amount":"+0.820700466632843","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":"Q5491199$480458A7-B80B-4528-80D6-D464E52AB45A","rank":"normal"},{"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":"fe5218494ef2d5d55c421b238611512519522fc7","datavalue":{"value":{"amount":"+0.8049117922782898","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":"Q5491199$0F09E06E-B46A-4E59-B84B-0C71B05255FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c073c0fc7ca9b68010d46a31c24508e91c694623","datavalue":{"value":{"entity-type":"item","numeric-id":3624272,"id":"Q3624272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e633eaaa881433cffe55422f6c9afd25cf4769ce","datavalue":{"value":{"amount":"+0.8022964000701904","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":"Q5491199$554D1CA6-BC22-40D7-8D5D-6C4E4DA58C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d0abd172ad3f520255beba4b80b8936913eda32","datavalue":{"value":{"entity-type":"item","numeric-id":4738477,"id":"Q4738477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a4ed7b20528f2b7acaf77ad1ee923a69620d9d","datavalue":{"value":{"amount":"+0.78806471824646","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":"Q5491199$C5B66937-3C7E-43F7-A62E-3E79E2715001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b62d29e56db5582498711a91027af187898941a","datavalue":{"value":{"entity-type":"item","numeric-id":2484411,"id":"Q2484411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0628e99dbd0d82d9f31b8ce423f75cc1f650fe3b","datavalue":{"value":{"amount":"+0.7700956463813782","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":"Q5491199$A66455F7-A416-4569-A34A-5FFB404A3F28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SPVT: an efficient verification tool for security protocols","badges":[]}}}}}