{"entities":{"Q1799137":{"pageid":1809879,"ns":120,"title":"Item:Q1799137","lastrevid":53239808,"modified":"2026-01-24T12:59:53Z","type":"item","id":"Q1799137","labels":{"en":{"language":"en","value":"Checking array bounds by abstract interpretation and symbolic expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958132"}},"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":"Q1799137$CC95F1D2-9D57-40B3-9D5C-975F02594AAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8b1c0deeca2f6d5da52b3685c255420fa854f17c","datavalue":{"value":{"text":"Checking array bounds by abstract interpretation and symbolic expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799137$B6CBDC91-4B5C-4DEC-8EA8-13EEBF956C99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ad64b5f7032be9bf12e42fc666dd0b0dbd612c3","datavalue":{"value":"10.1007/978-3-319-94205-6_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799137$72BCECFC-10FD-43C6-89C5-A6C8A07CF5BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dcdad15dffa4f4fe5f76bb1d2697810a5a7cec6","datavalue":{"value":{"entity-type":"item","numeric-id":293179,"id":"Q293179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799137$F8BCD2BE-2026-4A15-B88B-7DAB7FA5902D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4869c7dfab7d11e532d3d8c20fdfd5fa6f2c4cbe","datavalue":{"value":{"entity-type":"item","numeric-id":383355,"id":"Q383355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799137$800EE6E8-FBC7-409A-B3B4-BE73A873C5E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-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":"Q1799137$F699778A-B1A8-4751-8C6C-C9106801F97D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1014726b9b658149bf29f9c402b0b6a0583aafe","datavalue":{"value":"https://hal.univ-reunion.fr/hal-01921666/file/ijcar18.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799137$63E6B2A0-8145-4D61-8641-5B7E19688015","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799137$3DA1CFE2-0757-4CA4-8E68-A5C0F358FA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799137$A315C2B5-E60A-4C25-8323-EBCCFCD2699A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42e7e0c50e709599db3676a960c91cdea0d89e5e","datavalue":{"value":"6958132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799137$07ECD47B-2622-4636-A54D-11CCF25A39D9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799137$A204AD01-F161-4A6F-8596-E97148F62E8E","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":"Q1799137$58B483C9-5D67-4DC4-B841-8AF7EDD22CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbcbd5d863cb9d63f271b0c5727feb2df2061d67","datavalue":{"value":{"entity-type":"item","numeric-id":39887,"id":"Q39887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799137$E0D29D6E-743B-4471-A4D6-8DF0AFC79D89","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":"Q1799137$E1AF1E57-3F3C-4986-8181-25697DF3E6C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca8cae05427668dfbb161815dd02e3776a1a3af2","datavalue":{"value":"W2810997401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799137$A25B8FA8-7FFD-4CAA-9E3F-0308AE915564","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d196a423c1c58d6147a401a1988ae96a1280f0d4","datavalue":{"value":{"entity-type":"item","numeric-id":3612010,"id":"Q3612010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b1eaf514481a1c97b4026fb0be7f1c11a72a47","datavalue":{"value":{"amount":"+0.7295960187911987","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":"Q1799137$33F86C19-C7A4-47C9-84EC-19545B982B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef8ec9e9709461cbff72bd262e6b8204aae484e0","datavalue":{"value":{"entity-type":"item","numeric-id":4529770,"id":"Q4529770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1837c4f5407410973b16c89809b674886278dda","datavalue":{"value":{"amount":"+0.7061697840690613","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":"Q1799137$038A2DA6-B823-48C5-A4F7-AF8BD69CE3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7e0baacbacbfeae2997ce2e31900447638eb07b","datavalue":{"value":{"entity-type":"item","numeric-id":5899042,"id":"Q5899042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8accb0943a85697c1621157e55437f15fac6381","datavalue":{"value":{"amount":"+0.7040309309959412","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":"Q1799137$6355CED0-D83C-453D-A5A0-B3F7A16EC93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b679fb296af9559ab6c6d1a7e1440f5c41185ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4738403,"id":"Q4738403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d9bdea266bfb30e09b053a667ae24d7696bace","datavalue":{"value":{"amount":"+0.7016650438308716","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":"Q1799137$1E304E1A-896E-46B6-B06C-430F86CB90D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e087181cbc0aef2ddb2e113ec8e25b63c75f82fa","datavalue":{"value":{"entity-type":"item","numeric-id":5408536,"id":"Q5408536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a8577e3018992ee49f734cf5986c1a1faf4c65","datavalue":{"value":{"amount":"+0.6971875429153442","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":"Q1799137$1CF61BA2-6170-4DE3-97DC-8B87DCA59873","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799137"}}}}}