{"entities":{"Q2879248":{"pageid":2889968,"ns":120,"title":"Item:Q2879248","lastrevid":83971946,"modified":"2026-05-07T15:25:09Z","type":"item","id":"Q2879248","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 6341478"}},"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":"Q2879248$1166802C-B840-4B0A-A134-C4F21D2D6493","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b011ddef5ab6952469cfdfa21c11e302a6b51591","datavalue":{"value":{"text":"Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879248$125D047A-6862-417E-B3FD-BA4CBE853223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4b053dd068dd847b815670f62a67c32fcb41ba2","datavalue":{"value":"1417.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879248$97FF1A25-8665-4FDE-97DE-0F0E938F836B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41cda91c4c05b772cd6092c28e1fcd17e21ae361","datavalue":{"value":"10.1007/978-3-319-08970-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879248$65F9CAF3-7D91-4D3B-86D8-3C0BBC5D9127","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":"Q2879248$0A856410-B3E9-41B9-A7AC-6F3D790681FB","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":"Q2879248$7F0FF551-CE8D-4CAF-9F10-962B0D183574","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":"Q2879248$5EB8D37D-3790-490B-979F-66E0514A174C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879248$70FF48A2-0747-4CE9-8D9B-F3B01BE02303","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879248$D0E19E34-768C-42F4-A1B0-2D6BC3A70533","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879248$37E92DAC-27E0-4AC4-B922-C07A69D0C8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879248$282DF26C-6A87-4BE9-8C55-840A5DC3EDD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4d381e63b2acf521feaee5668fd957934fc79f1","datavalue":{"value":"6341478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879248$BAC78365-1660-4126-949C-7F8E5118B8E9","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":"Q2879248$214CF498-8C83-44D3-A6EB-B35817CDBF57","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":"Q2879248$ED56462B-57DB-406B-961E-6E7E5E85BE58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dddf1e1fdf914c5b35d0a385931c76dc47f40832","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879248$D0BCDB78-E105-4BAC-AE09-57E69DA94B02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b56b98985847485efe84d583f28eec32b7def34","datavalue":{"value":"W48390075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879248$33ACD428-DD59-4DF5-BE39-3CF6EC241496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1643809c1bca38a65385a05bb76d8f32c10ee4","datavalue":{"value":{"entity-type":"item","numeric-id":287369,"id":"Q287369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0cecc69034a1ea0529dd3c5849f4d110c85f89","datavalue":{"value":{"amount":"+0.996629536151886","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":"Q2879248$48ABE8EA-E134-49C8-A3D5-D4931DCEF257","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":"51f04e420192726d0798f5c1270421a5239939c3","datavalue":{"value":{"amount":"+0.7139184474945068","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":"Q2879248$A3527ADF-B16A-44D4-86C0-D779604371F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4777b476b65a4ff57cf88f5f64930e7ad79712a","datavalue":{"value":{"entity-type":"item","numeric-id":6108433,"id":"Q6108433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff418563c4142532752e3c2d5dbbd3f3e457518","datavalue":{"value":{"amount":"+0.7137058973312378","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":"Q2879248$7D33A7FF-42A6-476A-97FD-91D624F19BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31148e29d9d37ec27fa70aaf27d5ce9c529c0487","datavalue":{"value":{"entity-type":"item","numeric-id":2287075,"id":"Q2287075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4377d25d07e5b9b053d5d8318873dbf43e1ddcc","datavalue":{"value":{"amount":"+0.7055613398551941","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":"Q2879248$D77B12E2-1633-41B4-BA51-DBF7559DA456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a639d3c4e34c89ee33af51ef6fb35f8abf283013","datavalue":{"value":{"entity-type":"item","numeric-id":5248942,"id":"Q5248942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e21bc46ae81f52f98bcf5dd2659235e60c7130a","datavalue":{"value":{"amount":"+0.6871193647384644","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":"Q2879248$185A629C-CA4D-440F-91D5-A0CA3382EBCD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verified abstract interpretation techniques for disassembling low-level self-modifying code (scientific article; zbMATH DE number 6341478)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verified_abstract_interpretation_techniques_for_disassembling_low-level_self-modifying_code_(scientific_article;_zbMATH_DE_number_6341478)"}}}}}