{"entities":{"Q2287076":{"pageid":2297819,"ns":120,"title":"Item:Q2287076","lastrevid":53644709,"modified":"2026-01-25T11:57:43Z","type":"item","id":"Q2287076","labels":{"en":{"language":"en","value":"Disjunctive relational abstract interpretation for interprocedural program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157044"}},"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":"Q2287076$6D274E98-C493-4819-A10C-2BFBCD040EF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fd0c67e7b87fa8ab1f268419728a24dd99a5ccd","datavalue":{"value":{"text":"Disjunctive relational abstract interpretation for interprocedural program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287076$A45BE9D5-AFF0-4D69-BCB5-58257CD20B71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8970ecd53efe34a7b8b4c2c8f44c07178a5b0137","datavalue":{"value":"10.1007/978-3-030-11245-5_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287076$19B57082-61BC-41CC-A7F9-B6D71E932C7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a1e474c9f6ce26be15531d61215c1f1fd8040a8","datavalue":{"value":{"entity-type":"item","numeric-id":1620956,"id":"Q1620956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287076$9463C522-7F28-49DC-9DD2-891DF0760EA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"539273933714da8cccbd30c5d33862cc85176620","datavalue":{"value":{"entity-type":"item","numeric-id":1323366,"id":"Q1323366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287076$C2083CF0-9324-4102-86DD-0466E3260946","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287076$16ADDD44-9E2B-4417-BCEF-E0A1AAC74D24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287076$82182E20-7130-437B-A39A-A6A096165E48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75ea997a302822ebe1950537f76cd7111b8b8f58","datavalue":{"value":"7157044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287076$14C2D65F-8C57-41CB-8BCA-35D3920544D1","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":"Q2287076$2E2EBBFF-E526-4CA6-B683-354984B68C64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0980b19c14365b23e4530914ae16827ec710ae83","datavalue":{"value":"https://doi.org/10.1007/978-3-030-11245-5_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287076$82038E30-C0EE-4574-98A3-7F09CD35707D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08d209124505b266ac94e9eee6239381d6921913","datavalue":{"value":"W2908880393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287076$8CD058C9-AB41-4E31-8288-E36721979D0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c91a954f0f450e2c04c70c3b83c14fac3f8deb","datavalue":{"value":{"entity-type":"item","numeric-id":5756501,"id":"Q5756501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e10d4c457aa01441c71d894aa58f90d05bb3e48","datavalue":{"value":{"amount":"+0.7560880184173584","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":"Q2287076$0BD0A493-7F52-48F8-B4FB-4C61B2244E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68d03788774669eaa8b68ff412a9ad08b550a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4949939,"id":"Q4949939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef057f6866678b59e08cae126cb51ba907edc19","datavalue":{"value":{"amount":"+0.7527353167533875","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":"Q2287076$35FC1F2D-37AC-427A-BD52-9428688DE525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be84f5a2faf3479cab40e3431707a916686d883","datavalue":{"value":{"entity-type":"item","numeric-id":5466564,"id":"Q5466564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c375afa5e4649260fc03627ba63c1b02f9c8b7","datavalue":{"value":{"amount":"+0.7456122636795044","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":"Q2287076$29B44580-6F06-48E1-B71C-E4665FCFC527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"288cf32e858436fc410024ed1cfdfde484c8d53d","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2e0868c4fedd3c0d34718ba2e80575f42d38f5","datavalue":{"value":{"amount":"+0.7429242134094238","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":"Q2287076$4C3778C8-F588-4B77-96A3-05155E161B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df904acc61e8665d82e79093c9e4c399722389f9","datavalue":{"value":{"entity-type":"item","numeric-id":5408542,"id":"Q5408542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38b93c8d83061227db221dbeb0977e654d0f924","datavalue":{"value":{"amount":"+0.7383250594139099","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":"Q2287076$BF282BAF-E6EE-4688-B6B6-93D998A0F199","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2287076"}}}}}