{"entities":{"Q2145335":{"pageid":2156078,"ns":120,"title":"Item:Q2145335","lastrevid":54343001,"modified":"2026-01-26T16:23:43Z","type":"item","id":"Q2145335","labels":{"en":{"language":"en","value":"Selective context-sensitivity for \\(k\\)\\textit{-CFA} with CFL-reachability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7543918"}},"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":"Q2145335$0D1570D0-B0E6-4C39-81A7-739821377B79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1876446f7058a11c123d795ae54257149dbbc182","datavalue":{"value":{"text":"Selective context-sensitivity for \\(k\\)\\textit{-CFA} with CFL-reachability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2145335$1B7FC290-E44E-401B-B681-C9FA4447E87D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f1c0ff7209d3d80da5f0fc66baf2c7f73c92fd6","datavalue":{"value":"1497.68116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145335$EC69CA31-ED0B-4DEC-8A7F-52AF648309C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f302f457a39396cf4a553d8731b6199c32de28e","datavalue":{"value":"10.1007/978-3-030-88806-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145335$A1B97445-991C-4A52-A2C1-6DDF3DD5879B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12dee78a30d6a364f8b49765433ebbd72ee99f77","datavalue":{"value":{"entity-type":"item","numeric-id":2145333,"id":"Q2145333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$D8CC55C8-0817-40A3-9AD1-7BB500E46A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"906a08347f390cdbeeb52f7ef742ad568192e3c9","datavalue":{"value":{"entity-type":"item","numeric-id":2145334,"id":"Q2145334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$16A64D31-FDDD-484B-B6C6-EA883F2F16FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b7d292dc2c0a22be2bdf4529bc436c81d46352c","datavalue":{"value":{"entity-type":"item","numeric-id":1323637,"id":"Q1323637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$6C5ED200-7997-4F9A-BC66-ECB0AAD0FC12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb05ecdd4c1bc9bc017712b48f5ce5d7c83890d5","datavalue":{"value":{"time":"+2022-06-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":"Q2145335$41348A70-31AA-46E8-A675-4CE6C6B1E57E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145335$7B8D7E46-4917-457E-B75D-205D96A83C59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abc7ba271655378a2ec7763a5e6e53eb463d29aa","datavalue":{"value":"7543918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145335$4B382A6B-C434-4CE1-9A3E-45EEB3F002FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b0583ff8274058d62dd7f72531fdd002de9db","datavalue":{"value":"pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145335$EF0EA7D3-DD7A-40C0-85CE-DEA9F1F2158C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b64b76e523a86a7787a168096c92c723211fbb6e","datavalue":{"value":"context sensitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145335$7DE900F1-3EDF-4F84-BE90-F78347576293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"597fe58b6557fd79802550988499223203bcbf4b","datavalue":{"value":"CFL reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2145335$4BC9C0E7-7726-4EE0-BE13-DF18A346B55F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"544285ff7639d6e2f1833203ed056490a36c6e30","datavalue":{"value":{"entity-type":"item","numeric-id":21115,"id":"Q21115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$80396AD8-E93D-49FE-9E39-1F9418A0868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42e869614954bd5d9d4a7c7c8ac042fc3665a6b3","datavalue":{"value":{"entity-type":"item","numeric-id":30121,"id":"Q30121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$CAE3121D-BD02-4C7E-9D7F-53492026F32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0a4de35a39860c900019be657f53241dbec2ea1","datavalue":{"value":{"entity-type":"item","numeric-id":19266,"id":"Q19266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$12E579B1-FA00-4AAD-A59E-54148E141B49","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":"Q2145335$4B5FB58B-5B52-4C96-A7A4-745AAADF6897","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb92ebeadbd8c1d2f1924ff8aca17e59e527ab60","datavalue":{"value":"https://doi.org/10.1007/978-3-030-88806-0_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2145335$43F16E8E-E8CF-4BE5-A93B-2DCBCB911ACC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f584ff0ed552e32853ca83815c1c82e0b37d45e","datavalue":{"value":"W3207496574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2145335$E92EBB0B-15A9-4896-B7AE-6CDF7F695F91","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"941e37df152320c9500468ec57af7a3b8f65b534","datavalue":{"value":{"entity-type":"item","numeric-id":4417791,"id":"Q4417791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$9E8E98BA-AE30-4873-8B5D-1485B9D57997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee78ed76d0de3f4cac30c62ff7d8b58be9ff3d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5408528,"id":"Q5408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$7A8E8A31-9E58-4909-A2F8-83475E5E998D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a45353a92b2d8942bc72a107031aea6f94ba8d0","datavalue":{"value":{"entity-type":"item","numeric-id":649643,"id":"Q649643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2145335$5642D85C-A852-4897-B759-5206EBACA62C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb2919b8c677450ca49f709d5032bf758f1b853","datavalue":{"value":{"entity-type":"item","numeric-id":5261519,"id":"Q5261519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7ec5aeff2e6c61ad932b8dc55124167d47efb84","datavalue":{"value":{"amount":"+0.7514594793319702","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":"Q2145335$9BCB32DB-443F-4AA2-8CB4-53BFDCB6203D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d222f55c4c6241d0a3dc6beff540f85daed9792a","datavalue":{"value":{"entity-type":"item","numeric-id":5466558,"id":"Q5466558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697c178b793cee6556ec992a6213ceca90e2df19","datavalue":{"value":{"amount":"+0.7347953915596008","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":"Q2145335$8EE72601-F1D9-439E-87F1-75CB625EB1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192ee58b0bd8d13c63f3b1b9f6dd0bfb1f61fae9","datavalue":{"value":{"entity-type":"item","numeric-id":5370873,"id":"Q5370873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d453696113e6aa53814490da32cc3c7ad6582d","datavalue":{"value":{"amount":"+0.7341883778572083","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":"Q2145335$ACAAFDF3-9EC4-4F3C-92AE-EB39DC659CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d624bcbe61ddab59e8b8ece69159e9f9c2e7e9e","datavalue":{"value":{"entity-type":"item","numeric-id":5408528,"id":"Q5408528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138083e302def6682e722b9e8a3b4a255d466e7a","datavalue":{"value":{"amount":"+0.7309741973876953","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":"Q2145335$7C1219F6-C52B-4897-9B11-85296E5AE644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4677c7afb715bf6bb6b2682f626ffdaa0341ec96","datavalue":{"value":{"entity-type":"item","numeric-id":4779114,"id":"Q4779114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39bcb4c18da31997fb5d4c48717893dc5695b1ba","datavalue":{"value":{"amount":"+0.7157832384109497","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":"Q2145335$99EF6E71-7362-41DE-A624-24DEE2655D40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2145335","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2145335"}}}}}