{"entities":{"Q6039399":{"pageid":13121145,"ns":120,"title":"Item:Q6039399","lastrevid":56787045,"modified":"2026-03-23T14:41:54Z","type":"item","id":"Q6039399","labels":{"en":{"language":"en","value":"Lazy self-composition for security verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7682376"}},"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":"Q6039399$C79352E7-2D40-4802-B1EB-F706B8E2B32A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f0a65edbd632eee157e07ab0a0e2727f9f45346","datavalue":{"value":{"text":"Lazy self-composition for security verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6039399$E127EB52-0601-4434-A80C-1D24E67DD932","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ba79a301d986bdec2789bfd43b37a5cda11c603","datavalue":{"value":"1511.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039399$EF1A2523-CE16-4E13-AB6F-FA373021C3AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"771085948164c5f21e6fb928142065c1c57d1188","datavalue":{"value":"10.1007/978-3-319-96142-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039399$BC193A47-4585-447D-867D-32EA5B8B6250","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f68edaf28269172f501c74f492225a7ac8e138","datavalue":{"value":{"entity-type":"item","numeric-id":784129,"id":"Q784129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039399$0EBACA36-4E1C-420D-AAC8-1692B9FE16D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eeffd0a4d2cc9b1c30d6e712f911dea7b84f95","datavalue":{"value":{"entity-type":"item","numeric-id":746770,"id":"Q746770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039399$B2D065DB-C13C-45A4-9D9C-A763270749A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea4fe0ba691ef72c92972602575ce4d0c3dcf9b2","datavalue":{"value":{"entity-type":"item","numeric-id":2225098,"id":"Q2225098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039399$C6054AD5-8F3C-46BC-A36E-1170162FD6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"267769ee025773c3257f441a0558f5f2a60f51b9","datavalue":{"value":{"entity-type":"item","numeric-id":432145,"id":"Q432145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039399$BA83807E-C5A6-4695-B371-2DC01CCFE598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad84ce20d471d4eb62ee7ab9f8f8819cbe6311af","datavalue":{"value":{"entity-type":"item","numeric-id":265699,"id":"Q265699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039399$B2503017-7C44-421E-BA14-DB9DAC55FF61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039399$ED7CBC1D-C88F-4296-87B4-24FC3E05AF58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a9ffdd3d0278110160d03bdc1ac988576aaeda7","datavalue":{"value":{"time":"+2023-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6039399$BE1FA9A1-77E9-4EDE-932E-1EB2B8416E48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039399$75DE1FEB-20B2-423F-ABEB-82D79794AF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039399$26011A8C-C45C-4EBB-A476-ADD4492AC702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039399$C5D9F4DC-12D1-4AAB-AA86-874DF032406F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"705363522045f9b0fadf7c20d5a026853d7a73d6","datavalue":{"value":"7682376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6039399$59630677-0CC5-40FF-8395-182AF07B50C5","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":"Q6039399$97F6FBAC-D9D0-4B06-81A8-959CBF5FADD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2affcd6ae87a9dfffb64de74d7e512f6c66dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3103613,"id":"Q3103613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaa6985dd247b6cc6ad5988490d9c27a4226ba1d","datavalue":{"value":{"amount":"+0.8139134049415588","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":"Q6039399$62E059F6-55CA-4987-B9B6-A95124080244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba47d76f90b3ef560107f343f2413947c6f846e","datavalue":{"value":{"entity-type":"item","numeric-id":5897442,"id":"Q5897442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47458e289807561802a953f3960e1536007096cd","datavalue":{"value":{"amount":"+0.7859193682670593","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":"Q6039399$78183CF2-E75B-4AD8-826D-FFA3676318E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b760aca529335f6609650d1e3a3251235bf368f","datavalue":{"value":{"entity-type":"item","numeric-id":5398107,"id":"Q5398107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3af3fb1e8d3dfe759812714a00ae658195f9af","datavalue":{"value":{"amount":"+0.7858166694641113","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":"Q6039399$3AE8A4A5-6470-4FD6-80C1-2BCE0B9AE0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207cef1f9debe8bf2839f9ab723c6bd67fe1a2d2","datavalue":{"value":{"entity-type":"item","numeric-id":1566911,"id":"Q1566911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001baea8e3f966d586054e8c5ce677d2bf967c0c","datavalue":{"value":{"amount":"+0.7224112749099731","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":"Q6039399$8E0227AC-F106-4726-ABC8-8DB421C91968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae221738d9f7a083e95e0dbb87528a2b1d1816d","datavalue":{"value":{"entity-type":"item","numeric-id":832225,"id":"Q832225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5917ee5136886a5da3532520980262bad8e8ded","datavalue":{"value":{"amount":"+0.7160927653312683","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":"Q6039399$918BC046-67DF-4EEA-BB03-0372739B6E1D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6039399$2E2C2229-2A64-4025-9A6B-7FA733A495D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6039399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6039399"}}}}}