{"entities":{"Q6041667":{"pageid":13175823,"ns":120,"title":"Item:Q6041667","lastrevid":55449202,"modified":"2026-02-17T16:38:16Z","type":"item","id":"Q6041667","labels":{"en":{"language":"en","value":"When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7685353"}},"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":"Q6041667$9359BF1F-D04D-4A3B-98C6-DED96F44D815","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e60501935d1931ba40b250d63095aadc038bad3b","datavalue":{"value":{"text":"When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6041667$A243296E-0E4F-4399-8A85-CB8366E0A931","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4eaa863d309e75bef02a122fe31ed8bba1d86cb","datavalue":{"value":{"entity-type":"item","numeric-id":739625,"id":"Q739625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$5CEBD964-8F6C-4BFC-A53D-65030B725F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e3e70fbcd4deaefc27ec372729ecd741b9ab8da","datavalue":{"value":{"entity-type":"item","numeric-id":395656,"id":"Q395656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$5D8EA192-4C68-47B1-8C99-37A7A9942C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e399bff5f65ac7520a7890531955e200fd9d0e95","datavalue":{"value":{"entity-type":"item","numeric-id":2119977,"id":"Q2119977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$3FF44995-6371-4ACA-B55A-558AD6223297","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":"Q6041667$D407B557-A00E-4A37-8013-C8DF0FB370EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29fe7add17ab393ac4a09c98702c4094e1c901c7","datavalue":{"value":{"time":"+2023-05-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6041667$55FC787F-35FA-43CA-9A68-6F41D26CDCAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041667$ADE5BDD2-645D-4B03-9EE3-AF5DDA019E35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c234dd41d5ca45aeb4bf198c7c7e9551ccf72741","datavalue":{"value":"7685353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041667$6CBFAD13-6E5C-48B8-B91E-EE0CDC2DD7DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73436b7be8c1aae13134149ba65d0f227af02386","datavalue":{"value":"cryptographic calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041667$20AD125A-AF88-4058-9896-4BABC0D60957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041667$31B64296-96DC-4258-B554-096AF91F22A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041667$FAE99779-DBDB-4BD4-8FF9-E291CEE80F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"366f0e17541ecf767d8284466aa93f9dd38e651c","datavalue":{"value":"privacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041667$3B940382-B85C-4BF8-A383-8114D410CFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041667$A594DE2D-CA92-43CC-B2C2-19DBE26CDAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6041667$783F7ABB-3158-43A9-AA50-6D2EDEE5A234","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":"Q6041667$CA515293-8598-44B3-945A-755779AB8D18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf14c5f8163553f8a19aef3d9a361bbf1ab7451","datavalue":{"value":{"entity-type":"item","numeric-id":4993330,"id":"Q4993330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$912BA1E2-F696-4C9B-AC9A-CF9A19A6BF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26517e98a021e9b36cc4a7f10c7890058cb796d","datavalue":{"value":{"entity-type":"item","numeric-id":5009710,"id":"Q5009710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$A988B15E-FEC1-4696-94E6-644514A6114D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f619adea6db0ab75b9bc69654a89af3583c163f","datavalue":{"value":{"entity-type":"item","numeric-id":5316564,"id":"Q5316564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$F8007581-CC47-46F8-BA41-6728BCEA519B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$67C234C2-5713-464D-9013-53BBD2671B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44acb8889c19255991fa67e5cb6664da062b8d17","datavalue":{"value":{"entity-type":"item","numeric-id":685408,"id":"Q685408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$9C0AE1EA-C62D-4CF7-9012-3E633C3A6267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282f9cc7e49bbe23209bfdf62f3a2fd80d53357a","datavalue":{"value":{"entity-type":"item","numeric-id":5145273,"id":"Q5145273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$4326480E-71EF-4501-A4B2-35A36426BDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f8687a1055c944c15ff129c6227de2f16e034b","datavalue":{"value":{"entity-type":"item","numeric-id":5155663,"id":"Q5155663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$81891C3B-22FD-4437-B6D2-55C996A24EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95c4c3bb0fbc3488059f3b7db3f4c74977b704b","datavalue":{"value":{"entity-type":"item","numeric-id":5856409,"id":"Q5856409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$CDA36450-AFF9-47FC-9114-BC5B6F7CD94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$929EC378-6843-47B8-9D2B-6F49AC2CF914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb700a804f495f74faa9557fbe427450b58c650d","datavalue":{"value":{"entity-type":"item","numeric-id":1878715,"id":"Q1878715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$A176A959-F064-4414-9C31-828C818D42E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$D804CAE7-06FB-4D0C-98AD-49D318D22778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe345c7c5946b7f066ac0bd9178ff5b80fa23956","datavalue":{"value":{"entity-type":"item","numeric-id":5470704,"id":"Q5470704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$178FC25C-775B-4706-948F-7933C6212AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bc5f7eae7905acb1d84f6c96e6457aafc1474f","datavalue":{"value":{"entity-type":"item","numeric-id":5501929,"id":"Q5501929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$36E40D5D-3FDC-4351-8F1E-8A31E9A79E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8862b43cfd7dda3400a88a9cff2ab2712adae3","datavalue":{"value":{"entity-type":"item","numeric-id":1400292,"id":"Q1400292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$E97842B6-FB73-4DCC-903B-496BD2D5E3C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f24efce6992803e4942eeccc04599e8963e887c","datavalue":{"value":{"entity-type":"item","numeric-id":2784489,"id":"Q2784489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$DA70FFFC-F57D-416F-80A0-F327B8A2DEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6cb53d0f68d414b0f9ac6746602d1f729a2aae","datavalue":{"value":{"entity-type":"item","numeric-id":3177888,"id":"Q3177888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$A55DC911-DCF1-4466-92EC-FDA3C071F71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$25CD73F6-BDD2-4E77-87E9-7DCF770A7847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$44578717-77D3-4EB4-AA16-CA9AE667B30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$8869EAA7-D503-4DFF-BB9F-CA980451E450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4f0ed512e1dc1e703f4a71fb46ebd0d201d594","datavalue":{"value":{"entity-type":"item","numeric-id":2119978,"id":"Q2119978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$FCA26C95-A1BF-4968-A6C2-8A9BCAC153CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$ADF8055E-3293-4A9D-AB9D-BB0717AD2457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$A4D98985-BDFD-4B2D-9383-FF615506B71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737414dce6c255e1c801bd9ffb1616ecb5d1d9fa","datavalue":{"value":{"entity-type":"item","numeric-id":860894,"id":"Q860894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$F10825F6-82A0-4FB4-9C19-1213CBE555E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee2ba4d2b975b0ac4f96b49543cef87378c7d61","datavalue":{"value":{"entity-type":"item","numeric-id":462488,"id":"Q462488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$CD86B8FE-FABC-4E6D-B81B-9C42DA198392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"014e050330c6f78cc2afa54fb59f4581869a1a12","datavalue":{"value":{"entity-type":"item","numeric-id":683746,"id":"Q683746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$AD5E230C-46CA-47ED-98BC-5293146173E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$79CED1A9-23F3-4D98-9FC3-04EA146CF7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$B8566262-2BCC-4C02-8287-9DEFB8993BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9705db1b93ae6eea292426dab3d4e0dc211e4e0f","datavalue":{"value":{"entity-type":"item","numeric-id":5212862,"id":"Q5212862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$80E5CE7D-A633-4096-BB8C-985FD1FA2EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba27ba98c7c431125f81ca3dc365c703443ec4d2","datavalue":{"value":{"entity-type":"item","numeric-id":4791841,"id":"Q4791841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$D508F818-B0F3-46DA-855E-CA9A1E674618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508da4b446b1323ff8f8631bf6f8d3e648404b09","datavalue":{"value":{"entity-type":"item","numeric-id":4249316,"id":"Q4249316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$E3F8329C-79AE-4304-ACDE-2AA014A2A075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ef94cd854f261a03421632ce7dd586f76d29c7","datavalue":{"value":{"entity-type":"item","numeric-id":2474047,"id":"Q2474047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$435E0474-DF4B-4054-9FD8-E8EC23049696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8d4b01899bf050d26bf94999ee7c3edfe020b2","datavalue":{"value":{"entity-type":"item","numeric-id":5278194,"id":"Q5278194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$84549349-D070-484D-849F-F2CDAB8082DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7e2d1ce7fec977024187a8c0f349535bc26e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3179281,"id":"Q3179281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$0F734F33-0C48-4ABC-A1BE-C95E56FA240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ef8bd5491561954e053fb17a1031115fe3ad2f","datavalue":{"value":{"entity-type":"item","numeric-id":5195258,"id":"Q5195258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$66E0BFCF-3E92-4725-8C4F-86C91E054F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$24A57A01-2B84-403F-BE79-11621642F564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d8e7ec345413e104735faa57122d0400eae37de","datavalue":{"value":{"entity-type":"item","numeric-id":4785506,"id":"Q4785506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$8B47D0D4-03E8-48CB-B821-661DE6624C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10514d04294539f6b18e653ffed15729ce3e519b","datavalue":{"value":{"entity-type":"item","numeric-id":5678447,"id":"Q5678447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$04282A0C-7EBE-4EE1-BD4E-B4EF8EC5EA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1669261077901413d76dc0f7072dfdae93141a3b","datavalue":{"value":{"entity-type":"item","numeric-id":3912070,"id":"Q3912070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$6E095C1B-B646-430E-8635-1C7CE84777F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271f4a7c2003a89ce24a1f14fd1296133af596ac","datavalue":{"value":{"entity-type":"item","numeric-id":1099648,"id":"Q1099648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$5A2F6DA2-3D4D-40AB-ACD0-03E66619024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f9a25692012865a764e7bfe7f3b2decb8d9ed7","datavalue":{"value":{"entity-type":"item","numeric-id":5155676,"id":"Q5155676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$EDEABEB5-3FA8-407D-8558-AD54FBD65CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71acda7b46934b077afa9f3dbb4b93fbb81bad3d","datavalue":{"value":{"entity-type":"item","numeric-id":2672663,"id":"Q2672663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$C900ABDC-351C-4E89-82B4-A376F15C1C17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf75943b569b7f078dfee078583ce1ffedb62a","datavalue":{"value":{"entity-type":"item","numeric-id":4989406,"id":"Q4989406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$D61A06D7-7AC8-4631-9D77-2BD8445C5731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4934323541529a8bf8c7917d3f7d9f1376a46a","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$630E6AF5-D7C4-489C-BD9E-5F3C0022AC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f58d5c73ed8c98a5d96ed9719ad859484ddad530","datavalue":{"value":{"entity-type":"item","numeric-id":2465030,"id":"Q2465030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$B3C02932-C5E7-46E6-8826-A690CAAA2571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c48845d1510f5f2ff8effd0c1e717b436521df","datavalue":{"value":{"entity-type":"item","numeric-id":3498447,"id":"Q3498447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$C9E66EA8-8471-47CB-9D26-3D7A45F64C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe7e5d68d8d8b370a347a03cd4c6fe9df96b9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3671884,"id":"Q3671884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$134D6A34-E89B-4584-B956-50221D41462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d409ebe05ff35dd1b5688a67589a2014bb91461e","datavalue":{"value":{"entity-type":"item","numeric-id":1901699,"id":"Q1901699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$CA5E1C7B-41EC-45D9-B86B-103F807CDE01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f93452b91edda8da8109ddb6ad4a31477422917","datavalue":{"value":{"entity-type":"item","numeric-id":1881255,"id":"Q1881255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$14C551E5-1A00-4F3E-A8E4-70880011C5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed24d3df5f1d7bdcc5d068cddae10f21b3a52b9","datavalue":{"value":{"entity-type":"item","numeric-id":2013557,"id":"Q2013557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$613757A9-C00A-43FA-AB6E-4C3885287CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e75c7b02cf45a3853cd69ad4da85872bb7f47c2","datavalue":{"value":{"entity-type":"item","numeric-id":5111619,"id":"Q5111619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$CD949903-2072-4690-8B0A-266D4C4429F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$08F2B78E-A4E7-4E6B-BB9E-1028A6513A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$F1FC3F85-E6E1-4DB6-9DFC-D8F8967CB9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd7a451b47e8f1a3592e5ad136aaeb22af8ce40","datavalue":{"value":{"entity-type":"item","numeric-id":5958468,"id":"Q5958468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$4258CFD7-87AF-46A0-9E44-CE74951370B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b398c8fc2e0ef4944e710680b93f025bda90ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2079681,"id":"Q2079681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$B5AAD866-9D50-4E8E-96FD-312DDE25062D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a024d6fe2e8f5dc23a3aac7897d4d61e4e233f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4018066,"id":"Q4018066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$C3E57BF2-4026-4440-AB13-A97C8328AEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a52cca5ac0709c5b605ee969be9c786a433fce0e","datavalue":{"value":{"entity-type":"item","numeric-id":2946747,"id":"Q2946747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$F28C871A-2E6E-41EA-AA3E-516BEFF4AC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba736d12b0ddb1288a9f5a0bdddcdbdfa89750d4","datavalue":{"value":{"entity-type":"item","numeric-id":5925821,"id":"Q5925821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$7F7E90DA-BC12-4CBA-BE5E-62EBD57D3A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd7f535b99990e97c48b21b4f729647c06639dd","datavalue":{"value":{"entity-type":"item","numeric-id":4230922,"id":"Q4230922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$C2A55B00-424E-4132-9824-4F5281D4BCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19e9f3619ca3d6b2ce6e8820f8ce4979ea0cf459","datavalue":{"value":{"entity-type":"item","numeric-id":5462665,"id":"Q5462665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$94731FAD-E877-4A58-944A-38D7D3C9CEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$95139851-3D7D-4FEF-91D4-11F93392BE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71c2c795607e4acd6fb8d4d0544ab3820b187a9","datavalue":{"value":{"entity-type":"item","numeric-id":5170184,"id":"Q5170184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$87A04831-A3BC-481A-9C5C-D50B179D3B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74c15a0761d1565d615ac63fc3e9c70529deb6e","datavalue":{"value":{"entity-type":"item","numeric-id":1758155,"id":"Q1758155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$752CB4E2-DA04-46F5-9495-7D7EC340F067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebf5655b6ae25a92a774d3bc54a4702742022323","datavalue":{"value":{"entity-type":"item","numeric-id":444457,"id":"Q444457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$3D4B960A-8853-41B7-A3A9-CF30A5425E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de25303ed0884d9845a31473529d650f74e6157","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$2EAA78A8-B6BC-41F7-ABE2-DF2EF9C9EFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641f4fb2d346c7016a2fd82913c47dc5773ff891","datavalue":{"value":{"entity-type":"item","numeric-id":5101352,"id":"Q5101352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6041667$3B98AEC1-F697-425D-B12D-BCC4AD9E883F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4913b5a4614faabe2c22a37a687a89dacbc4f382","datavalue":{"value":"10.1016/J.TCS.2023.113842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6041667$1302D76A-B174-4972-B04D-9EEAE8CCAA37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51424281b9812533847d9811813d74c32707a82b","datavalue":{"value":{"entity-type":"item","numeric-id":5458829,"id":"Q5458829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd052bd216389a76ddb0db313267ce28cb545c56","datavalue":{"value":{"amount":"+0.7798966765403748","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":"Q6041667$51F5FBC9-8D06-40E9-881A-D2A23835EB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1901a23da8c4eb01d6992bcd6e29e6403e40ad","datavalue":{"value":{"entity-type":"item","numeric-id":621583,"id":"Q621583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef547f1c0f7e497d7bebb44dfda46f4677003c6","datavalue":{"value":{"amount":"+0.7631858587265015","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":"Q6041667$CCD2BD37-3917-422B-B902-519FFCC03151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1882003005706c2dad1577703fab9e2babaeb80","datavalue":{"value":{"entity-type":"item","numeric-id":6150427,"id":"Q6150427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de44f5b8851f102f213a67b3d4ff6724d77a8238","datavalue":{"value":{"amount":"+0.7601285576820374","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":"Q6041667$93CAE132-CA90-4432-8B89-59EAD020BCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9afa19123adb7753f7a62decd2c706348298123","datavalue":{"value":{"entity-type":"item","numeric-id":2397042,"id":"Q2397042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e024e88d803d74c3fcf0cb80550e9df893ed2728","datavalue":{"value":{"amount":"+0.7546573281288147","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":"Q6041667$2089BDFB-81A0-49AC-BBE7-7149A3BB0DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6901f415b773a96e611d02eb0fc7a059b52996","datavalue":{"value":{"entity-type":"item","numeric-id":3163886,"id":"Q3163886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5379323851ba03b0af77bdb552fa2bac2f386b44","datavalue":{"value":{"amount":"+0.7404300570487976","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":"Q6041667$C0E8D1EF-620F-4A15-87C5-8B5D43E65F98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6041667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6041667"}}}}}