{"entities":{"Q4972166":{"pageid":7001745,"ns":120,"title":"Item:Q4972166","lastrevid":53600858,"modified":"2026-01-25T09:52:10Z","type":"item","id":"Q4972166","labels":{"en":{"language":"en","value":"Verification methods for the computationally complete symbolic attacker based on indistinguishability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135665"}},"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":"Q4972166$13C6D538-F376-4B0B-8ACA-B34A0C5DFB3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ecb17465278dd294849c42a531101e138d13620","datavalue":{"value":{"text":"Verification Methods for the Computationally Complete Symbolic Attacker Based on Indistinguishability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972166$36DB2542-515C-4DA9-BD43-C5CF455089AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"998765ec3830356e2faa96daa6e8f0b765c6247f","datavalue":{"value":"1433.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972166$BC7EFDEA-4F0A-4E7E-86B1-CFFCF961105F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"350f11be4869146291a1038b60d138cacdbf38bd","datavalue":{"value":"10.1145/3343508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972166$B8791528-1FE4-4A72-93FB-210A5C74D3EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7f916bfae67bf8d34ce0abc9251c6ce6f4ebda5","datavalue":{"value":{"entity-type":"item","numeric-id":2371317,"id":"Q2371317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972166$47210F44-81AB-4AD9-89B8-1AE74DEED7DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bde8219f318b09ef6e88199668950ab12ed68fd","datavalue":{"value":{"entity-type":"item","numeric-id":732002,"id":"Q732002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972166$9BC331F3-B5F2-4485-9877-2EC45C80A5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70d0a87dac193c3796b9298ff52842856ec1fe4b","datavalue":{"value":{"entity-type":"item","numeric-id":2278290,"id":"Q2278290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972166$35314C60-46AF-41D0-BAD1-D83EDE516699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972166$B627E69D-7410-4451-9522-7EB25FD9503D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972166$DFE47F7F-6FF2-4095-B888-6B5D35626283","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972166$DD4015E4-3F7C-47A1-9BF2-C8E55E4C750A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2335101d556243c88261e1fccd8d7026b2856a8a","datavalue":{"value":"68M25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972166$471014BE-19F5-4804-8E85-3D35B3F5BCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972166$D840B71D-74EF-44D4-B5F2-667DDAB0673F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c618eb26dbb2de0be44e7a1edb8cbad52a220a9a","datavalue":{"value":"7135665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972166$D9B8E288-D4AC-4F54-AFD8-8CDBB7B96FF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0143d2a1dc41fa935e59c3be31e1263c6255764","datavalue":{"value":"authentication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972166$ADDA1041-A93A-4D11-B83F-A5D39A47856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1162a17c23e3ffb24b5d732ea42418288035784","datavalue":{"value":"Dolev-Yao model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972166$D7495669-22B2-4740-9F6E-35B7694785FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6c192e1b2a22bdfbf62e3c2d8d122bf9770822","datavalue":{"value":"computational model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972166$40708EDF-CEB8-4A1C-B585-A46CB037A2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"390ab928e325dd474e9c0ec2502488771dab4883","datavalue":{"value":"computational soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972166$382B017F-45E1-4B77-AC5B-E399E1452881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972166$038FE798-DC5E-40E7-A048-5722C72819E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee024fe378571e5a694482dff8f89a761297e7d","datavalue":{"value":"secrecy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972166$485FB291-A5A2-47CC-97CB-A71B5EF82B30","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972166$EC79492E-F1AD-4E1D-BFF4-6F249074F793","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":"Q4972166$15EA7473-E86E-4B6A-A779-4A72A75CB276","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6527dbee740a38572ecd33acc0133dc751b6072","datavalue":{"value":"https://doi.org/10.1145/3343508","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972166$3446A52F-2110-4E85-9843-70B5B710E035","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"502712c360bf7b3d4f6a303b9520f39222c5be4c","datavalue":{"value":"W2979563688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972166$B87FDB1B-CEDF-4987-81F2-8AA0428E90DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d255429ec6d70e2019bc8e07d19f63f5c88a6b0","datavalue":{"value":"Q127155729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972166$8A00BD4B-7202-4907-B461-F6DC387E0EFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"279a94527b143628179cb466d51135db7fc6f35b","datavalue":{"value":{"entity-type":"item","numeric-id":2957527,"id":"Q2957527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deecef1e657b266931b3f4681f4a1162797ddb48","datavalue":{"value":{"amount":"+0.8648114800453186","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":"Q4972166$98662465-D9B9-4A8C-A3BC-B116637FDF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db4789cb71ac9897402ebad3f8711d594a5b0239","datavalue":{"value":{"entity-type":"item","numeric-id":2894322,"id":"Q2894322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685c97cac478210ddaa9f3879c0a1e58eb21d178","datavalue":{"value":{"amount":"+0.7834363579750061","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":"Q4972166$77070308-805F-4168-BDD7-448AE705D3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f01ff3a2e812400104ccbe76679ee6cfac164ff","datavalue":{"value":{"entity-type":"item","numeric-id":2894343,"id":"Q2894343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dbc1bc3a1875b621f013a9316e99531b6d3a3b9","datavalue":{"value":{"amount":"+0.7391930818557739","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":"Q4972166$A3839C51-E8F4-4874-A8E6-705135FD3C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c1737f87e01abd9618990953ec7a2271698275","datavalue":{"value":{"entity-type":"item","numeric-id":3304813,"id":"Q3304813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4402a7e124755ee4937bbb336915f5d7ab02b8","datavalue":{"value":{"amount":"+0.7382494211196899","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":"Q4972166$6B7489DB-4C4D-487E-A429-1D075B8D1D27","rank":"normal"},{"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":"768cc86319e4b1a6010b2edef40683a0b704cc26","datavalue":{"value":{"amount":"+0.7382420301437378","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":"Q4972166$9160CE07-458F-44FD-84ED-DF8C7E1273E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972166"}}}}}