{"entities":{"Q2568115":{"pageid":2578858,"ns":120,"title":"Item:Q2568115","lastrevid":48565657,"modified":"2026-01-05T05:53:06Z","type":"item","id":"Q2568115","labels":{"en":{"language":"en","value":"A symbolic decision procedure for cryptographic protocols with time stamps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2212827"}},"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":"Q2568115$37031A89-29DB-4695-B30B-F231E5A059DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a3ea426888e418d3c8a1cbab2f26929db557e60","datavalue":{"value":{"text":"A symbolic decision procedure for cryptographic protocols with time stamps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568115$0291C1BC-42CD-4D4D-B990-5F895BCFF07A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38b5b80ded5b93d367e32dcb2c5e570da844edc1","datavalue":{"value":"1094.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568115$4CC4D613-5D77-48DF-AE33-B311D54E1974","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f84ea5f66f45a5bcc6dda4c8ceab509b0683a1","datavalue":{"value":{"entity-type":"item","numeric-id":2568114,"id":"Q2568114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$5C385A8A-3726-480C-9950-A7193B7A886B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"949c6e18983b3ffa10d09a4010ec9bedf5d67f01","datavalue":{"value":{"entity-type":"item","numeric-id":896921,"id":"Q896921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$28BAE2B7-3907-46C0-A4A5-307A58D17B2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf61e1c28cd3e26b0b006a26cc0e8ae38b4ee613","datavalue":{"value":{"entity-type":"item","numeric-id":673879,"id":"Q673879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$64DD2FB2-3B61-4CEE-BBF5-2742A00B5B0A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$42273D57-2060-4075-8246-BDC28E2B1FA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f380369256f74725cec94fc0a01e798b154bd78","datavalue":{"value":{"time":"+2005-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568115$581433D8-1318-43FC-A70B-1E71925369C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568115$4FFD646B-06F0-4A16-985B-056C43BDDF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568115$0DEBF986-B66E-4DE9-9483-AA9E425C14A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a741262da86f18e8c4aca6b931ce4f15940ada1","datavalue":{"value":"2212827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568115$E17F2502-C406-40A1-B335-62376DB2BA96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568115$7C5F1AAC-F6A2-4326-9481-125021EEDD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568115$14C26AD5-00FF-4005-8B9B-1AD1BAB193CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568115$102D09BB-3534-4A5B-91A1-A6EFD96C9AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab0cb3c50f782b0386834a5e88503cffc9f67771","datavalue":{"value":"timed models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568115$A29127AF-216E-4E31-8751-4C3C4C89440C","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":"Q2568115$D0595282-7ECF-4CFE-A859-09226A1B1282","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":"Q2568115$3FD1FDDC-47D2-4A33-B820-9D03EFB3E5AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51a242b867d9b292a76dc8093b91c31865a2c045","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2004.09.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568115$FCDBB1DD-92F8-41D0-89C6-827EAFE22585","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a7aba8df770854b80852b73406d0585a862d70e","datavalue":{"value":"W2224085299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568115$3FC0B95F-55E4-4C87-9795-67B988F7A484","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$B8A7D9F9-3AE8-41C7-BF89-F4C3C488BADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c01797238679efe6e5fb4fb6f8074de29bf54dd","datavalue":{"value":{"entity-type":"item","numeric-id":5255815,"id":"Q5255815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$11DF5A21-BFEA-4CCC-84A5-1AA0C4BF31D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e489f60b50ffbcb76ff4a8ca52e7c0625bf4ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4536615,"id":"Q4536615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$0E6A904A-B12D-4D1A-9FAF-B300795CD712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9fed4949d52a5677e86b13245bbcaed8c084f1f","datavalue":{"value":{"entity-type":"item","numeric-id":6070479,"id":"Q6070479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$35C70512-F709-415C-8E2F-7D2D016F0260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ed076b922bab4526d2e55f06121ec4c2de885","datavalue":{"value":{"entity-type":"item","numeric-id":4535055,"id":"Q4535055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$A59C3565-2607-4B0E-8ACE-83D8D798494C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1e5c387495101cc179a37c17843dfd91b94145","datavalue":{"value":{"entity-type":"item","numeric-id":2754128,"id":"Q2754128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$DAB31F67-700B-40D5-B412-C20FBF9153E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$E6085DC6-280D-4F43-BCEB-1AA79957D978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ff8a97b4b9412cf94d02fb85f3195ed2195f2be","datavalue":{"value":{"entity-type":"item","numeric-id":4447230,"id":"Q4447230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$8F9E584F-CAA9-45AC-8908-88FCD040AD8D","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":"Q2568115$A054D192-C5AF-4622-BF2F-99554F4BEE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$1F152ACC-9C79-45CB-B911-4A0865CC2B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568115$3A2813CA-DA08-4EF2-9A2E-534FADFD7C43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"791174435ec9a7563ebb00c310fbdfd5dcfe6162","datavalue":{"value":"10.1016/J.JLAP.2004.09.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568115$DB963ED6-BBAD-49D9-A684-ED7CF1263B6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0246ea49d22b9e6ff5cf9ad9296865a56bb0014b","datavalue":{"value":{"entity-type":"item","numeric-id":5311473,"id":"Q5311473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbd7d578fcf402b529a074d268150a8d3ad6a81","datavalue":{"value":{"amount":"+0.9735061526298524","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":"Q2568115$10FF9E18-A19D-4706-BD6B-47BBFBD71A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"757d0e8fe8457a7fab7174ef123819d10a7c6f6a","datavalue":{"value":{"entity-type":"item","numeric-id":5308417,"id":"Q5308417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01342f1b5c821f6f9dd2c8b6bf878a2a9559a7e2","datavalue":{"value":{"amount":"+0.8168498277664185","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":"Q2568115$F6844D4F-ED7E-44AF-9D6E-B44ABC12A72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a26dc41ce2dcb9a921377d513568cc0278532f","datavalue":{"value":{"entity-type":"item","numeric-id":2152027,"id":"Q2152027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196aeb98b861cb9150be16473b94e1e5a5c30749","datavalue":{"value":{"amount":"+0.7727383971214294","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":"Q2568115$DEE97ABA-64EB-4893-AC10-E29CDFE1CAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323199081f054cf87907102f344d7e96ad87cde0","datavalue":{"value":{"entity-type":"item","numeric-id":3612589,"id":"Q3612589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fdca7812852b542a6f78d9107d320221210dd59","datavalue":{"value":{"amount":"+0.7668976783752441","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":"Q2568115$AB49F36C-A6B3-47AD-9855-9C1B0ACA7032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c51d9e675ac891b2b9aefb5a6aa97fe6c4f6ce68","datavalue":{"value":{"entity-type":"item","numeric-id":2946596,"id":"Q2946596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09fd6705bfc08ab40612a88cfd38add3664a8e0a","datavalue":{"value":{"amount":"+0.761339008808136","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":"Q2568115$FD28C2CB-741C-4B9E-977D-95D9FB55E046","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568115"}}}}}