{"entities":{"Q3586076":{"pageid":5615980,"ns":120,"title":"Item:Q3586076","lastrevid":51070850,"modified":"2026-01-16T12:19:12Z","type":"item","id":"Q3586076","labels":{"en":{"language":"en","value":"A DEXPTIME-complete Dolev-Yao theory with distributive encryption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779281"}},"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":"Q3586076$2458F0BE-5BA2-45E3-AF19-2F53D45EE331","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30dc285b20bed5780939a4fff0f992ce3ddde680","datavalue":{"value":{"text":"A dexptime-Complete Dolev-Yao Theory with Distributive Encryption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586076$54380B72-8124-4A64-B586-282620DA9C47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9dddd3b04830c09095bc1deeb31868f8039a9ad","datavalue":{"value":"1287.94050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586076$1C210505-9633-4AD7-AC3C-4582C78EAC14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03f7477a1d46f13d44034e5f548b5155134b1728","datavalue":{"value":"10.1007/978-3-642-15155-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586076$6E8B8E05-E44D-4EB7-838F-7110B0CDB1B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd8e99eb8d03f31b2844a0082c9e665284ef7272","datavalue":{"value":{"entity-type":"item","numeric-id":3586065,"id":"Q3586065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586076$66BEBA68-19B4-443B-BCE6-166B4E9C9805","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586076$5182CAC0-8422-4539-85F5-B5CBAEBC680C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586076$652449C5-43B1-4277-9D40-D004FEE44E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586076$66DAB460-4990-4F07-9BA4-A33B5FE42309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586076$D08FF80B-94CE-4FAB-B2CF-FAFA865C89C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ead905456dbd2364a37d7999a3ddaf9602cbf600","datavalue":{"value":"5779281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586076$E440BBA5-90AB-4D21-B083-C6E092120586","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":"Q3586076$D932750D-69FA-4DB6-828C-38CBBAF86E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"82042c44c4fdc9d130dde77353ea3317f0e76272","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15155-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586076$4FF82020-3AC1-4DA0-A167-FAB86E10DB5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1e76b486da89cd7d77f7b282fde77f494c5c4e7","datavalue":{"value":"W2156070309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586076$790A5A5E-77F0-4C39-A4B9-D41EAF4661B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7741ac0e4cf50bfa1004129f40686dabd239bd3d","datavalue":{"value":{"entity-type":"item","numeric-id":2177599,"id":"Q2177599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46acf0617d82c8e6d82301cf4c13c69d7d012f34","datavalue":{"value":{"amount":"+0.8803955912590027","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":"Q3586076$144CD3EC-006E-45F4-A72D-7E0C83C9A13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831fdf921549fb7e6c277ea080f02501b3028f24","datavalue":{"value":{"entity-type":"item","numeric-id":5862666,"id":"Q5862666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"040c41033c7c88d674deb8d72892c53f19bc769f","datavalue":{"value":{"amount":"+0.7491243481636047","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":"Q3586076$BE961CD3-A669-4EDA-8798-4F7EB7550924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfacdfa8f628a19b224ec865f50d82c401a4a71","datavalue":{"value":{"entity-type":"item","numeric-id":1045939,"id":"Q1045939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38f71527a0765d8b192dd4d486a1c8f227e0cf3","datavalue":{"value":{"amount":"+0.7126506567001343","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":"Q3586076$A4EEE888-75AF-4E32-B34C-C2EB8B9DBCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d64c92f11f77578f2f98e7c27c1b230965f6957","datavalue":{"value":{"entity-type":"item","numeric-id":3655194,"id":"Q3655194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1af1470f42cd16aa450d293b74b8f3f2e60acc1b","datavalue":{"value":{"amount":"+0.7110121250152588","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":"Q3586076$7409E712-382A-4C45-B742-05CEE3B52972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ae890250a17e52964c345d6c6c67a41cdef0e5","datavalue":{"value":{"entity-type":"item","numeric-id":5316563,"id":"Q5316563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5021f8fb65c289d0fdf8628502087e867d823c83","datavalue":{"value":{"amount":"+0.7104876637458801","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":"Q3586076$7020C451-01A0-4D88-8C7C-C471D410106C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586076"}}}}}