{"entities":{"Q2946745":{"pageid":2957465,"ns":120,"title":"Item:Q2946745","lastrevid":58082457,"modified":"2026-04-03T17:50:28Z","type":"item","id":"Q2946745","labels":{"en":{"language":"en","value":"Inference of field-sensitive reachability and cyclicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483238"}},"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":"Q2946745$5AFFF15D-EFED-4EB4-83A6-58FBB64BE6B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98c5e2d6161c8d9526ed634b68f63134969b0a1f","datavalue":{"value":{"text":"Inference of Field-Sensitive Reachability and Cyclicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946745$ADB28EF0-8FF8-4312-8ADA-CBE7CCA23275","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a01ff90397ca7a39eed840f17d44a6f81b96bdb","datavalue":{"value":"1354.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946745$E6102EFF-1419-461D-AC39-84EB397CEE9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aeec853fa523bcbc37c10e9c659b7ff156aa1175","datavalue":{"value":"10.1145/2629478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946745$D790C935-EFF4-4DB8-8A7C-40B5F8AFBE43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b61809f75c939ee59cf68728fdfb026a3ea59e5","datavalue":{"value":{"entity-type":"item","numeric-id":407520,"id":"Q407520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$ABF0026B-6D5C-4F97-BCCF-2A343A11ABDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbe753b9d2f7eccff8413eb524ea7d9ea3f789dd","datavalue":{"value":{"entity-type":"item","numeric-id":407519,"id":"Q407519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$360210AE-0282-4EB7-BD94-F22614A1FDFC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$4612783F-2383-4B9F-80C8-816E68488DEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946745$367CD108-2DF6-44DB-9511-7D40F2DC180D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7e11fc8daf63afe564fad1d2bb12fd2bd4e13b81","datavalue":{"value":"https://arxiv.org/abs/1306.6526","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946745$3ED36EFC-7150-4285-AB18-EB94F8427639","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946745$AAB8EDC3-C413-42B7-B565-1593055179D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946745$F7226D32-3E84-438B-9B96-4CAD5819BD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946745$CD03673A-CB31-4B3E-9543-1CFD8C641E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946745$3FD54CEE-EF6A-4F56-B8E2-7D2F134BC9FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86254543eb8187c8db6a8be056923b94ef777fa5","datavalue":{"value":"6483238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946745$D7D11C79-7BEE-4B8B-A8FC-963415AEE5D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b70620394f82d3f54d7878b798dc43a88411f1e5","datavalue":{"value":"heap manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946745$A2DAD4AB-F2DC-4541-9E23-EFE19A7F6A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946745$6F1EBC4C-6224-4035-85D1-21ED44696A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ac4d520662f2bdd93daf4ad564bf23cfb46d447","datavalue":{"value":"cyclicity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946745$D824BE63-B6CC-4686-9EA1-14D60D1C579C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946745$BC5111B9-BAC7-4B89-BB3B-AE1C46E169F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b0583ff8274058d62dd7f72531fdd002de9db","datavalue":{"value":"pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946745$B60F3650-9B61-4AE6-A9FB-97479DE79642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946745$2288C0B4-83D0-4D9E-A930-D3E0D20DEC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946745$4161D0EE-2C7C-42F3-8B9D-614DDB9C9445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37f2233143951bddc905b7237274c784a4a18186","datavalue":{"value":"termination analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946745$EF5ED330-9746-43C2-A524-AECC624ADBBD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fdb421b3415346a610f7724f98fdc0ffae669b1","datavalue":{"value":{"entity-type":"item","numeric-id":21401,"id":"Q21401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$82FC7FD6-7963-4AC5-A7FB-2B58753F3507","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":"Q2946745$AAD81EBE-7854-455E-8D01-570C4A6D997E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad4957223da86061ffbe5391c9c97f853af237dd","datavalue":{"value":"W1987635382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946745$AAFB3B8E-B53C-4919-A9B0-64229A78712E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$D5673514-91CC-4CF2-8B0F-21CF61F4239C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b64c0f6c86d151f61383ea03d9b987d31df98c45","datavalue":{"value":{"entity-type":"item","numeric-id":2946710,"id":"Q2946710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$5BDA84B4-E4D6-4C4B-AFD9-38B544C14D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564cac3cecae500a03fe5c95804baa48e6236dbc","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$ACAD90F3-8EF2-4BF6-9CA5-6338162873D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe872a814069bf2cf5a96b0024d50c8fa8c00b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$7ABC62B0-EF30-471D-BD39-4FC62D180283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5382661bc98927f3e7272f3a7e5c556ae94b246b","datavalue":{"value":{"entity-type":"item","numeric-id":4305626,"id":"Q4305626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$3167A300-1AA1-4350-A1E2-E0C9D3B42C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8839917919f90fa144382a094d8dea8f58a77f","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$C87986EE-1014-4FEB-901E-61DE14F3E51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$593001A1-0517-4064-9011-6741F9DA8CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88d9b44c4bf92991a82e37499500ba9b0167dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5711500,"id":"Q5711500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$C2260990-C689-4F1A-81A3-C681ED2B9200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67206e8e63509fa86106ff211c5cd624ba376b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1944776,"id":"Q1944776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$7F126746-5691-41F5-8A58-C05EE048B5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3892435d26a2f59e5d6acb77e07119651c694d","datavalue":{"value":{"entity-type":"item","numeric-id":4339528,"id":"Q4339528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$60EF30DB-98FA-4A9F-8760-CD780F835789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c17af7ba9d6990b4a81a78394c800c140c16b26b","datavalue":{"value":{"entity-type":"item","numeric-id":4916088,"id":"Q4916088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$E48E1ED1-FE34-40C4-A4B9-8FAC1A7DEDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a24b2524d8d6d47e95766596d33abecc3ac5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$67ED44C5-BED5-4FAF-8536-2E6AC077ADBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27cde0e5bddced17473d8bcfdb6540e645282378","datavalue":{"value":{"entity-type":"item","numeric-id":5276154,"id":"Q5276154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$AC6338F4-6D94-49CA-A5E3-6AEFBDD4301D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21b6c9610ec8029f5e0350209de55999fe3a0745","datavalue":{"value":{"entity-type":"item","numeric-id":5898612,"id":"Q5898612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$45D76518-A661-48EF-B7A5-76309593030D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0154e0e7a8c353cd494b970aa089d960567542","datavalue":{"value":{"entity-type":"item","numeric-id":5897440,"id":"Q5897440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$54E51CC4-D4AB-48F4-8641-07D2D803918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946745$2F817FBF-3176-47D2-9206-33AA3D4C385F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789e1de36889536e9c3035b05f947cd565285331","datavalue":{"value":{"entity-type":"item","numeric-id":1944776,"id":"Q1944776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b39460bad96ff3e4e6cbe3064843ac5ca6d7e8f","datavalue":{"value":{"amount":"+0.8348212838172913","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":"Q2946745$0A65EB48-4AD7-40DE-9670-F5179FE4D342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024e3f560958595b63242ecde074d39fb26dbd65","datavalue":{"value":{"entity-type":"item","numeric-id":5898612,"id":"Q5898612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff62aa0caeae8d80ca6f94132d95ac84a913135","datavalue":{"value":{"amount":"+0.7302676439285278","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":"Q2946745$468937BA-983B-4508-A270-06449E0C0630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a0f23e12bedc8e44faf09f4a1537669d2c3e03","datavalue":{"value":{"entity-type":"item","numeric-id":4633546,"id":"Q4633546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d5752d8bbe2118ee4a0678f9ad6534606eba0fc","datavalue":{"value":{"amount":"+0.717582643032074","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":"Q2946745$2A21435B-3952-4E92-8F83-F4A4C42A1661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedf41f4ad814a262dc70d8faa9745816259d7c9","datavalue":{"value":{"entity-type":"item","numeric-id":3189830,"id":"Q3189830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce47bbafce36c17281beb55dc69e9403ed1f1af","datavalue":{"value":{"amount":"+0.7151315808296204","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":"Q2946745$2114BB3D-1EA2-4BC6-AB62-6146668525CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e184b54aee7dbeee5e4b3c7420897e3a8e0c78","datavalue":{"value":{"entity-type":"item","numeric-id":5756731,"id":"Q5756731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2de5b843fc938b8222fd4bcbba0740de81254af","datavalue":{"value":{"amount":"+0.7010742425918579","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":"Q2946745$99330AAC-211E-4A11-84D3-7FBC67B52D45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946745"}}}}}