{"entities":{"Q845982":{"pageid":847830,"ns":120,"title":"Item:Q845982","lastrevid":64779642,"modified":"2026-04-11T22:10:30Z","type":"item","id":"Q845982","labels":{"en":{"language":"en","value":"An empirical study on classification methods for alarms from a bug-finding static C analyzer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664790"}},"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":"Q845982$3C88F884-3D1B-475E-A01F-8B33BBB66002","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d08779273c59b2896319f4ea16940449468fce15","datavalue":{"value":{"text":"An empirical study on classification methods for alarms from a bug-finding static C analyzer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845982$C7B10217-E249-4FF4-B2F3-4E44E07B7386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90348b96b917e07198558f7e3ab623e3f4c491b6","datavalue":{"value":"1184.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845982$28C01566-0DAC-4DA1-A680-3F928BB6C070","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb38a1bade58fa1326e98a3a8a90562c5ba74ee9","datavalue":{"value":{"entity-type":"item","numeric-id":845980,"id":"Q845980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$DD4A0909-53D7-4E06-9D24-58FCC94E6073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbcc716b73563093a1fa87d21763ecec2790ebc7","datavalue":{"value":{"entity-type":"item","numeric-id":452597,"id":"Q452597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$0C8C72E6-723D-4EA3-93E0-0BEE4D40DA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fea063de5bc9b5dbe56c28d3ae1d32ece7bbd9a","datavalue":{"value":{"entity-type":"item","numeric-id":845981,"id":"Q845981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$2513AEA4-0783-400A-952E-46BA0245B2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"620ea68cebbfcfded76dc5a528cb8cd6229ffcef","datavalue":{"value":{"entity-type":"item","numeric-id":287418,"id":"Q287418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$7F56516B-78CD-4CE8-BD04-3D30CE3CBEBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$677DD8CD-42DA-48F1-AD96-3CE6ABF6EBDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845982$6CCC2460-553C-405A-9DBF-356F8FD62A43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845982$CD0BB466-4AAB-4EC2-AB2F-75F67C7CF793","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4689b331c9c724fd13b76a01f27c247cd0649389","datavalue":{"value":"5664790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845982$E680688A-0152-4F9D-944F-2E871D23C633","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q845982$E741200B-75C7-443A-B802-E46C93B623F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845982$06B98DFE-8874-46F8-8E9B-FFB02D4793EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"973e9de3808f9c704739828a7a480448fecdcace","datavalue":{"value":"statistical post analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q845982$33A09A02-82F2-4E06-908E-D2BB9D840C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871a8fc98f99b7e66cab068335a26434f21823a7","datavalue":{"value":"classification methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q845982$9201B8E5-B8BA-4EAB-8D7F-7DBBD769D291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q845982$5696013C-F5CF-4A68-AF8B-237DDE13ACF7","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":"Q845982$376179DA-7465-4DA8-AE23-445EB8B54295","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05f75747ea2464823e5d145d93fd3e678984c52e","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.11.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q845982$E9E5339F-6173-46F5-B385-659201D21E1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de821b77cac4b7b39751bb05fbac1e4f245890b5","datavalue":{"value":"W2149462209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845982$B5862D15-59D1-4FCD-8C27-601B2BA55D63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a08a2389192c4a9237b64c1e9662bba3d75a5ba","datavalue":{"value":{"entity-type":"item","numeric-id":65108,"id":"Q65108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$1E0D492C-039F-475A-A58B-86944318B4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a73b7e48adb4260cb48d91e95198beb0803e94","datavalue":{"value":{"entity-type":"item","numeric-id":5952197,"id":"Q5952197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$6BE235B4-EBA3-4E81-9C75-AB115560209C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ebd4454b54184f26e93b0e1673fef22ecd7121","datavalue":{"value":{"entity-type":"item","numeric-id":4791137,"id":"Q4791137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$84C1C067-3D1B-4729-BE95-E5B10E6D4F95","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":"Q845982$E2B174B5-622D-4CBD-BD2D-AD979B9EE3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112b499f7dfb3d45b598bd0bbb0f66c0e890c2d4","datavalue":{"value":{"entity-type":"item","numeric-id":127532,"id":"Q127532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$FA360416-E3BC-4E75-A114-ACEC4005AF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3a53d24f4b7d15ab9cefa78c0b997ec28a55cf5","datavalue":{"value":{"entity-type":"item","numeric-id":5943421,"id":"Q5943421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$84739C99-4D9D-46AA-BB79-5B7D9AEB08DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7d99d3e0eaa3f7aa689afeb275342a23bc3966","datavalue":{"value":{"entity-type":"item","numeric-id":4813404,"id":"Q4813404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$537584F4-BEDB-4039-85E3-FED8C9F9B626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"612665de491d8ee4f2e59f09dc2b8a72bbba031f","datavalue":{"value":{"entity-type":"item","numeric-id":957169,"id":"Q957169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$5C24350E-A2D5-4A74-A568-33EE3DE0740D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4ebc1182679c5a50661a4d7a547e105a48e505","datavalue":{"value":{"entity-type":"item","numeric-id":4448263,"id":"Q4448263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$72C990EB-A54E-4A3D-966B-E9CFEC058842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8793a352725696ee976b244569189d060c2803f2","datavalue":{"value":{"entity-type":"item","numeric-id":4864293,"id":"Q4864293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$03E261CF-7069-4AF0-AD85-27B0F1C4A7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7609fe02bb09f9aa1830e5508cb4fe116e9827b","datavalue":{"value":{"entity-type":"item","numeric-id":4935997,"id":"Q4935997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845982$E555C35D-2645-469A-B0FE-741BF78D1705","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d46cd4c3e140f40a30b144c8b86b9666f3b1328","datavalue":{"value":"10.1016/J.IPL.2006.11.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845982$1E6383D5-FFF8-4185-B761-2E4AD6ABC697","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An empirical study on classification methods for alarms from a bug-finding static C analyzer","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_empirical_study_on_classification_methods_for_alarms_from_a_bug-finding_static_C_analyzer"}}}}}