{"entities":{"Q1001891":{"pageid":1003739,"ns":120,"title":"Item:Q1001891","lastrevid":70038549,"modified":"2026-04-13T12:01:46Z","type":"item","id":"Q1001891","labels":{"en":{"language":"en","value":"A domain-specific language for cryptographic protocols based on streams"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5509581"}},"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":"Q1001891$07CB939B-08B0-4631-9CEE-9CD5143007BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8043375ea45cc26a4c4c415c5ce3168237b6d6ba","datavalue":{"value":{"text":"A domain-specific language for cryptographic protocols based on streams","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1001891$0F721CA0-4952-41B4-909E-24683CB800D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"919c3bd60fbb16b756305b855f9774280efe9948","datavalue":{"value":"1161.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001891$571BF782-4C49-42F5-AF74-DF64D69AE56B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a638e25c00f5d4504207bdf8dab68c4ccefdc5a4","datavalue":{"value":{"entity-type":"item","numeric-id":186070,"id":"Q186070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$7600EA6C-FD5F-46D8-9472-D2035161A7FB","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":"Q1001891$052CE2FE-FB65-41C6-B5F3-76772E84399B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ac46482d9614bc70cdfafc33c9b07360ae890aa","datavalue":{"value":{"time":"+2009-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1001891$A21EDF62-5F2C-4428-9EF4-17D5E279961C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001891$DBC58A0D-F7DD-44F8-8053-943347E14B4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e99c2d0e7e97983a5442227810c2a61c9fa2ead","datavalue":{"value":"5509581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001891$CE5AEEB2-639E-4875-A629-DCD60E8A13E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001891$9A7FF20F-4D37-414A-A8D7-B8D021508D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e594c228a343ea69f779ee790bc6ba31198d44ac","datavalue":{"value":"security analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001891$72A90CCA-8EE8-475A-B17E-15D588650A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1585ca8380d459cc6fef1e6ce4a61850ace366","datavalue":{"value":"automated theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1001891$8047B6B5-C9B6-410F-82C8-3E3B08DBE0A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"841425e8003dc7b5b03b1a0ed80dec2b47c17348","datavalue":{"value":{"entity-type":"item","numeric-id":14375,"id":"Q14375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$09153DDA-A69C-4251-A684-57943C2DF00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$048C9CC5-0DE5-4683-9833-E96FBC247A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"497739b1d588e442d5b7ba6bb4cccae512fc3231","datavalue":{"value":{"entity-type":"item","numeric-id":19196,"id":"Q19196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$0DF38569-6B34-4415-8B8C-C88FDAF129F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$616654E1-33B8-4FB0-9209-78BFBD5DD909","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":"Q1001891$DBD9FA61-F0EA-4E87-9047-25CC08E92C37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c246aa25fafb8d43c4ed1f4c210860b3495a321","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1001891$8BC759A0-CF6F-49B3-9B91-7F3CF3B84120","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e4ab1ef951da8e255059a18bd3b24af2e67d252","datavalue":{"value":"W2001362861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001891$313726D8-EAE0-4447-A41D-ED18A3C68980","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c85674b32ecf9d0fe1b123e47c0c1df694d121","datavalue":{"value":{"entity-type":"item","numeric-id":2752046,"id":"Q2752046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$1B5FAA5F-DA82-4B49-A9F6-762A3D2BA58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$C10344E2-ABBB-493B-9F1C-54B45BE5F64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"683bcef649b0849fcdb32ca1afac6708148c0ad3","datavalue":{"value":{"entity-type":"item","numeric-id":5941194,"id":"Q5941194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$F5937BE4-324C-4ECB-9402-A61C367363BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06b2fdac97c9732711ef16445649809b33affcb","datavalue":{"value":{"entity-type":"item","numeric-id":2725941,"id":"Q2725941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$101C5000-7BEA-413F-AE83-FCF9A77B6E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632b68803dcd638d27ffe90ba03cc0d0191f736a","datavalue":{"value":{"entity-type":"item","numeric-id":4443488,"id":"Q4443488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$99CC82DF-F8BF-4BA0-92EA-121120146824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d71a27202baa0ed69d2b59af2ce9512b037b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$42852DAF-FE75-48ED-A7A2-8C9D038BFE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8d973b2c2ed4ad461995603ce1e72a86bd5a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4411077,"id":"Q4411077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$1F4B1E16-1823-4694-877D-3991C5F58577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56213f215f8589cb5b9b607fe971b63f08690128","datavalue":{"value":{"entity-type":"item","numeric-id":293167,"id":"Q293167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$F4AF837C-B24D-48FE-9B49-1CA0CF8B3884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852fe64eb5833b1e4eeb4e4c568e323b090b9078","datavalue":{"value":{"entity-type":"item","numeric-id":5234693,"id":"Q5234693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$54DB83FC-07FC-4C03-A8F3-57AA1E22AF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62113b852f82fecf9e34912decc495ba0abfaf0d","datavalue":{"value":{"entity-type":"item","numeric-id":2721215,"id":"Q2721215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$111B5F57-A117-4C38-85EC-05BA243188DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed4338cc88d42d689fda3243956f7504154c17b","datavalue":{"value":{"entity-type":"item","numeric-id":1606324,"id":"Q1606324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$11700D2B-2C49-4B7A-B83F-41847F26ACAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f8b81729c278d2b25a84d10accbf70874b133d","datavalue":{"value":{"entity-type":"item","numeric-id":4263167,"id":"Q4263167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1001891$0212C4F4-B81C-48BC-AFDF-1FCE0DF4ACBB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfa3313b07b7db05e261b69d873954c45104f209","datavalue":{"value":"10.1016/J.JLAP.2008.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1001891$6B29804E-FC3B-45DD-9BA1-5621421B78A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9037aa4c8816383b2e2e586b4c39287b173c2de4","datavalue":{"value":{"entity-type":"item","numeric-id":2902917,"id":"Q2902917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b2a306a9b8ead40a57c4a9f3bcb6cfbf00a0e5","datavalue":{"value":{"amount":"+0.7326902151107788","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":"Q1001891$F7FD7947-1EAD-4DF3-B393-B6C297FC92C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d457209a09985489ab96bb24b4900cf97b9ffd","datavalue":{"value":{"entity-type":"item","numeric-id":1330137,"id":"Q1330137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006681a193a5353a5a2c9653e7c9fbb45ed40bc6","datavalue":{"value":{"amount":"+0.7207769751548767","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":"Q1001891$CBE33F2D-227C-4370-9B09-F8E86E237A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3001dbefa0131bf3994e5f32497248a60838ca5","datavalue":{"value":{"entity-type":"item","numeric-id":1398674,"id":"Q1398674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006681a193a5353a5a2c9653e7c9fbb45ed40bc6","datavalue":{"value":{"amount":"+0.7207769751548767","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":"Q1001891$E26C111D-63A6-4162-BB6E-92B5E82306A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8b23a0b2fd124c38331ebc84a0ba81b7c95758","datavalue":{"value":{"entity-type":"item","numeric-id":5447364,"id":"Q5447364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b0f9ad703260f8f8430bcaf5de25c3b79dd3d17","datavalue":{"value":{"amount":"+0.7185523509979248","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":"Q1001891$200066A5-E3F1-461A-9D3F-4A3AAEE1B100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52c5e1fa2b9577474cad96bbaf67d5fdf628a373","datavalue":{"value":{"entity-type":"item","numeric-id":5875633,"id":"Q5875633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56caaa74a3d0be33b77e6aa5e46e77f18f10b6ea","datavalue":{"value":{"amount":"+0.7178159952163696","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":"Q1001891$5CE5F6F4-8912-4355-8992-AE2466B9119D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A domain-specific language for cryptographic protocols based on streams","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_domain-specific_language_for_cryptographic_protocols_based_on_streams"}}}}}