{"entities":{"Q860909":{"pageid":862757,"ns":120,"title":"Item:Q860909","lastrevid":64900266,"modified":"2026-04-11T22:58:38Z","type":"item","id":"Q860909","labels":{"en":{"language":"en","value":"A (restricted) quantifier elimination for security protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5083540"}},"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":"Q860909$CCD20053-D867-4230-BDB5-BA1AFD4F877C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9876926154e0dd9b8d43bb575a5a64ed20ad115","datavalue":{"value":{"text":"A (restricted) quantifier elimination for security protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q860909$44E13950-8125-45CC-9A93-15DFBE256F63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ee588894838de67e9af24381a02342afb8b0afe","datavalue":{"value":"1153.94008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$7DB1EE21-C9F9-4561-A277-781D53C62ECA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$099B7D1F-C298-438B-9B8D-2A8DBF9B94DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$B2F9F86A-0AE6-467C-857F-055324F470FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4d2d9af04f3704bbbb24f8b36a1ade40f432b8f","datavalue":{"value":{"time":"+2007-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q860909$D6202FCA-C852-42EE-B471-01C9F0588F02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$F55EE87E-8B54-4F45-AB7F-4906244C07E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$BE5C2373-F336-4D05-AE6E-D15BD1D7DCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$AD53DD1D-9C5F-4D62-8B75-C895BB0F4F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$9E994132-E9D6-45D0-A1CE-6847AA229BF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"799cb00fa48f67d42e17aa63ac3849a05c72f9d2","datavalue":{"value":"5083540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$118DAAF1-4292-4F7A-B6CE-13228DF6A3CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q860909$6B9071D3-7F3D-4111-8AC8-1F7BC318805C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q860909$461547C3-8580-4218-B19C-A61FFFB2E0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q860909$9435A8FE-3333-4DF6-B248-DEF9AB96C386","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":"Q860909$108CBFC3-64E1-43D5-B738-6151E2275767","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4fc0f27cf4ee02d8daaa19a267745056754ee32","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q860909$93AE1FD8-3F5A-4718-8A0E-0A4335CFEBC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2d2be8874757d89e902d03f8aa48f8952b9284d","datavalue":{"value":"W2126994166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$13500776-1EE0-4E39-825D-DBB0502E4C22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c4d17748bbed70f5c6a03bf7d56ab622af0e15bf","datavalue":{"value":"Q115036551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$71CFBE49-6EEF-4D08-93DC-883F5E20CD1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf2a23aa56b118b2f5d676ad1ae37c62de8f59a","datavalue":{"value":{"entity-type":"item","numeric-id":1330456,"id":"Q1330456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$461DBA5C-65F8-49F6-81D7-9D05EC355B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33142aff432f46099a4c312e6f6950d01903fba9","datavalue":{"value":{"entity-type":"item","numeric-id":5255820,"id":"Q5255820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$5F5DBBD3-C81F-41D1-B74F-BBA951540649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3fab1f6fdfc142a32377fdf253a300d0ee3ee0","datavalue":{"value":{"entity-type":"item","numeric-id":1853749,"id":"Q1853749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$511A712C-93FA-4403-9D0E-5F90301FB5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$7BA9DB4C-B13B-4288-8099-915B433550D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6f3ddd888aefd98d9d79fb361a71cfdf283d39","datavalue":{"value":{"entity-type":"item","numeric-id":4417856,"id":"Q4417856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$9F45AEA4-44D0-49F1-907E-9F2B2EF6B6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77696262e5816d9945dabe2bd0861b2cc6ca6db5","datavalue":{"value":{"entity-type":"item","numeric-id":276488,"id":"Q276488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$9A76A0B4-29DC-496E-AFF2-49256D0BD9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$8C2EC009-EE00-4753-AC1C-64B13D73B6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$2522D1FB-F058-4656-A8D7-614E4A76844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$1AA973F6-5DB6-4E24-85A4-0BCAF62F8C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73a8dd6d07dd6ae960ffc56968d5ac03d5dce852","datavalue":{"value":{"entity-type":"item","numeric-id":1603655,"id":"Q1603655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$EFEA3D5A-873E-4181-BCC8-DAFE6A049D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fefd3695fc6c127353eeeaf9bb631916756e929","datavalue":{"value":{"entity-type":"item","numeric-id":4168037,"id":"Q4168037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$96EEB9C2-BB8C-4EDC-98FB-F2C12D174E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b673bbc3f5418c0aa993600aa0db97882717ad","datavalue":{"value":{"entity-type":"item","numeric-id":5191532,"id":"Q5191532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$43B7D050-5ADC-4820-9371-00BE6F73C8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591229408621e53594cd847fa9c5d8818bed4c90","datavalue":{"value":{"entity-type":"item","numeric-id":2841219,"id":"Q2841219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$62CC5562-99B6-4DEB-9656-021E5EFFBF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q860909$5344B1CF-8958-4824-BC18-9FB3F0094389","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4ef8752903aec59de0cfb8fdc4ca959f9de710c","datavalue":{"value":"10.1016/J.TCS.2006.08.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q860909$1F0FDF51-0E55-4A72-8B34-B06D6D8BC6C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83584459d55b152bc79ffd6b95eda2bfd2e79109","datavalue":{"value":{"entity-type":"item","numeric-id":476179,"id":"Q476179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6a52cdc46f5cf07e3ccfdbfd78cd3a46d0bf75","datavalue":{"value":{"amount":"+0.7781621217727661","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":"Q860909$03211C49-C502-4555-B459-797642466932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1b828caac0689d0478446433b37971d9bb84c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4979449,"id":"Q4979449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20ebc6ac28ef994edf104a88878c3edf65c7baaa","datavalue":{"value":{"amount":"+0.7735279202461243","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":"Q860909$5514DA90-1678-4CC7-86C9-43E85FB6269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5211db9dd28e851dbec80f2ff085af8d5de81b9","datavalue":{"value":{"entity-type":"item","numeric-id":5486065,"id":"Q5486065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a602357a54e6ec445e9179536c445712a33cc27","datavalue":{"value":{"amount":"+0.7704695463180542","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":"Q860909$8CD170AB-47D6-4CF4-90E8-981C1C7E8B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"583213b8d56822638fe810505f850e244dec2d78","datavalue":{"value":{"entity-type":"item","numeric-id":5505548,"id":"Q5505548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e708d086b55accc0f0fdb4de7299d14bb123e770","datavalue":{"value":{"amount":"+0.7676025032997131","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":"Q860909$65FDB25F-1CA5-4602-B871-21EF0C857816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705be0c32e30022569ae6c0ce3206f4eeb5fda58","datavalue":{"value":{"entity-type":"item","numeric-id":3631368,"id":"Q3631368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d37c7fd7eed7ceb5bb9b7502873bd02eb387403","datavalue":{"value":{"amount":"+0.7638298273086548","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":"Q860909$2C70ACFE-BBD5-4A0E-9897-41F7A841A302","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A (restricted) quantifier elimination for security protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_(restricted)_quantifier_elimination_for_security_protocols"}}}}}