{"entities":{"Q2014831":{"pageid":2025573,"ns":120,"title":"Item:Q2014831","lastrevid":43477490,"modified":"2025-07-28T11:29:13Z","type":"item","id":"Q2014831","labels":{"en":{"language":"en","value":"Verifying pointer and string analyses with region type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6304792"}},"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":"Q2014831$84884DDC-E42E-48CA-816B-764D6841B768","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1453e6b5fe4814d48febde0acf893ebb456984d","datavalue":{"value":{"text":"Verifying pointer and string analyses with region type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2014831$36859CA0-7120-48BC-8AC1-08892159BEC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f0557dae6087711ab0a77056567480b41300d66","datavalue":{"value":"1290.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2014831$CD41FC14-3D6B-458F-A533-2329B05583B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$A6AD42CD-ABEF-4E48-980A-7267B3D5B8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7e300d020f303ae47cb50adeef7ec9c7bd2e23","datavalue":{"value":{"entity-type":"item","numeric-id":2014830,"id":"Q2014830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$8AEF6D0D-E3A8-4BA5-9BEE-23C64622D69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$884DF23B-7079-46A8-82F6-C7F1BCD1FB97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$D6A5A606-42E9-4C29-A73F-EB2D601D0847","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00dcb422e92b410bfc5c0a041259a3d14e0f9a63","datavalue":{"value":{"time":"+2014-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2014831$BB037278-E90D-4AD2-8982-EBA36C39A721","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2014831$BE19D877-106B-442E-8B5D-1E23EEF535AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2014831$B74B7F7D-F0DB-4403-A6B3-E3BDDF22CC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2014831$39903189-0025-42A1-923F-1B03740F276E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f54a203a1dca22d205805a3e3d35bcee1ebbf56","datavalue":{"value":"6304792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2014831$1B8123A9-F150-49AA-BF43-BC02E8E05598","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74df1077d7c8fc2e848396126f74c4fa6fcfd87","datavalue":{"value":"pointer alias analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2014831$8346C311-4A6F-4BA7-9AB4-ED0F9CF6F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2014831$F814048D-8889-4A5E-A8B3-3821EBE662E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12f42b83062e661c185527297a6ef9361b591081","datavalue":{"value":"region type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2014831$3FDC5326-3E89-43A9-99F1-AA10615C1FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db53fabbfd42418de9bca1278253ead9a3d35c73","datavalue":{"value":"object-oriented languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2014831$92171FD2-B290-4EC0-B80A-7C8F08A683BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eadd9a09808f8bd8d66a803913b7ae22ab545df5","datavalue":{"value":"string analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2014831$E02A0639-3BD2-49D3-BDE4-4737DD8BB624","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"436953497125d4f56b5465c7287fecd024e0139d","datavalue":{"value":{"entity-type":"item","numeric-id":44823,"id":"Q44823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$AE25B160-C275-41CF-8500-8A25072D2CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fea42592d88b0dc0335528708fc0459f05c2f670","datavalue":{"value":{"entity-type":"item","numeric-id":28074,"id":"Q28074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$6D8931A9-4206-419A-B56E-C12D08C7E831","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":"Q2014831$6A130F3D-CE9E-48DF-B0C3-999783DB2989","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"606e57f240ca65f13f2698cd3b3aa438e5c9e34a","datavalue":{"value":"https://doi.org/10.1016/j.cl.2013.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2014831$10DCBDB8-2D15-4100-BA6B-CF3C0F64D49B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"659b28ce724a170fac31a986b9b595634973be56","datavalue":{"value":"W2171640663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2014831$A0DD001A-C815-4C40-A879-364FD16576B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00d39d2ece62c5fe63ea06bbff4211e5295316a","datavalue":{"value":{"entity-type":"item","numeric-id":4417789,"id":"Q4417789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$32C0A937-C82C-458C-8618-987B2089AC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$B06A6511-2DD8-4ED5-9D54-5B41A160C6D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6bd229310ca619b7fcb519bbac929ba983c837","datavalue":{"value":{"entity-type":"item","numeric-id":4405689,"id":"Q4405689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$65D09B9B-B1E3-4292-9703-E8A14874A960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc56eee7d2e169e024a28c0fe6cb9aa9e374dab","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$D4D427A3-324B-4F19-8B30-E0F6C4EB6246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$276610B2-3B07-424C-A091-7B78121B5934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa178471eb5a7e2cb55edddd35086bdd9b561652","datavalue":{"value":{"entity-type":"item","numeric-id":3066092,"id":"Q3066092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$64372159-78CE-47EE-A9FC-FFC179A1A9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2b043f1f5ea4ab949da5be665f95c5a9e8b669","datavalue":{"value":{"entity-type":"item","numeric-id":5899006,"id":"Q5899006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$3CBD8E2A-C70A-4BB7-A561-AB1B264CA25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$1F09850B-B99C-4FB5-A6C1-C32627A61E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c0fa3bc86cb49370502993f38bc2a77557363f","datavalue":{"value":{"entity-type":"item","numeric-id":3602993,"id":"Q3602993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$73EC053B-67B6-4BB7-8265-3B48FC9A067D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37608e38f742df134374e93f7c3d644330567f9","datavalue":{"value":{"entity-type":"item","numeric-id":5756494,"id":"Q5756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2014831$25C37736-6661-4DFC-91F6-CDC796545206","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4bc419572bbda9d84a0a23ce9b5bd25874d8ff5","datavalue":{"value":"10.1016/J.CL.2013.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2014831$0E138922-38CD-4D83-9F72-F6B0D576D16D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1257bf6fd8cf2d6aa7999fde6b7333fbf1ca6b32","datavalue":{"value":{"entity-type":"item","numeric-id":3066092,"id":"Q3066092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc46660a5f61a39fe23b79fcf9ec8497afbe488","datavalue":{"value":{"amount":"+0.99999976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2014831$C76E1B30-BBE8-4728-A4AB-B0AEF3061275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878840dd0fe639458aaebc46aeddb046a4bb17c5","datavalue":{"value":{"entity-type":"item","numeric-id":2216720,"id":"Q2216720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0332e20592a3e85175a3cb978a3daa1e01fc3c5","datavalue":{"value":{"amount":"+0.8809566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2014831$6A884D9C-4EC8-4BB6-A7F5-B39BEF29AEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1005098b9470e50f029eb8fda8d9a0358486d346","datavalue":{"value":{"entity-type":"item","numeric-id":4411958,"id":"Q4411958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f7de54a026f3b75cc669054704fa5204c603f8","datavalue":{"value":{"amount":"+0.86460733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2014831$D17FD72D-B99F-49C8-928D-49CAD76DA766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9568bff96434479bfcf5b344a457cece2ccb41c2","datavalue":{"value":{"entity-type":"item","numeric-id":3071444,"id":"Q3071444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2219e018c9ed4e2954ab90be0a363604a7fc16b5","datavalue":{"value":{"amount":"+0.86344194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2014831$9136C50A-D746-4D38-A4E3-4A9BDAEFC23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7da7fded39d5bc2680ca2e5fbb3d52e061fd1e60","datavalue":{"value":{"entity-type":"item","numeric-id":3522062,"id":"Q3522062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08b6b65b7edb51f081dc7ff11431c67602a65de","datavalue":{"value":{"amount":"+0.8620362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2014831$0EEC5F38-02BB-4FC7-A1BA-A9147B20A12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02693b3a28b9d8cd97f4de8e5ced4389fb42be97","datavalue":{"value":{"amount":"+0.8599943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2014831$315D7545-7E40-4493-A2B5-007D63EF89BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"401b0cda7c81433539ca9a7b4137d741970e97f9","datavalue":{"value":{"entity-type":"item","numeric-id":1650864,"id":"Q1650864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b3e36c63d4f9e1f7c22fcd0294fda646666300","datavalue":{"value":{"amount":"+0.8594798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2014831$D1816BDF-82C2-4C6D-9659-65B1B85E857B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99af7953828fe30c899bb8c4ca0d8dd663d3b0fa","datavalue":{"value":{"entity-type":"item","numeric-id":2417849,"id":"Q2417849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0dfd42f52c34d667f076f2d40c1a0a5e22e4570","datavalue":{"value":{"amount":"+0.85483485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2014831$51AEB606-ECCB-49D3-86AF-E7F8480A1D30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2014831","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2014831"}}}}}