{"entities":{"Q5758100":{"pageid":7787651,"ns":120,"title":"Item:Q5758100","lastrevid":50154821,"modified":"2026-01-13T07:08:16Z","type":"item","id":"Q5758100","labels":{"en":{"language":"en","value":"A Reachability Predicate for Analyzing Low-Level Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5185765"}},"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":"Q5758100$5F6D14B2-A844-4195-9D8C-964E11C61C63","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bce3ad5a36f543e4ff3f3c7ef5f74350cfe6c9cd","datavalue":{"value":{"text":"A Reachability Predicate for Analyzing Low-Level Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5758100$3C8571E0-258F-484A-AA88-B354C15F7DDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"941bde048cd623c632cd9dabb49a20c7b66da1d5","datavalue":{"value":"1186.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758100$DA1462B9-1C25-4F99-8D2B-48D44816EFAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1125380b99764e2cfa4c4897d2e0317e61487fca","datavalue":{"value":"10.1007/978-3-540-71209-1_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758100$F68BF441-4E99-4B8F-A0A6-AA5CC6D163E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e021b66d3e7412c7d7cb04ba4d804ece8e5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5758099,"id":"Q5758099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758100$07B4A442-1586-4D7E-8417-655164AB20B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fc9efcacb156ebe441d1f18c88b7586f817c0e0","datavalue":{"value":{"entity-type":"item","numeric-id":682352,"id":"Q682352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758100$C03DDFB6-645C-410E-8A18-134091C02812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11f2b24824a3159e3071b1a76accae952fad828c","datavalue":{"value":{"entity-type":"item","numeric-id":470004,"id":"Q470004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758100$B8235E6E-A4F5-454B-A3FC-BB7766FE9AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e61e1c15131a00734d19fb57dbeb828f0f9aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":557793,"id":"Q557793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758100$CEFCFD0A-7C9C-436C-9FA2-D46A803EDF71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758100$692FB064-18C5-45FF-952F-6B0DB3773E34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5758100$D8B25B71-629A-4016-9097-E6822606413C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758100$2031D33C-A15C-4C54-8A63-41BB411A661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758100$05E06F15-0978-4FB1-9EC2-249439DB2348","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c333a86443d441f6c1d414ff6257d7a6bfbe55a","datavalue":{"value":"5185765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758100$2445F353-2737-49FC-B75F-979EF0016291","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6bd3e17f5c8106c552732e5d9395b841a42716c0","datavalue":{"value":{"entity-type":"item","numeric-id":18897,"id":"Q18897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758100$6E044AE3-1485-48C4-8411-B1CC46AA795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758100$DC041A12-BE42-46A1-A3BD-601EBF4ECC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5758100$48E29594-743A-40DD-BFFD-5E51AF2A2A9F","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":"Q5758100$90834C49-872D-4084-9B18-EDD21A8D11F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07a3938c52ebfb59bd9a48233f61a5101e461c43","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71209-1_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5758100$78F88248-DA12-4013-93CC-34852CE1ED75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f157eb3ac5d07cae25113bf90d419dfcd7b55bb5","datavalue":{"value":"W1606540187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5758100$43E99785-2833-4329-BF84-06C4AD8AF731","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"246bf7daa41b874a61be5d2dc7fb40368398be8a","datavalue":{"value":{"entity-type":"item","numeric-id":5429331,"id":"Q5429331"},"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":"Q5758100$138693FC-AA18-4C6F-BAE4-80CC6B37040E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b85eb390ca89c4206ca5aece9f558858df6a1ea","datavalue":{"value":{"entity-type":"item","numeric-id":5898619,"id":"Q5898619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ebfa76c37099110c8e49ad7011165b8d80f059","datavalue":{"value":{"amount":"+0.7292319536209106","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":"Q5758100$3424DE78-8C98-4914-A8CD-4A48E3C5EBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c2bd8aee9b0535918796cdf45a3780f54a54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2796037,"id":"Q2796037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c24037fc672252d6ceb70e432aab6afbf6255c1","datavalue":{"value":{"amount":"+0.7247490882873535","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":"Q5758100$3ACC68C1-CEAE-42C3-A552-F6E36A497DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5291b9b1607e541e9d0488c090faa6f672eb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630e6ba4058bf9b6bcc5caee8d34f831025ad0f7","datavalue":{"value":{"amount":"+0.7191863059997559","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":"Q5758100$9914C633-D1E3-45D4-A068-0D7BDBAC4576","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":"b8569ae4a3b9630ebad8c7280050e8e5717e5356","datavalue":{"value":{"amount":"+0.7106845378875732","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":"Q5758100$0C4AAEFC-358A-4613-AF51-4016AC382310","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5758100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5758100"}}}}}