{"entities":{"Q2327201":{"pageid":2337944,"ns":120,"title":"Item:Q2327201","lastrevid":53562650,"modified":"2026-01-25T07:31:40Z","type":"item","id":"Q2327201","labels":{"en":{"language":"en","value":"An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7116584"}},"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":"Q2327201$6A2F6549-E03D-4D67-BEF7-34103FF2BD5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c510cc9ba3a7792116043bfe6364cb35643e68f5","datavalue":{"value":{"text":"An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2327201$9DDB001E-3183-49D0-A070-1062BB62D9F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf889b590f5546fbd24f46893c62d4a98ea82bf8","datavalue":{"value":"1461.94087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327201$A37BD25F-FA66-403B-9AEF-D1E7A0BE75CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52824e6d83a68bbdb774c6501b0e31b446466fb5","datavalue":{"value":"10.1007/978-3-030-16458-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327201$76F57554-1DB1-4806-82A5-5537BB1833BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ed7c8be7c10b14c7dc98eaedd97bb281dc7a7c9","datavalue":{"value":{"entity-type":"item","numeric-id":2327200,"id":"Q2327200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327201$E0F3C8A3-91EF-48AC-8D2F-F89BF4A66456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba14b81d1225481ac4cb32d5560c90f5b606949e","datavalue":{"value":{"entity-type":"item","numeric-id":407544,"id":"Q407544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327201$717FDAFA-1376-4D04-A160-8A2A026E396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"885600df7f84b3469ef4d6ff7f0c0f0b7f0f1625","datavalue":{"value":{"entity-type":"item","numeric-id":744077,"id":"Q744077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327201$4A64A6B1-2960-4A8F-B7BB-5DD8EBD099C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29583797441d21324f80fd397bb4d819a7ed2765","datavalue":{"value":{"entity-type":"item","numeric-id":744078,"id":"Q744078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2327201$0875ADCB-B933-450D-889F-4C644216EC4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac4edc9b7c1f9c7da7f9220a9c4be03d5c672171","datavalue":{"value":{"time":"+2019-10-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2327201$EC1FAE5D-2777-4E66-862E-EED4035AB557","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327201$60F14B4A-A929-4D8A-B460-DDAE5A3F4819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327201$F99772F1-D262-4E2D-8FB7-DE27B5F1FE00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"758f6e7dfe89c8bba8fa4a2dfbc60c8d0989db50","datavalue":{"value":"7116584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327201$98511F39-7F97-452F-88D8-C01635AE5D17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f93c6caef986b21f94fd941149b5d6249ceb752","datavalue":{"value":"cryptographic protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327201$F524B23C-B77C-4AD2-9B1D-4893F51526C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028101b32636fe46cd3108b9ef8aae3da1672093","datavalue":{"value":"formal analysis method with reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327201$6E487C34-A0EB-43A9-8826-EC206253825F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3805ccb3a081026192e6ab8a59423465f4f71a90","datavalue":{"value":"non-repudiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327201$28BE70CF-6A66-4588-BBDA-8F6E2E335FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2327201$D95E2987-EFB8-416C-8E31-6E3028A87972","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":"Q2327201$07680FA0-D78F-42BA-9D33-C989C1A9E728","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"506ee5232fb2118cc458cd199ac1572f4bc5399d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-16458-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2327201$6F2B9424-FF47-4BF0-A907-391DCDD4A93A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66aa5e2dcaa44323e8e137f4ab1c94f7ba1efc9f","datavalue":{"value":"W2938729172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2327201$A4FD4A79-C630-4CB7-B09A-8CC560B957D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b81dd5c7ad198a64fb52eeb77fffdcbb8cbae7e","datavalue":{"value":{"entity-type":"item","numeric-id":4817437,"id":"Q4817437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b668348a68df8b005951820e656ca678bc12713","datavalue":{"value":{"amount":"+0.7629680633544922","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":"Q2327201$E01F1481-0744-46DD-9BB2-3274CAA251CB","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":"55a03d93be0cfa2725d4668f796c9e123c1a3622","datavalue":{"value":{"amount":"+0.7602765560150146","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":"Q2327201$6D2A9612-B816-4C3E-8FEC-3E102610AB2F","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":"7e45513f09762bd468e53b84b48dff12fcdadd23","datavalue":{"value":{"amount":"+0.7418842315673828","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":"Q2327201$AD9D2E87-3BD8-422B-828A-E146E449B796","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":"7e45513f09762bd468e53b84b48dff12fcdadd23","datavalue":{"value":{"amount":"+0.7418842315673828","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":"Q2327201$A3CA6EC1-1CC7-4DFB-9DAF-7DF79AF100DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"811a53a40a1eccf74e04a9ae45ea14feebfab753","datavalue":{"value":{"entity-type":"item","numeric-id":5714530,"id":"Q5714530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaa5bb69da4338c0fe302167366c15e2174c1b25","datavalue":{"value":{"amount":"+0.7398664951324463","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":"Q2327201$7FD5D3D2-44C5-420C-B46C-8E71020399D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2327201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2327201"}}}}}