{"entities":{"Q988180":{"pageid":990028,"ns":120,"title":"Item:Q988180","lastrevid":65921478,"modified":"2026-04-12T06:16:53Z","type":"item","id":"Q988180","labels":{"en":{"language":"en","value":"A novel analysis space for pointer analysis and its application for bug finding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774989"}},"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":"Q988180$770C08A9-C854-4C11-963C-18AD0CF40AD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dd71313c369eec222557120d236658239ba5186","datavalue":{"value":{"text":"A novel analysis space for pointer analysis and its application for bug finding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q988180$CA998509-DE5A-45F5-9704-E4495118A88F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cccbe8ad7de66bd6e846e34eabb9aab98dace9e","datavalue":{"value":"1209.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988180$ADC54085-DB1E-4AC6-9CCE-C9B907139CE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ea996e6f9a68462f7c6b49cf4f53b739f8d5f3d","datavalue":{"value":{"entity-type":"item","numeric-id":988176,"id":"Q988176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$EC38A1F0-82ED-48EF-B005-D98FB3937396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de02f5827583e90ce88104b7266d7aad01795117","datavalue":{"value":{"entity-type":"item","numeric-id":988177,"id":"Q988177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$8914264B-4CAC-4DE4-AA17-34854B93ABAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35af99e3601a4b2b230d775427f638b9e9d75e32","datavalue":{"value":{"entity-type":"item","numeric-id":988178,"id":"Q988178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$37ABAA05-0115-4D18-9CC8-761733770BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"595e88d3f59e5b7f0c936da721a5fe50d971548a","datavalue":{"value":{"entity-type":"item","numeric-id":988179,"id":"Q988179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$370FE8FB-3A75-48EA-9B0F-9ECD30A435E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$ABA6172B-2D0A-4DDA-8C51-45F7DA37C9A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a52a4b791660afbc47d46818319067bdcb5a1cd9","datavalue":{"value":{"time":"+2010-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q988180$F4C81D28-E3E8-4B5A-A709-6CA01E902960","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988180$4731C336-C43E-4EF5-86C6-8EAEB3CD30A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988180$32A95832-1F06-4235-8D2C-5CE9B336074A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1872157ba5f9e5692d7ca067591779e5aa61e24c","datavalue":{"value":"5774989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988180$347B9297-01C0-463D-8E54-CCADC198B3A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q988180$B995D0C8-C46E-4032-9097-1A9D22BE375A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d9b0583ff8274058d62dd7f72531fdd002de9db","datavalue":{"value":"pointer analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q988180$22C0DB63-E0CE-4884-BD1C-5E54F22E7006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88b92f0c1bb57dc5ce01b0063131482aa9e41ff9","datavalue":{"value":"summary-based analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q988180$857CA89C-1F13-42BB-8A87-310CCC646E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36f69b6b4a13936505a4a217fda14c8bf667a7f8","datavalue":{"value":"bug-finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q988180$7DD1006A-8D9A-4110-A6BD-F001AC59525B","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":"Q988180$AB2A5E75-A863-430C-8430-117F8B92A2FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$D8973FA8-B71B-4D8D-900E-252C34634EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$777D924F-E986-40E6-B4E6-B23786DF16A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35dea11f7340d96d415fe1f2b140031e290aa926","datavalue":{"value":{"entity-type":"item","numeric-id":21672,"id":"Q21672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$3498965C-0F2E-4D77-81E1-AB4A83C0AD17","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":"Q988180$E842CDE8-A504-4B15-8A10-D27BBBE3CAE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52870ac428feed52e822099f68a5924d32338173","datavalue":{"value":"https://doi.org/10.1016/j.scico.2009.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q988180$D4A4C6EC-F8B2-4330-9179-F36AECDF71FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdfc65c483a29fb096226f575ee30615dbd74e28","datavalue":{"value":"W2069216738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988180$E3DAF2ED-6C4F-4344-B4B9-898C3E3E5724","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c0ad4b3e09eea1b3127519255dcf268aaed23b","datavalue":{"value":{"entity-type":"item","numeric-id":4023884,"id":"Q4023884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$5A17966B-AC68-44D2-A196-352F83C77015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$CD1E64E9-1B35-43E4-BA48-BFEEA26B3352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac822134645b05837efbe023b1630159a931db6","datavalue":{"value":{"entity-type":"item","numeric-id":5452611,"id":"Q5452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$DEEB91D5-8CD2-43FA-8E17-9013D96D617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4a0c107773baf4c7b30e2c05565087fb2ff673","datavalue":{"value":{"entity-type":"item","numeric-id":5452362,"id":"Q5452362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$46DD70F2-51AF-4663-B386-A207A8172902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$32170407-B763-48E4-B001-5F9CDC7D60B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555727937371dd1ac135cad21b6a55a77593396b","datavalue":{"value":{"entity-type":"item","numeric-id":5466558,"id":"Q5466558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988180$1F1CE336-9D50-4D55-895D-97B7D7CF67E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"187e4e1b1ee973d68ad15c4ca538a261b71ddfab","datavalue":{"value":"10.7916/D8M04FXM","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988180$B5C0EC84-EC8A-45FF-8B95-144FBE3FA50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P27","hash":"a342915c3355849da22c0858d520bdba3e1168e0","datavalue":{"value":"10.1016/J.SCICO.2009.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988180$1D24366C-61A1-440C-965A-2A6D889809D6","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":"07ff63c0e828f5972017220bd54d84ef4a32b350","datavalue":{"value":{"amount":"+0.7664064764976501","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":"Q988180$506BCA30-FB0C-4CA8-BF02-F1F96A15F249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4c60f292033cfb5b59ee840c5d31b4c775860d","datavalue":{"value":{"entity-type":"item","numeric-id":5942698,"id":"Q5942698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e224d3da902b9f8d15edf8b036f0bdf9717acc","datavalue":{"value":{"amount":"+0.7425153255462646","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":"Q988180$154E8FD9-CA58-4EAE-A706-EE85800F47BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d99be377c05e65005aed0b3a8485029f1260229","datavalue":{"value":{"entity-type":"item","numeric-id":5716588,"id":"Q5716588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65222237d15350f5e675f44e43016b3a2e8e0027","datavalue":{"value":{"amount":"+0.7306649088859558","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":"Q988180$4D9EB7BD-A051-4568-A6E0-3D9C0192ACFE","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":"2780eeda5bafefbf0eb6c7f53de3f3de9ea983c7","datavalue":{"value":{"amount":"+0.7303100228309631","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":"Q988180$21523920-4F73-44F8-A750-BB73B5D71183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff05604f1531e7f2fe0b3b733b9b2517de6e1d7","datavalue":{"value":{"entity-type":"item","numeric-id":1818078,"id":"Q1818078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3bbebba34148125cd23b0663c1b1ea3d01c5ca8","datavalue":{"value":{"amount":"+0.7194890379905701","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":"Q988180$9538FDF1-1E83-4E38-BDFA-903025F38FA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A novel analysis space for pointer analysis and its application for bug finding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_novel_analysis_space_for_pointer_analysis_and_its_application_for_bug_finding"}}}}}