{"entities":{"Q3613386":{"pageid":5643292,"ns":120,"title":"Item:Q3613386","lastrevid":88532276,"modified":"2026-06-04T14:46:37Z","type":"item","id":"Q3613386","labels":{"en":{"language":"en","value":"Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528254"}},"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":"Q3613386$CE7E80ED-F709-4AAF-996D-E79DFC03E850","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9663e2709c51a4c00e99e80cf295240d2bb151d","datavalue":{"value":{"text":"Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613386$9CA04A4C-FC34-40E2-B2AA-7BBEFCA97669","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13ebdf78e4ea5fd2e4a5c4773f05a8e1d9a01c93","datavalue":{"value":"1225.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613386$AC0A7143-B355-4883-9FDC-7D6438AFBA02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"924d9e5ebfb3b79ddaf26d375dcda85aa66f6730","datavalue":{"value":"10.1007/11823230_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613386$F0B085F7-D057-46AB-A18D-942186F7F133","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a7aa3b44f4693179521a8497c029ed5d3d49964","datavalue":{"value":{"entity-type":"item","numeric-id":964497,"id":"Q964497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613386$186B718D-EF07-499A-982B-11D63DFD9674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a934115107c80a08190abc99377349337d8bd7f","datavalue":{"value":{"entity-type":"item","numeric-id":2852077,"id":"Q2852077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613386$96B63D54-E506-4A3D-ADFC-4E8070E4BA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc2120a534f513a754fc1f7bac3ebe0b6f755e7a","datavalue":{"value":{"entity-type":"item","numeric-id":300406,"id":"Q300406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613386$CF25CB66-B029-4CCF-9C48-4FB215BA7975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c4e228a29afeb420d031832419eeb44a6dbdbe7","datavalue":{"value":{"entity-type":"item","numeric-id":736796,"id":"Q736796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613386$67B73824-A3DB-4635-9482-EADC8440063D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613386$45EBB75C-95A3-486D-8356-3D58A2512623","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613386$2D340AAD-44B4-4B64-A12B-2034EBD57631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613386$941DBA5E-FD67-47B9-B8C4-71358C7BD707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613386$2C88A5FC-3EF0-4348-8022-26CD11FFA30D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613386$B70F0042-1BDF-4743-80BE-15564B6436DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a4b54aaaf05923bf4132300c7c3fd6949eab9bf","datavalue":{"value":"5528254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613386$4CCABDDC-9B58-4A7C-8833-4E569B6BBFA4","rank":"normal"}],"P1463":[{"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":"Q3613386$807ED0C2-ECF2-4D04-9C5C-85F7165194F3","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":"Q3613386$49CABE19-E86C-4FBE-8915-1906277460FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85e0a857ee10a539720c6b378eafc77505c81e77","datavalue":{"value":"https://doi.org/10.1007/11823230_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613386$316088E6-E892-46BD-806B-7CF894BD7530","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df3a78502cd732d1c90d15c47580269138dffc10","datavalue":{"value":"W1887332367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613386$8C1C012F-97F6-439A-8C3B-1A280AE47337","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee00864ade5cb8aa97b3bee5509a251adeab8846","datavalue":{"value":{"entity-type":"item","numeric-id":5276155,"id":"Q5276155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4295c7e6eacce3e9ebe5e2cb113db0dc0dc210f","datavalue":{"value":{"amount":"+0.7927134037017822","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":"Q3613386$FED8AEB8-2A4E-4B54-B16B-ABB9A6944AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69544d975458b4d271838b37f8bdcb90df477c84","datavalue":{"value":{"entity-type":"item","numeric-id":3612011,"id":"Q3612011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda91d768436549bc6f279402d5f0b47f1a75497","datavalue":{"value":{"amount":"+0.7922013998031616","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":"Q3613386$D5150720-C4CE-4A40-AF11-A28EC00FB45A","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":"02515cc7079fd6af6338e27f87cd51dd87f05743","datavalue":{"value":{"amount":"+0.7880213260650635","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":"Q3613386$AECAD60D-D63E-44D6-A69E-C15CFCEE8216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4598224ae51aa60636ba3a4d893329afda85778","datavalue":{"value":{"entity-type":"item","numeric-id":3613389,"id":"Q3613389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1d49864ba7f3d7d1adb94f914864fa93dc0779","datavalue":{"value":{"amount":"+0.7879853844642639","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":"Q3613386$B324503B-9D6E-476C-AE19-D5BC1AC439C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b6e20ed0ec9941f5e29796f4460798cece8ba8","datavalue":{"value":{"entity-type":"item","numeric-id":5308432,"id":"Q5308432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ada83c61acd3aa054aec31b6c7c842e67e1b9d6","datavalue":{"value":{"amount":"+0.7761210203170776","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":"Q3613386$8EBCD1DA-20BC-4109-8BE6-774F0B429035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic","badges":[]}}}}}