{"entities":{"Q1749255":{"pageid":1759997,"ns":120,"title":"Item:Q1749255","lastrevid":53083091,"modified":"2026-01-24T04:44:45Z","type":"item","id":"Q1749255","labels":{"en":{"language":"en","value":"Non-repudiation analysis using \\textsc{LySa} with annotations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6869030"}},"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":"Q1749255$75096C18-FC18-4FA2-8848-D312193E4381","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f918149aee883f7482ddfe9c1c3a4605a8098086","datavalue":{"value":{"text":"Non-repudiation analysis using \\textsc{LySa} with annotations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749255$D81FBFAB-A22D-4DB7-B31F-314CFCCC2F40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9622cf93d434ec7f135006c43d5efef22319d093","datavalue":{"value":"1387.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749255$875AD77C-D3C6-48B8-8C99-56966BC81D71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef5759bcf45aaa13ae51e6f835782663e067ea6","datavalue":{"value":{"entity-type":"item","numeric-id":1749254,"id":"Q1749254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$D4011C56-0992-489F-B2F3-F55C65B66BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99f1e01c1ca45d75923d43d128b5313055f8091d","datavalue":{"value":{"entity-type":"item","numeric-id":456468,"id":"Q456468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$5E85F80E-E62B-4B82-9EDB-3A3FCCEB9F5C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$7618991D-A35E-4D60-B638-61A2CA8C9EC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e956331d0e5540795d70cdf1447eb2fc47cd3be5","datavalue":{"value":{"time":"+2018-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749255$A6BD837D-0583-420D-8C50-BE032C50F246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749255$4F2D7C44-2B94-4A65-941D-FC55504CCDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749255$69847027-BF91-4D65-B589-7B67314BBC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749255$C6CB6D0F-F8FC-4B6C-9867-1AB67C27749B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aee24871713616e5d200ea7ecb194e31593f147d","datavalue":{"value":"6869030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749255$68D26483-37B9-463F-AE31-6B66E014397E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749255$74FD4B2F-891E-482A-A197-4D0E80E84ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41942b88def18bd03e7e1b24e4152d67bbf8a899","datavalue":{"value":"control flow analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749255$F509EEFE-13D2-496F-BA48-2F423A803E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749255$D738A815-7AF2-4CFF-8840-006E062867CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749255$A5F6C18B-C815-4087-A4B1-8F659226B8B1","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":"Q1749255$4BB8F749-96B0-4FB6-8198-D9AD7E13BF66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14490b88e583e55004dd3f27c7862c862d6469ed","datavalue":{"value":"https://doi.org/10.1016/j.cl.2010.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749255$21C73E57-4B20-4DC2-AD62-EA27930EF9DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6baf97c7cd57807638ab9a9dfb4618878f03be0","datavalue":{"value":"W2080836433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749255$1959C51D-6B3D-4BA1-933D-DA26A837A15D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2b7c3eb7c3df266264c7f9cc2460aab4be66531","datavalue":{"value":{"entity-type":"item","numeric-id":4790653,"id":"Q4790653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$510E126C-9F7B-47D6-9DAC-675F3E5E3EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0133a2181ab6ebf9e954d6c2321a258a23fd1d27","datavalue":{"value":{"entity-type":"item","numeric-id":2849853,"id":"Q2849853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$5C0596A6-0D3A-49FD-8E0D-CFBE42AADD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a9dd49862745b7c826b51c4a8cb87e5bb6f9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5393987,"id":"Q5393987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$352B80A0-058B-497A-947F-1CD54D75ACAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51e72294468f7a91f38cb3fdb9037dce4b75a3d1","datavalue":{"value":{"entity-type":"item","numeric-id":5505422,"id":"Q5505422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$7C552AF8-7D1F-47C6-97B0-231BDD3B938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92229fa51badf6439310ef0010581f48ff22dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4791273,"id":"Q4791273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$47A770FE-EB5A-471D-A164-F6CD5B7CF97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$215635BC-4388-40D6-887D-D2D2B6353D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"332e157eb7283fa0c1e5f812f8647f043f9662d9","datavalue":{"value":{"entity-type":"item","numeric-id":4250674,"id":"Q4250674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749255$C0482E95-9738-4120-A1B9-5FF98E423181","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"543d4e9559be377c335bc8a9b066a6183a5189e1","datavalue":{"value":"10.1016/J.CL.2010.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749255$423C5179-5692-498B-9F10-304E8E80CB4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ace1ace19966384ba432ceea8a0a195703dd703","datavalue":{"value":{"entity-type":"item","numeric-id":2849849,"id":"Q2849849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc5be956bc44b986a5831bfe1f07d9ffca740990","datavalue":{"value":{"amount":"+0.7859600782394409","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":"Q1749255$1A976189-7131-4DBB-9E60-472801D0D15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f92f76b8f329632f2694b409a73898b0d7db31","datavalue":{"value":{"entity-type":"item","numeric-id":3619471,"id":"Q3619471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ec73e473b7f9bcee262a34b3ba0a61fcebb54c","datavalue":{"value":{"amount":"+0.7809962034225464","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":"Q1749255$4F229FF1-71D8-417D-809E-08D680B989DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f532de794b6112a5c7f36bcf8a9667724b6582","datavalue":{"value":{"entity-type":"item","numeric-id":2576587,"id":"Q2576587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f22f6ed9daebcc6d4c465fb5b704d4b63baf69","datavalue":{"value":{"amount":"+0.7581911087036133","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":"Q1749255$1A03D3ED-4F07-45F8-90A9-545B560057EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89aa0d3a9ae570c2692a928910c14aa6719b4d83","datavalue":{"value":{"entity-type":"item","numeric-id":4813196,"id":"Q4813196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a1774a167eeef171491b65a71d4b6994361f6b","datavalue":{"value":{"amount":"+0.7512654066085815","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":"Q1749255$729847A2-4C56-4A5C-BB1A-7DB3CDBA4762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ae9fce2955988ddc273804e9ea2185b420c865","datavalue":{"value":{"entity-type":"item","numeric-id":4250674,"id":"Q4250674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340f09f1d89d78ad24da946576c4efe2b72c5044","datavalue":{"value":{"amount":"+0.7437776923179626","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":"Q1749255$21E7054A-226B-463C-A444-158CFE2F981F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1749255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1749255"}}}}}