{"entities":{"Q2946688":{"pageid":2957408,"ns":120,"title":"Item:Q2946688","lastrevid":52347380,"modified":"2026-01-22T10:12:12Z","type":"item","id":"Q2946688","labels":{"en":{"language":"en","value":"YAPA: a generic tool for computing intruder knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483192"}},"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":"Q2946688$D3F81C3A-AC5B-4F3D-B5BD-2C775FCD1E53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53d1e56cfb0efa897a2d8af90c8039a90e8bb29f","datavalue":{"value":{"text":"YAPA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946688$DB926CE5-189F-44B1-94AD-3937C9FD22F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8710b4801e75008858de47eba3fdbacf7d65b5c2","datavalue":{"value":"1353.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$A7D62DC1-1C5D-405F-A106-D6A6DF0A3D05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae932358b4c53d9aacac89ed5a9cb1eea63b88ef","datavalue":{"value":"10.1145/2422085.2422089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$72142161-8E9E-47B5-A864-6993742C3216","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50829d13cd47134564c0f8ccb114dbb3a0da9af5","datavalue":{"value":{"entity-type":"item","numeric-id":656527,"id":"Q656527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946688$40264A26-45E9-4C0C-912D-0CA8F11E73AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d70519ef78cb58e04ec872af558109333716e152","datavalue":{"value":{"entity-type":"item","numeric-id":391119,"id":"Q391119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946688$BD5BD2F7-0E1A-4755-8737-89F7941C77E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946688$853AA41E-F5BE-49A4-91E8-5F50CF88BB82","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":"Q2946688$687BF3BB-B028-467A-9F10-D7222F03CA6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946688$CCD698AE-1CE1-449E-864A-01C7851A1974","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$AFEACA46-BB40-41F6-9199-C6DE84F43E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$61A77EF2-466B-40FF-9279-4F699DCD1EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$A70908C2-9F99-4C1E-A472-C4F268315843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$E219F827-981F-4233-8D51-306524A9677F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$6847FDDD-CE93-4EF4-B4D1-961D19B7E021","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad7629a8727f3a5a6790c3bef81daa07c4c4a268","datavalue":{"value":"6483192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$D9CD33A3-F636-44DD-9DCE-92389D422231","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946688$34B19917-B02F-4D20-BE2C-8EF913702A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946688$E2094306-E96A-4A03-A329-A3EB6712C001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946688$30F304CD-864F-433C-95D2-81526BC40852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9afb9f37755748b127a63f4dbdb174f5fd783a7","datavalue":{"value":"static equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946688$65ADD3AC-A2FD-447E-BE60-57777B386839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946688$20BB176B-9D9B-4749-93BC-945A427510D0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946688$7C0A2272-8381-4CA6-8129-4DFFD5C2949E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"973cd15e22c791df17eaceaf230998dc9777a5b0","datavalue":{"value":{"entity-type":"item","numeric-id":18650,"id":"Q18650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946688$8974B55D-1C51-4E97-8569-8A02ACEBC092","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":"Q2946688$240BFDBF-2103-4575-BC64-4D1976D13259","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5219b8c4b33108212ec0548a19bcc718b8820fac","datavalue":{"value":"https://doi.org/10.1145/2422085.2422089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946688$F906C0E1-BEA3-4E94-A5C5-F264CB798862","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1214ac24e3c15ff42811eb4f76f636c01e16dbc5","datavalue":{"value":"W1991537775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946688$B286E715-4225-477D-9C95-1299213AD1D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362ee8011afc13b41be0ff7056ea944253efcb87","datavalue":{"value":{"entity-type":"item","numeric-id":3636824,"id":"Q3636824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac6e24c2785d0fe5d24736e7244405f9b4be9e9d","datavalue":{"value":{"amount":"+0.9990103244781494","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":"Q2946688$B40D271E-3A8B-46CE-9650-B7414BD39364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1319aef5878f3f60e1fd68a58bad449acf6493e","datavalue":{"value":{"entity-type":"item","numeric-id":437033,"id":"Q437033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f27650d7854bdafa85da215643d5e5d6fa8798f1","datavalue":{"value":{"amount":"+0.8182759284973145","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":"Q2946688$1045576D-F86B-4C9F-A29B-01896BEBDF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e21e7af7804b7fb462f9ecd0c0c55ddd08c303","datavalue":{"value":{"entity-type":"item","numeric-id":5191113,"id":"Q5191113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087736ecf528fc3f7b05809020861b750b0ec46f","datavalue":{"value":{"amount":"+0.8049237132072449","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":"Q2946688$1386A3F8-A584-4001-B003-5B6F4FA9F7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa782b0f5958fb11c8487e88a81ca0fcc268f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":5466517,"id":"Q5466517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad922b2f8f1ac33d35f55723e0f7f7e53e385efe","datavalue":{"value":{"amount":"+0.7901501059532166","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":"Q2946688$C88A53C5-E763-4A18-AD35-D36C49258619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c4fc30b828f2ab4124f571d62e66202adca34a5","datavalue":{"value":{"entity-type":"item","numeric-id":5139279,"id":"Q5139279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0086a80cb024bfc879ac25e0cb944d6bd4671c","datavalue":{"value":{"amount":"+0.7862586975097656","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":"Q2946688$08DA6891-B492-4530-981C-1EB88B7CABE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946688","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946688"}}}}}