{"entities":{"Q6164429":{"pageid":13299310,"ns":120,"title":"Item:Q6164429","lastrevid":55468189,"modified":"2026-02-17T17:05:15Z","type":"item","id":"Q6164429","labels":{"en":{"language":"en","value":"Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7719734"}},"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":"Q6164429$A2BFF4F0-8C3D-4351-AE09-FFABC83FD755","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf2ebad03e0ad9fbe5c6bf9c200073083bdc21b7","datavalue":{"value":{"text":"Property-driven code obfuscations reinterpreting Jones-optimality in abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6164429$417F1F98-8E8D-40D7-A46D-2BEBFF85E46F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5de7b53178dad75f7992ea22c0de9066d5488f3c","datavalue":{"value":"1524.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164429$C2D4240E-46E3-46C8-BC0A-C0EDDD46CE46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dd05c7076ddd2d641ac7a2490c5f21b981dae72","datavalue":{"value":"10.1007/978-3-031-22308-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164429$E09BF787-8DD9-4BE7-B4F3-E9784AFB91B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$95D9587C-8CC9-413E-8A1D-A2687CF2A81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145dfc643b53f471cb50f045a5c8b4f60a920b97","datavalue":{"value":{"entity-type":"item","numeric-id":511011,"id":"Q511011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$97AC72A2-C992-43F0-8A33-447625E25D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$9798A349-103E-46B0-96C7-59823502A334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c9357104a5534685ffa2f9bcbb37e5590217e6f","datavalue":{"value":{"time":"+2023-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6164429$F4A02ED2-9DA0-4652-8A73-41B37C684D8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164429$EF8A963B-79F3-48D7-8771-735D1758271B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164429$E8FB3656-E621-47A7-901A-57F17C92EA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164429$2B3A633F-756C-486B-8967-BEAFA09DF0DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9669ea5cf17d1f04fd7974347d530e3e8a5286cf","datavalue":{"value":"7719734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6164429$F874921C-179F-4A83-AB9B-4151F21BA502","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164429$F111A385-D9D8-4531-A8BF-463DDC73E874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab05bcbad79c7476fe8d9c7f6cc735fc9b346f8f","datavalue":{"value":"code obfuscation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164429$7F5A1585-6A27-4520-BD12-02E2D6D007F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d949dbed16248b4918d216078a5d8c36c58153","datavalue":{"value":"program interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164429$1E6BBC4B-6C6E-49A7-B390-CF265F325455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c92a8d226de3c774875f1e755039d1e640f12d8","datavalue":{"value":"Jones-optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6164429$75610755-3CAA-440A-BFE8-AE23D69A3A4E","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":"Q6164429$7914016D-4CE8-4E48-9577-1737C6F8AA81","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce9f33df7a8f4f2b520a4089b7e215cabd6e57b","datavalue":{"value":{"entity-type":"item","numeric-id":5395678,"id":"Q5395678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$E95D90A1-EE35-47A6-AFE3-BC6117077AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16b1fa68327a267924a8824e786b3d88313fc1cc","datavalue":{"value":{"entity-type":"item","numeric-id":3082978,"id":"Q3082978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$B21A4A74-96BB-4C1E-ADBB-9E75D1CD5666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0952a1e2449f489e1238975a904349dad3499b56","datavalue":{"value":{"entity-type":"item","numeric-id":1887681,"id":"Q1887681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$AA2792BF-34EB-4D9E-91A7-F7CEE5E8A437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42d5b4a8113b914146778f9cdfb24fb2524be9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1605224,"id":"Q1605224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$56F7B3D7-C4E2-4520-90F8-BF68B9E0188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$C21254B5-4E97-4423-A1CF-F0EE47422ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b0ad6cbe2cc2eccfff8929a15d53d8564eec757","datavalue":{"value":{"entity-type":"item","numeric-id":6039396,"id":"Q6039396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$A0BFA773-6AF0-408B-854B-E882CB39C50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639780cd27dafce4bd11843e7ad6d2329958ef36","datavalue":{"value":{"entity-type":"item","numeric-id":5408448,"id":"Q5408448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$4D03F206-AA2E-40DC-9C4D-5BDD15C85934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8153238c7b681854ba6add9f28e6afa2fb22a4c","datavalue":{"value":{"entity-type":"item","numeric-id":511013,"id":"Q511013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$CEF64731-9D07-4390-9DF4-1B553C0E6D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$4E9556DA-1755-4A26-99A9-7B86AA030880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f101b5f0fc995f830634b7b6cd442baff4f961a","datavalue":{"value":{"entity-type":"item","numeric-id":2819811,"id":"Q2819811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$FA95C915-772C-4160-99CC-BFCA13BB1716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f301f1547a82da306ca885d9aa7fa31c2b3d67b1","datavalue":{"value":{"entity-type":"item","numeric-id":1887680,"id":"Q1887680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$383564CB-62E7-4435-AFFE-55B68824CDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$6EC293C9-0A79-4452-92FC-1CCEEB44B7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1713746a21acf2d1323fd1403fc527bf6ca8721","datavalue":{"value":{"entity-type":"item","numeric-id":2226739,"id":"Q2226739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$4C1793FF-7613-4323-8C57-32EE847BE0E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec70f35ffe4a5b33ed5642160d351f6c5c4f2985","datavalue":{"value":{"entity-type":"item","numeric-id":5892586,"id":"Q5892586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$C19E4845-966D-4C62-828E-B73AB3D50813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a41b54fca374849eee39cfc7458a5f8e678686e3","datavalue":{"value":{"entity-type":"item","numeric-id":2942866,"id":"Q2942866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$8FF32B96-90D5-4B4D-A557-8A65A243D86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6164429$EAA08C65-1CCC-49D9-878C-DCD0AC83C0FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e5892d7d2cd5f1c3349ce8fdc094e2f3a7e1f18","datavalue":{"value":{"entity-type":"item","numeric-id":5716756,"id":"Q5716756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2f00b43cb394c7a809086fc52c8b3292c0ae08","datavalue":{"value":{"amount":"+0.7806721329689026","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":"Q6164429$2DF0E376-9E6F-41A2-BA01-8EB56BAFA2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8018396515ef596e7632a691265fa30d37aca51","datavalue":{"value":{"entity-type":"item","numeric-id":4472542,"id":"Q4472542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b0450d450e4383836ac268d25d09229578bb9c","datavalue":{"value":{"amount":"+0.7361202239990234","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":"Q6164429$C5428E90-CF0D-414D-9608-61D7407221DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b05ee087283251d2642f3fe647a6cd07dabfcc2a","datavalue":{"value":{"entity-type":"item","numeric-id":511013,"id":"Q511013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dfca958b83c9a4c1b36d0074065c483bcb142ab","datavalue":{"value":{"amount":"+0.7050364017486572","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":"Q6164429$71123407-71E4-4C71-94DD-FF078A25E579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c47c100e06cc45b470dea7c87d71a53abac27f","datavalue":{"value":{"entity-type":"item","numeric-id":1029807,"id":"Q1029807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af2abfedbb1045a109aa46b2cc5a85a7c1de2570","datavalue":{"value":{"amount":"+0.7035855054855347","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":"Q6164429$42907115-747B-494F-8118-54D2E4329EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e28d0d06e1cd6675104f0e4a132a8b15f5cfda3","datavalue":{"value":{"entity-type":"item","numeric-id":5385609,"id":"Q5385609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2243fb926f842ad3e19ee636379db05f628e8b35","datavalue":{"value":{"amount":"+0.7029178738594055","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":"Q6164429$626540D5-C400-4E41-A67C-985E6D261F47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6164429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6164429"}}}}}