{"entities":{"Q988565":{"pageid":990413,"ns":120,"title":"Item:Q988565","lastrevid":65821947,"modified":"2026-04-12T05:36:13Z","type":"item","id":"Q988565","labels":{"en":{"language":"en","value":"Pentagons: a weakly relational abstract domain for the efficient validation of array accesses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772407"}},"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":"Q988565$9DC60A87-83B8-4134-8003-C741061B9579","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a94d1abbdffafd895586a32e6f436141a92558","datavalue":{"value":{"text":"Pentagons: a weakly relational abstract domain for the efficient validation of array accesses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q988565$1ED43CAC-9A99-4C07-9A83-35E1C290D6F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24bf022e1af4da50c7536b170e0ff85296e090c1","datavalue":{"value":"1197.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988565$E6081F7E-7E9A-4F91-8F1B-C1E97F3454EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$D2974002-C67D-4E0C-A6D1-515D7A632681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20f1a734f4b224637c57f8ba6a80e22c98d5ecd","datavalue":{"value":{"entity-type":"item","numeric-id":988564,"id":"Q988564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$9D108B4B-FA9D-44D3-BF3D-7994D11E58B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$ED1E9888-0D5B-4897-A18F-0E18BCABB07A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q988565$654CB0F0-0B54-475B-BF71-B1FB95D18EB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988565$95539828-E4B7-4EC9-B6D3-8825D2CE1C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988565$F2C9BA4B-2562-419B-9A68-9D16029C039E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03e1181b33b20827764e1dbbebb522cebbbb09ad","datavalue":{"value":"5772407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988565$36D3009C-1124-44B2-9D35-334FE35A7155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2810b77c5cbbd8936f379f89ae761bcfc1b9e6b4","datavalue":{"value":"abstract domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q988565$81E5E253-7189-4721-8439-83581BB15535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q988565$94E2644D-2478-4BEB-955F-0ECA6FF517BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b29e69bd54733da3ad0e482d91bae70263e2a9","datavalue":{"value":"bounds checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q988565$C6217E63-7602-4143-8B16-D463E7D539F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7695163bb6afeeaf6c85e79e2ba2245917ceb9d6","datavalue":{"value":"numerical domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q988565$A2B39B4C-BB9D-4EB1-8C98-2FFC01C0D9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q988565$8ED5468A-1D32-4B8A-8F30-70B5D6E117E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf47779f75022ef640201dfd408ade9c8def91df","datavalue":{"value":".NET framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q988565$ECF0166B-D7B3-44E0-9864-CBEA540A20E2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46ff34e1d84d0a4729956c7d4ecfc0d65ecd906","datavalue":{"value":{"entity-type":"item","numeric-id":25615,"id":"Q25615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$7CAE56D0-9018-4E18-9A8A-E7C6006CFA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b58d422c985e94ce92f56d29d0bb67fee37f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":38550,"id":"Q38550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$958209FD-1C3B-456C-8D19-3B7DD0EB3655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$158A020E-110B-4476-9B83-2D2B5600D208","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":"Q988565$A51EA515-A139-4D35-BCDC-1B405E174406","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d2faf68fdf3eb5a053bb149a8e8f9410cc60e86","datavalue":{"value":"https://doi.org/10.1016/j.scico.2009.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q988565$23B12BCC-0CED-4A3E-86C0-B6EC1011F77A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7e26e21d5de78f9b9b9c72eff811afd9295f653","datavalue":{"value":"W1974133806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988565$B8375B3D-CCA8-48E1-BFC9-A54092C45E22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9e86a26430c110c309b290d414344dcc1a60df7","datavalue":{"value":{"entity-type":"item","numeric-id":3613377,"id":"Q3613377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$E5808D78-E433-4BFD-9BFD-4C6806DE6F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$AD89375C-1FF4-4769-BFFA-F060F46890C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ece64e5402e1f4666a42559d521a17ab109c2e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5897425,"id":"Q5897425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$18E67D87-2298-476D-B168-FAAA7093CEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6826931c7fbd099e876410cceeef903bc184e57","datavalue":{"value":{"entity-type":"item","numeric-id":4414726,"id":"Q4414726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$1275D358-A098-4A79-AF90-07D8238717D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973233cbf5471499bbc4e7563bb47bc64878219b","datavalue":{"value":{"entity-type":"item","numeric-id":859963,"id":"Q859963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$972D7F8D-68BE-4D1C-AC9D-313FA6462CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$D110749A-AFE3-42C8-8027-525FDA1EFC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7ab9cec473c39d1eda43d5cb22727844c9ee500","datavalue":{"value":{"entity-type":"item","numeric-id":4934630,"id":"Q4934630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$B57F6631-8D89-4971-AC7C-7F49AE750BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de18ffd82065b68fa5d3ab5df0a7c59caa587a8","datavalue":{"value":{"entity-type":"item","numeric-id":5305644,"id":"Q5305644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$FC612725-1A36-4E1C-98A8-EE53EF424307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$E6DDDB4A-DA11-444B-BBDE-5AB680D2BB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014fff1c94ad59e81787332ae7190a13501142f","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$59085FEB-CD6D-4700-BA77-0320AE9F2829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f83934c02f3843ed413f8141b583a9f9ababcb9b","datavalue":{"value":{"entity-type":"item","numeric-id":853727,"id":"Q853727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$1DF78CB8-C7D1-44F6-B5E4-08F9E7028DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$2BDB6FB9-3B75-4253-915F-B48082B66B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c67c1af8188e320ba0299a6df2df39f5b6e776e","datavalue":{"value":{"entity-type":"item","numeric-id":4068060,"id":"Q4068060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$68C06D8A-28C6-4AA8-AE52-B91837BC2B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74509a071aec1bbd86ab1a7d0c5f47bcd45259d7","datavalue":{"value":{"entity-type":"item","numeric-id":3600478,"id":"Q3600478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$7B678932-61CE-4B73-97AF-89C24656890D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f270a48df484c0b9b71c3232adf5ed7dee09dc","datavalue":{"value":{"entity-type":"item","numeric-id":5452615,"id":"Q5452615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$6456FF96-B5A3-4946-975F-38A78AB863B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c11a3656bdd9767b08f88d08fbce19aff9f396","datavalue":{"value":{"entity-type":"item","numeric-id":4529777,"id":"Q4529777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$8F0003CB-A55F-47E8-A1E1-DE4D86171726","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":"Q988565$C9BEB549-3DB3-483B-BF85-D98B35CC48FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3eb041a0db0b27454732aeb01b685079c75fa72","datavalue":{"value":{"entity-type":"item","numeric-id":5452618,"id":"Q5452618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$780DD91E-0B94-4526-94FD-E44352121C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86346ec7f69bcc942c27a0f9a2665a249b5ca158","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$8F01386D-EBBA-481C-9995-977CA930A668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd877b6e0ee76607d8a0a907e313c72ea9b6cbfc","datavalue":{"value":{"entity-type":"item","numeric-id":3079912,"id":"Q3079912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$4204D515-9061-4BBE-90D9-92F5345CBAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4451a9f57b737bc1be4b704ac781e27c0192fc","datavalue":{"value":{"entity-type":"item","numeric-id":4411949,"id":"Q4411949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988565$A1B14711-C5F2-4EB8-95C8-220F1F4157B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57e1202a5036c1b40129154e9a2881c7e4d4d8e4","datavalue":{"value":"10.1016/J.SCICO.2009.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988565$00273167-9149-44FA-B794-9FC93FF33DA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903b233650ef5f506da6f4c7fdcf00ad0c945f5f","datavalue":{"value":{"entity-type":"item","numeric-id":853733,"id":"Q853733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"123992e0b2edd2f19f4a439bba8ad448a4253738","datavalue":{"value":{"amount":"+0.7897729277610779","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":"Q988565$459550C2-D5C3-47FD-A91B-114AA38F9C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6987316d3de2c3be99af5b26862b2c5a568fc2e","datavalue":{"value":{"entity-type":"item","numeric-id":2814105,"id":"Q2814105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5bf05294c1c5f0e53ef41d782a9ccf4c4dc6bd7","datavalue":{"value":{"amount":"+0.7859151363372803","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":"Q988565$1386F145-C092-45F7-98A4-0536DB31D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db362c8bacc49ba3dbfa2573620311295324663c","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51487fb7d83e2bd45e9250e22d559a1c3c2d5960","datavalue":{"value":{"amount":"+0.7465788722038269","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":"Q988565$D6ACD420-9074-4F47-A82B-C40DC701A1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ba3f7e4fbfa02fca18eb45ed6e6f5186bf707da","datavalue":{"value":{"entity-type":"item","numeric-id":5458394,"id":"Q5458394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"617b74dc107f8c88e089109b89f99b3e9dc7de9c","datavalue":{"value":{"amount":"+0.7424233555793762","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":"Q988565$CA185F1C-AAFC-4A05-A383-B06C16A213C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed259c6f9d9332850fef864619140414f18612e4","datavalue":{"value":{"entity-type":"item","numeric-id":5170166,"id":"Q5170166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cda2c175ccc2666e92bf0069c707bd934447772","datavalue":{"value":{"amount":"+0.7357736825942993","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":"Q988565$3158B279-E65D-4643-8855-03A39DC6A8BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pentagons: a weakly relational abstract domain for the efficient validation of array accesses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pentagons:_a_weakly_relational_abstract_domain_for_the_efficient_validation_of_array_accesses"}}}}}