{"entities":{"Q6602525":{"pageid":14213682,"ns":120,"title":"Item:Q6602525","lastrevid":95609681,"modified":"2026-06-05T09:24:07Z","type":"item","id":"Q6602525","labels":{"en":{"language":"en","value":"Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7911151"}},"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":"Q6602525$61C3FC81-670A-4671-B98A-3BACEC48C4F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5055a6291deacb184c3e62f47a3b738901320df4","datavalue":{"value":{"text":"Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6602525$8A40B315-E292-4BBB-A4FF-F6CEDED70DFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d69babde6ecce0afdc967fadeec4a3fc1323e5c","datavalue":{"value":{"entity-type":"item","numeric-id":5886181,"id":"Q5886181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602525$333A6C56-E636-4768-A025-B41635B41A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cab3694474dd4fa489a8d4475efab8d90801117","datavalue":{"value":{"entity-type":"item","numeric-id":1416130,"id":"Q1416130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602525$EF39EF7F-7759-486C-96A8-C2299AACCD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e44ed566dd6697acb407a5168b271cda014f91","datavalue":{"value":{"entity-type":"item","numeric-id":596970,"id":"Q596970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602525$D2712DE8-D49D-4BED-899F-ACBDC7837B94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602525$2F879DBD-A6B4-4236-AA42-76A3A0BABFC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984357184e36bd48b60e905848ca8fb15ede5c75","datavalue":{"value":{"time":"+2024-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6602525$09FCDA47-20AF-4A5A-9C29-71BA59E2F79A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602525$15ABADD4-0BA7-44CB-9356-188684DFFEBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d407647689c670d3a9bd5e26e10a0e34033f3a46","datavalue":{"value":"7911151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602525$3D06BAAF-80E3-42E6-94DE-EB0AB456B32D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602525$5D2148DE-694D-4FB9-995D-28F358EAFF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602525$6D6B619A-35D2-4D4E-81D7-2224A4AACF5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c9453b607575b9707d5c7b4f815357cdd2bc09","datavalue":{"value":"control dependency analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602525$68E42AD3-5CC0-47F0-922E-795344585073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7167a68ab9ae5845bb71ea3160abec73194413","datavalue":{"value":"reaching definitions analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602525$F38C86AD-F911-49B5-9715-C73D21381F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f49bf71e8988c35ee3ee16c5ef5f4c8f2d4776e3","datavalue":{"value":"Clang Static Analyzer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602525$3C83DD04-913F-4E98-9E62-93B3263191FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a05189d36159119d879d55579691df0210aaa07","datavalue":{"value":"report generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602525$453DD9F5-0FFA-478A-A8AF-3E85964B0521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56f07b5fe647a24963393cca75f2b244a445bfd3","datavalue":{"value":"code comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602525$DF21F5DF-13A1-49B7-9313-1311ED824ABC","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":"Q6602525$A3C012A2-3B28-401D-9FD9-6B33BDE7FAEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84a148a946a3d78f9fb84c9e164f8112c4c8e07c","datavalue":{"value":"10.14232/ACTACYB.299805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602525$23913445-6CE1-4A43-853E-73C148D22D21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uncovering hidden dependencies: constructing intelligible path witnesses using dataflow analyses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uncovering_hidden_dependencies:_constructing_intelligible_path_witnesses_using_dataflow_analyses"}}}}}