{"entities":{"Q5429331":{"pageid":7458905,"ns":120,"title":"Item:Q5429331","lastrevid":50224769,"modified":"2026-01-13T14:01:37Z","type":"item","id":"Q5429331","labels":{"en":{"language":"en","value":"An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216247"}},"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":"Q5429331$660C5D05-E412-4A00-8E90-537E57B34F90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"400e593fbaf2501387a229e50b4fd3a15cd63a97","datavalue":{"value":{"text":"An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429331$E7595E3E-6A1F-4826-A2A9-6B53D76C0279","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88f2aa1fdf754e3060c4b1ce0af6d313bf1617de","datavalue":{"value":"1135.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429331$31CACAFD-472A-47DA-8C99-082114E7F24D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a64e984daa581e57ff25c73e60daa02130020d26","datavalue":{"value":"10.1007/978-3-540-73368-3_42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429331$2BC5E5D1-8890-4E5B-A387-7FFE1C43FC63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429331$3808A4A9-C48B-4B92-9FCE-DEBBEB5DFB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429331$6CC766CB-02A3-488D-84F7-39E6ED82C719","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":"Q5429331$8DDE62BD-0E95-453D-B8B1-CE3C54ABC41A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429331$A533AB73-1D1C-42D8-BCB7-8FE8C94EA661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429331$0EF6CEBE-B811-4A18-B1C9-D2BB4CAE3A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429331$3F3FFE69-195B-43CB-A73A-04B0E39644A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71a754747b5f697921bb9e6f833515595febe7b3","datavalue":{"value":"5216247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429331$928D9ED5-7DE5-4849-B3FD-C1F26089E422","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":"Q5429331$3D58C363-4575-434A-B9AD-3A583D58804B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d42e8d22dfb1259d23aed80b5a7b2b7bf0867560","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_42","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429331$EB1EBCC5-09EC-4B9D-8FBD-1E986D981216","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50f4f7b8fc92d9b62b1a29f8cfd61dd850dad13a","datavalue":{"value":"W1553910098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429331$EAD10885-DB2D-4669-88EC-C9A3CF994B4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"302390c47dc9d5b7a6d35fbd977b9919b94b1668","datavalue":{"value":{"entity-type":"item","numeric-id":5711488,"id":"Q5711488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa14c636a77dc621e42983ee7f98bb42e07ea35","datavalue":{"value":{"amount":"+0.7852052450180054","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":"Q5429331$D188221D-2368-4C87-B789-C05106526DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0dbb3f9da6f8e967e3c8716ee26d8e2be4ebe1","datavalue":{"value":{"entity-type":"item","numeric-id":5255075,"id":"Q5255075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012a47f52a2f94d5f81146964abb67f871c73366","datavalue":{"value":{"amount":"+0.7769098281860352","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":"Q5429331$E6088A90-A1EC-489B-817A-E6449060F9BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940c3a33a3076683d6f422e45b5d13fafa1aa8df","datavalue":{"value":{"entity-type":"item","numeric-id":3613386,"id":"Q3613386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef7d82241d445fd97abed03bde50efc52e6b3256","datavalue":{"value":{"amount":"+0.7475616931915283","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":"Q5429331$1FE46D79-1D44-4219-B664-34C312FDA162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b921b21969bd86d618ee0c8485219d4a351f41","datavalue":{"value":{"entity-type":"item","numeric-id":5758100,"id":"Q5758100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc1d80c121d603ceb5cbcb32d43e96acfe091b42","datavalue":{"value":{"amount":"+0.7460626363754272","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":"Q5429331$926A4A17-FED6-4074-83E8-CDD0EC456E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0582ee30595e78a0df901762e77eacc08e125f21","datavalue":{"value":{"entity-type":"item","numeric-id":5172654,"id":"Q5172654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be12533a1afbe553968a4fcf3793465879c7073c","datavalue":{"value":{"amount":"+0.7459754943847656","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":"Q5429331$EFC128AF-9998-4632-A13F-12EA4595542E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429331"}}}}}