{"entities":{"Q2894322":{"pageid":2905047,"ns":120,"title":"Item:Q2894322","lastrevid":79533164,"modified":"2026-05-06T14:08:12Z","type":"item","id":"Q2894322","labels":{"en":{"language":"en","value":"Towards unconditional soundness: computationally complete symbolic attacker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051141"}},"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":"Q2894322$77F70626-149C-4D74-8742-F8D087F950DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af57bdcaf8669b23a518238b096cc6bdac0955eb","datavalue":{"value":{"text":"Towards Unconditional Soundness: Computationally Complete Symbolic Attacker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894322$FBD4A7F3-77C3-4256-A6F4-B0DCD6721CCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0bdc70747ecc2bf61d31f494488682b7874b708","datavalue":{"value":"1353.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894322$F5D470EF-3A32-4C78-A93A-6DDD933BB1E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32c235cca9224e3bdeb9c9ead0f51c14cd84ff2d","datavalue":{"value":"10.1007/978-3-642-28641-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894322$366E4B82-7A2E-43AD-98F2-1EEE1A64B83C","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":"Q2894322$3EBC5781-C83D-496B-93DA-34B741283DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f520d915db58b1deff0a192b1bdf4c695119eda3","datavalue":{"value":{"entity-type":"item","numeric-id":462487,"id":"Q462487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894322$F8A9C2BB-800A-43CF-BFCC-2E11CE19D9FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894322$095D1182-4965-4D40-939A-B1816043FCED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894322$63A2E123-6D77-4F47-A54A-162D81C93A71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894322$66F8F30E-ACD9-4B73-B0D4-C3B1E64B2762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894322$0C49206D-5C94-46DE-9B90-131ADDB97F28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0506cad572744e9e6ef625394e7a8e7e8e8f9d6b","datavalue":{"value":"6051141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894322$06ADBBC5-84AA-47B3-900D-DC249B3E1F21","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":"Q2894322$39D88BC4-B0A9-46D3-836B-8F4235FC13AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3db57f24d1637e2395231c0da748e43ceef0a6f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28641-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894322$B1E2B4D4-A37E-41F8-A39F-EF3A92F7D69E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"813d2a6e978adc25df76dae453bb9e7e0f91ea5e","datavalue":{"value":"W188034648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894322$CDD5FA8A-7EAF-4600-9F88-423141B7290A","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":"e19d63047d26b664a1eb7ffa4ab4e4a70b5f9140","datavalue":{"value":{"amount":"+0.8117594718933105","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":"Q2894322$41400C06-CBEB-46D6-91C5-3A33B4870B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09886e57337241ee208b392f033f5ea5ee8ada55","datavalue":{"value":{"entity-type":"item","numeric-id":2866733,"id":"Q2866733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f98c9712d167aab6e146e537ae2d367f594ca53","datavalue":{"value":{"amount":"+0.7988258004188538","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":"Q2894322$B2B31CA4-B922-43A7-A718-0F9552C70807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a07ca6575453c9913fbca18d2af843825bb29a","datavalue":{"value":{"entity-type":"item","numeric-id":2894320,"id":"Q2894320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8b428b98afbf4949aa0f042af083226ac0da03","datavalue":{"value":{"amount":"+0.7981680631637573","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":"Q2894322$025FBB68-8AE8-4E52-AC40-F761DB30FEDB","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":"cfbcde3a7ac9ee933c25e0b5c94de71cb8c92153","datavalue":{"value":{"amount":"+0.791377604007721","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":"Q2894322$93E883C8-7CF7-43DC-BB6C-52DDECE7459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6245ed8dd37fd94af4a3591c703437ec4f19a35","datavalue":{"value":{"entity-type":"item","numeric-id":4972166,"id":"Q4972166"},"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":"Q2894322$787A5354-DE05-4E56-B3D9-07E9C8D33607","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards unconditional soundness: computationally complete symbolic attacker","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_unconditional_soundness:_computationally_complete_symbolic_attacker"}}}}}