{"entities":{"Q287369":{"pageid":289136,"ns":120,"title":"Item:Q287369","lastrevid":60714813,"modified":"2026-04-10T18:41:22Z","type":"item","id":"Q287369","labels":{"en":{"language":"en","value":"Verified abstract interpretation techniques for disassembling low-level self-modifying code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585635"}},"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":"Q287369$7ED73910-4B3B-44CF-B05D-B341F2CCFF19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57ed115bc16e7113e0fef71ea0b4d80fda63ed9a","datavalue":{"value":{"text":"Verified abstract interpretation techniques for disassembling low-level self-modifying code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287369$285983AE-25C3-434E-A3F3-83A096219AF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea7f48fa1eeb3999f25debda478414cb581997dc","datavalue":{"value":"1357.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287369$5FEE918C-67C0-4812-BC15-50422E12B244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f71649d5cd536e6a70ddc24feda92d797a4529b","datavalue":{"value":{"entity-type":"item","numeric-id":287366,"id":"Q287366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$3669788A-2EB4-44FD-BCD5-FA76C21F71C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa05157f6af7e1f595f927c88d592137b36651f9","datavalue":{"value":{"entity-type":"item","numeric-id":287367,"id":"Q287367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$04B2BB84-1EB1-42C3-8968-CEAD2F916280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"322d1bbf43d96eabe74baa00ad17d618005c3800","datavalue":{"value":{"entity-type":"item","numeric-id":287368,"id":"Q287368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$D26F60C7-CBDC-40AD-8AEA-F964D3026ED2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$34E9F9FD-FAC0-47B6-974D-74BB65E7FDA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287369$C2BD9E9F-0B3B-40A4-83EC-9BD66AED6CED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e847450c538fe665bcb531ed3c0150d5b49efa3","datavalue":{"value":"https://hal.inria.fr/hal-01243700/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q287369$43F73849-6CE7-45BD-ACC8-ECE25CE94E68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287369$10120E9B-85F1-44CD-8199-019147AD8CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287369$FC18C2CF-F0B5-4F41-9930-5216F6AB5B83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65f530a73634a64c75bee47f36c52ec5ff1ef79a","datavalue":{"value":"6585635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287369$E046CC28-DADD-4B75-BD70-662ED644461D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q287369$9551DBAF-C47F-4356-8DE6-DC2BE49CF192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q287369$DFBEC99C-4D31-4699-AD8A-FC297339EA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dec122a5c489fc1a1b846a940f37081b1840d2d","datavalue":{"value":"low-level programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q287369$9B70DE77-E487-4B76-9E5C-85B4C5D18EB4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$7A3A64BC-7736-4BDB-A384-EA65381BBBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1eba72da912f28643881b05ce965f80b69847026","datavalue":{"value":{"entity-type":"item","numeric-id":21376,"id":"Q21376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$A8F9D7D4-4B34-472B-A676-3FC12B1F596C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"34f9cb359241516883d2e895731824bfc5d80800","datavalue":{"value":{"entity-type":"item","numeric-id":35126,"id":"Q35126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$05237234-EA17-4B38-AE95-5142FB9F6197","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":"Q287369$23C3D461-3545-4186-B3E0-45FC2F6EC9BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18ec067efc779d72c4780cc5685c0c216a6833e3","datavalue":{"value":"W2293328630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287369$4C64EB71-E305-4743-BEAB-E652776A2975","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1366322d071eb123167fab9e0b56c2c395178ea","datavalue":{"value":{"entity-type":"item","numeric-id":3075470,"id":"Q3075470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$BEE64236-3108-4765-B6A5-7EC9340FA0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f295e2c5ff59a23cb492c910698f33848e3888fb","datavalue":{"value":{"entity-type":"item","numeric-id":5191090,"id":"Q5191090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$628C61B7-B401-48D7-A107-2255D4EAAAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48954ed389c940d6f18707b42187ed03f7c9e725","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$4727AA6B-118D-4262-B7A2-0E9C020378E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90f9000203b5cc02cd5a95785f3228e4b1b7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$71D12FA8-3153-405C-80AC-F9C3743F02E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af41ad322a54fae973e4a41c958cfd4757c02f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2566027,"id":"Q2566027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$F0D9BD70-CB77-4B26-91C5-1F92D48917A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7be68e1be31d2ce9700b09f1fd401d03db7ae02","datavalue":{"value":{"entity-type":"item","numeric-id":5747638,"id":"Q5747638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$0F9A9058-38E8-43F0-AD40-746E152CF775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f3ed76b936297e1c211b1bdcc9d15801cd785b","datavalue":{"value":{"entity-type":"item","numeric-id":5898176,"id":"Q5898176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$FF202516-6903-426D-87A1-249C4BFAEB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$660DBA11-BE6D-4C22-BA55-4BD6AA79EE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcf06957483d96f85ec0bb9bf6a5c5b9186a884d","datavalue":{"value":{"entity-type":"item","numeric-id":2931805,"id":"Q2931805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$157F439C-04E7-462B-BE13-9313A8C65DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6d5bd4ec1b04ca09af94140053300276a52e01","datavalue":{"value":{"entity-type":"item","numeric-id":5255066,"id":"Q5255066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$9E55AD1F-216D-4160-BC7F-3EAFE5FDDB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77aa498e70f7de60f6f3c68c01c6e39dd05d49f3","datavalue":{"value":{"entity-type":"item","numeric-id":2914736,"id":"Q2914736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$1B923C96-16E0-40FD-906F-D4C8729B50EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db53c372d2d50c429bac9cbb726ccd91b696a94c","datavalue":{"value":{"entity-type":"item","numeric-id":5415621,"id":"Q5415621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$BBFA4A89-ABD9-44CA-A1B2-7D817F468A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dad3e22ff5cd4eecd482eba8f74372fe5ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4916050,"id":"Q4916050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$4647AD8A-F79B-4A4B-A8E2-A83E8B4892CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32887a7091f87dc4956e64a53bad13ccc0327ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5168877,"id":"Q5168877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287369$0969CA18-CE36-43C7-9BA0-C204C1A8C680","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11c5691c7b2e9fb0daa06bd03982bc4eb765bb64","datavalue":{"value":"10.1007/S10817-015-9359-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287369$355855C9-0407-4B67-A0A8-4953F23DD72E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ee3c6eca7ebb1b5981882e3da0bdd5d442107f","datavalue":{"value":{"entity-type":"item","numeric-id":2879248,"id":"Q2879248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287369$69D4E3F8-93E3-4199-9DCB-34C9EB55E38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c692e4c37c0674c33839cb0a8a1ab50912d2566","datavalue":{"value":{"entity-type":"item","numeric-id":4414379,"id":"Q4414379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"015997b4d5032a8ba387fe1e9c4595a543aa9844","datavalue":{"value":{"amount":"+0.9021758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287369$CCDF0076-DFB7-4902-B9A3-FD50651408FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f799b5a2f03daeafb9295eaf985e6281bfccd22","datavalue":{"value":{"entity-type":"item","numeric-id":6488472,"id":"Q6488472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09e1581d33c07ce6b65654e78b06d49119531c2","datavalue":{"value":{"amount":"+0.8715012","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287369$4F4D5455-4B44-4BE9-AD8D-3FB192C40974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"658c346f98b426736c4d9db531ee3a9755ce903e","datavalue":{"value":{"entity-type":"item","numeric-id":2763683,"id":"Q2763683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ef0957e589ff0d55dc19bfb907c6ed7def928e","datavalue":{"value":{"amount":"+0.8703256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287369$BB05CDCF-40B9-4B1F-926E-78F8116B26A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed03ff244bd448296e984cc4bf4f360cb72a649","datavalue":{"value":{"entity-type":"item","numeric-id":4414376,"id":"Q4414376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10e7c33fc813d52ee0d13a04097e20962f84df1","datavalue":{"value":{"amount":"+0.8696818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287369$0D325E84-B338-4C65-81BE-4F3AFAB499EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2170c4b2d9ca1f4390fc13c08e49797e21a01bc1","datavalue":{"value":{"entity-type":"item","numeric-id":2766776,"id":"Q2766776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa9a90d45ebb45e3483e833ede487659fff428e","datavalue":{"value":{"amount":"+0.8656707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287369$BA0C0F5B-96D9-4805-BAF2-4E3C13B4BB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f49f78ce79e3f09e8799733e1027e4aab21dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3184788,"id":"Q3184788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ba1efe24ff330684d37608a4ca7d935ab57b78","datavalue":{"value":{"amount":"+0.8639708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287369$E5E5DCBC-1472-49C1-B7B1-8B12DC6343EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbca47c44e58f41f18b1e8bc78bf8b7d324cb77","datavalue":{"value":{"entity-type":"item","numeric-id":4828445,"id":"Q4828445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08f9a4d8521b8d7f479a99258064ec62e2acb606","datavalue":{"value":{"amount":"+0.8619249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q287369$18AB6498-8F70-4D7D-853F-F0729B399DB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified abstract interpretation techniques for disassembling low-level self-modifying code","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_abstract_interpretation_techniques_for_disassembling_low-level_self-modifying_code"}}}}}