{"entities":{"Q2947875":{"pageid":2958595,"ns":120,"title":"Item:Q2947875","lastrevid":85393256,"modified":"2026-06-03T07:44:33Z","type":"item","id":"Q2947875","labels":{"en":{"language":"en","value":"Interprocedural reachability for flat integer programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6486803"}},"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":"Q2947875$9944D3B8-E775-46F3-A1F7-9F95EA328E6B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e032195bf93e13c1422be1d9ba39cbb65bbd027","datavalue":{"value":{"text":"Interprocedural Reachability for Flat Integer Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947875$071DD718-7935-464C-8F0A-CECF3363487F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4374ebec99b2a71c7f6e8d6a31525108ca8b4d48","datavalue":{"value":"1434.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947875$41A32DC4-936E-4603-AB31-494BE671BC6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d080be6222f4902b5f80db0236779bfaf52999c","datavalue":{"value":"10.1007/978-3-319-22177-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947875$72C66F73-9AFD-466A-AB9E-10559911F4C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$7689A7A8-5C67-467D-94BE-DEF9FC3B79F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$7BEAF956-985C-48E6-850F-37C1DDA14A7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$FBB3D9D1-376F-4780-810F-91D85F6C5FFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecd5184120b252fc4fbf5faa8556e203e05835e2","datavalue":{"value":{"time":"+2015-09-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":"Q2947875$09282062-0DEF-4F65-A85F-4C5B07B14BEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd3a56a6709d3f00c533fe638ba5fd261e09f381","datavalue":{"value":"https://arxiv.org/abs/1405.3069","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947875$2E945184-C0EF-439C-BB76-7B805A4CF53E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947875$BB01DA41-D63A-49AA-BBEA-714408A1C648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947875$F4A0B777-AED7-459F-8D72-7ED58280F823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947875$8E4D88EE-B615-4204-8D2D-8BD82DB0A1EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f4b64f9baa383e0f79457ba42207b60548f4bd4","datavalue":{"value":"6486803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947875$45CE8AE3-675B-457F-9F3E-664E05B1748E","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":"Q2947875$83FB03CE-1413-4F0A-B6F7-A3491F86DB22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f8db2060941b331ec959ac93aafb7c550c86c06","datavalue":{"value":"W1931752165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947875$F5936F25-3596-4676-9606-4790EA2493CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7efc2685e1db569beef03749a53f19a04d73c5","datavalue":{"value":{"entity-type":"item","numeric-id":2948245,"id":"Q2948245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$184BAD3A-1E5A-4C3B-8EAB-3D8DE9CA068E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafe152d225aa7fd22548124305235260731e8ad","datavalue":{"value":{"entity-type":"item","numeric-id":3452213,"id":"Q3452213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$6FB802D4-31D6-410B-94CC-D550648E9FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb8c1e3806f3cb682bcfefe28a695b730fffba2","datavalue":{"value":{"entity-type":"item","numeric-id":2911620,"id":"Q2911620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$00207DE5-CAE5-4FD1-857C-3CA1B0B8C51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62182dcb51c15de8e9697db383dc1581d8b46dcc","datavalue":{"value":{"entity-type":"item","numeric-id":3583851,"id":"Q3583851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$B30BE4C7-DF0C-4936-99F9-C9BFB6C12C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abcff6cd19fe8b80835781dc513a44f3b9342311","datavalue":{"value":{"entity-type":"item","numeric-id":2938069,"id":"Q2938069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$87B5C5F5-7F34-4AFA-B496-23F3E55A6839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c955681da2018080e848def27f6c4a71b961a7","datavalue":{"value":{"entity-type":"item","numeric-id":2435309,"id":"Q2435309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$E8F8625C-6665-4974-B9E9-5D53B0823498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd3a1bc30a732576ffd3e14b8a69138fdfcf491","datavalue":{"value":{"entity-type":"item","numeric-id":2908489,"id":"Q2908489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$121DA507-CB3E-4008-89C7-581CDFCDC009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693a456af71addc6be4e81edb2567f1920c05c51","datavalue":{"value":{"entity-type":"item","numeric-id":5408569,"id":"Q5408569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$FCF3409E-FE4F-44BD-815A-A1F4D569DE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288b725ab687a95bc6670d223f1b01dcbcb6a8cf","datavalue":{"value":{"entity-type":"item","numeric-id":5326329,"id":"Q5326329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$8C168966-89BD-4BA8-B180-7D9A00567AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$8C37BD97-361C-4F37-8C95-C4F07D183A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6740f14e87c03ddb72e412a6af226124af4cf8","datavalue":{"value":{"entity-type":"item","numeric-id":3392933,"id":"Q3392933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$B36BBBAD-4388-4068-B4B9-25C8A58DA757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d6099524e3f7bed0ce635b8cc10b44d3701853","datavalue":{"value":{"entity-type":"item","numeric-id":4649296,"id":"Q4649296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$5BF3C95B-6824-45D2-BA90-702BC5F5E96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e30cc2dc94eaebcb0713a3baef289a2c00baa96","datavalue":{"value":{"entity-type":"item","numeric-id":4168091,"id":"Q4168091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$D9EF21A8-25D3-492A-9E4E-715F99918E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1a6804c6b039868bf846ce1af535eb91afcf5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4198079,"id":"Q4198079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$9D1FB677-BBAF-47C1-9270-5F2081F114F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e61caeb9ccf34c77ec2a456b135b01b408ce9535","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$7D4B7520-7F7B-45FD-8738-A8FE57A607F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$0BB42C00-FB01-4EB3-8E14-EEE162DD56E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58bef328ea9f6bb0e8653d5a07f3e57490b43af","datavalue":{"value":{"entity-type":"item","numeric-id":688670,"id":"Q688670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947875$DAA8C637-7E27-40F3-A011-CD6DC9F8DEF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a443caa83c8def60aac59570ff10d3fd9493b957","datavalue":{"value":{"entity-type":"item","numeric-id":5757242,"id":"Q5757242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b068d74680f38e3f6dfcb4d22c9f546b357a9ca3","datavalue":{"value":{"amount":"+0.8081347346305847","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":"Q2947875$61C267C8-F741-425C-B3E0-94C0843D4F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8221fddf6b3fcf58c3c5a9033a11e23f3c37f2db","datavalue":{"value":{"entity-type":"item","numeric-id":2938069,"id":"Q2938069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed7b9b833c570fd1384a03236f1775496e4fc75","datavalue":{"value":{"amount":"+0.7532410025596619","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":"Q2947875$9E3CD07D-8705-465B-8E63-1A2665951C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc4a0bc320f52ca86174d1f7e7034db633f6ee0","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d7a0a900220a2d41a97450aa3133f77a3f820f","datavalue":{"value":{"amount":"+0.7187970876693726","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":"Q2947875$A5B24459-18D6-4E67-9A14-079C8A9416E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62953fb7c22793d180762065fd6536151de3b5c7","datavalue":{"value":{"entity-type":"item","numeric-id":3617767,"id":"Q3617767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1beb216fdefac90586f1c9235e31048ada3376a","datavalue":{"value":{"amount":"+0.7166047096252441","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":"Q2947875$3C50DD80-A59E-4673-8E8A-E1A275D42A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cd45152579f82449f3ef54e5c762c34bc28e47","datavalue":{"value":{"entity-type":"item","numeric-id":4940927,"id":"Q4940927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"326bef7f98cfeec182274a99780cf601f0df0717","datavalue":{"value":{"amount":"+0.7151031494140625","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":"Q2947875$2C8474D4-1325-4D92-896F-FB64C6A5BCA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interprocedural reachability for flat integer programs","badges":[]}}}}}