{"entities":{"Q526771":{"pageid":528538,"ns":120,"title":"Item:Q526771","lastrevid":62501868,"modified":"2026-04-11T06:31:53Z","type":"item","id":"Q526771","labels":{"en":{"language":"en","value":"Empirical software metrics for benchmarking of verification tools"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6715526"}},"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":"Q526771$1CE51744-56CB-4E5E-887D-00A74362C332","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"12cde757a152a34a00aee380c1bc14016f72e849","datavalue":{"value":{"text":"Empirical software metrics for benchmarking of verification tools","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q526771$D4BF3CAC-F666-46E8-A866-692DF509DB04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e657db0c5f2ba0415465bef9ef1c143a86aaa640","datavalue":{"value":"1360.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526771$5A75B7BE-F21C-49E5-B5CE-34B060E8DC69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1725bb2197477c66311e84f9e7a255e784ffe278","datavalue":{"value":{"entity-type":"item","numeric-id":526768,"id":"Q526768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$04AF890A-CC55-4962-B28C-B3BF25C153CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc457595a8a04dfb394d942347fdc03d8362be42","datavalue":{"value":{"entity-type":"item","numeric-id":526769,"id":"Q526769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$4A2B415F-DE5F-4EDE-AAF5-8EC6B9B57931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab766bab7d2d121997187bafff958b477c6b8a01","datavalue":{"value":{"entity-type":"item","numeric-id":234696,"id":"Q234696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$6A79889F-460D-4A67-A3BA-D88D5A81B274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b332ee779277e7cc941f7c72c75777e418fe1f4","datavalue":{"value":{"entity-type":"item","numeric-id":526770,"id":"Q526770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$1153A548-360D-46A7-BEC9-B20E437A2CFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$D5415436-9F4A-4D23-A9AB-8B29B196750F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edf4e654995b527c1583dd79535ae94d23c9eef6","datavalue":{"value":{"time":"+2017-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q526771$2763A7FB-615C-4CBA-B2F7-3B172899974C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526771$5109CA21-8418-463F-8FEB-2D112D0E338B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526771$7351E8F7-0116-4FF2-B4F3-59C5FF3DCAC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5218897033aae20afe2fb7a18542025e53b3c20d","datavalue":{"value":"6715526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526771$792F097D-77AD-4CF9-A97B-EFC08973B4D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q526771$39283AF7-FAEE-4378-B36B-C3A0B891C249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68df252f7b452b8146b6b2e4e8d2f950ec481ef0","datavalue":{"value":"software metrics","type":"string"},"datatype":"string"},"type":"statement","id":"Q526771$FCB8D904-065B-4434-A107-7C861CDF8665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q526771$1229137B-F60C-4D62-A3CA-E95F5697371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e0fb8187adc6053f75500f87b1cb3710e0f9a","datavalue":{"value":"algorithm portfolio","type":"string"},"datatype":"string"},"type":"statement","id":"Q526771$89179AFC-D32A-4355-AEC1-2EDE7ECBCFDE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9c1faba8068a10a9e9567e8d2398f859691d115b","datavalue":{"value":"Q59607221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526771$0F8E97A4-E843-4CA5-A7FF-C518DC3BE3AB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$04F240AC-45C3-4F57-A5BA-78B435E62FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"13535746bd7cbeebdac40964f20e4617b2399076","datavalue":{"value":{"entity-type":"item","numeric-id":23403,"id":"Q23403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$DCB69BAC-7B90-4425-A502-F099DA82DAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83fda35176366cfef58fa301b57955be47b313c1","datavalue":{"value":{"entity-type":"item","numeric-id":36995,"id":"Q36995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$5AB7EFB6-AB2D-4E9C-8CDA-3C1AB9DFB0A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$A7B856EB-696A-4F08-8DB6-ECCA69087AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1439fcd0419fee747c539ffad45b3a88fc862e8","datavalue":{"value":{"entity-type":"item","numeric-id":17032,"id":"Q17032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$3AA5488E-9DC7-4386-A327-3AE923503A27","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":"Q526771$41B8AF5D-E82D-44E3-9382-C81B2AAC5EA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5185d171cb78c1e7d18783ab49df61c0d87e8a83","datavalue":{"value":"https://doi.org/10.1007/s10703-016-0264-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q526771$7F76B832-E869-429E-BE66-B90DB43A8209","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8523a2a498679a4fa76cf36ad38978aa46af8042","datavalue":{"value":"W2570655340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526771$044BC215-6AD2-4C7D-B21A-5C53F1846268","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4eb7cb075a2b50ee568cd2888f27995caee3fed","datavalue":{"value":{"entity-type":"item","numeric-id":491662,"id":"Q491662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$1FF48F17-1CB1-4706-89EE-37F58EF15FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15eecfeac02b56820c0f4e58290467293549debf","datavalue":{"value":{"entity-type":"item","numeric-id":1020496,"id":"Q1020496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$0317C3AA-4D6A-419B-9F3C-C0B4D722CE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad7f4489d4c89d794424e5e3872c38fe58d4c967","datavalue":{"value":{"entity-type":"item","numeric-id":5429342,"id":"Q5429342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$B4507AD6-F639-43B2-B989-0DF1748B55D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1567a09831badd078143bff84c1a31067ac56c49","datavalue":{"value":{"entity-type":"item","numeric-id":5483032,"id":"Q5483032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$235B359B-841D-4AC9-9EB2-7D0B67509DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55d56124cedb4408d02605d70493e20476b6800","datavalue":{"value":{"entity-type":"item","numeric-id":3093210,"id":"Q3093210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$04EBA677-0413-458E-A4F4-F4E27027A7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$5DBB85A3-DCD6-4047-90FF-3D6F0F8F0684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c4689770e0d7eb00aa371cadba961dd5dacec2","datavalue":{"value":{"entity-type":"item","numeric-id":1900989,"id":"Q1900989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$A2D4405A-198F-432C-B449-CA1C9384F609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$DFF8A22F-0BBD-42F1-829B-67ADA21326DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26efd78e544357dc906756a8cde9d92440028650","datavalue":{"value":{"entity-type":"item","numeric-id":526771,"id":"Q526771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$266DA491-7A89-46E9-9DBD-184FF6716901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b217ff11cf9dd359dae45e5255020c44b6d7e2","datavalue":{"value":{"entity-type":"item","numeric-id":5940819,"id":"Q5940819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$A70A6316-3727-4B47-92FE-79229DF89453","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b755ccaf11f663402ce30795e429f503c3bb0a5","datavalue":{"value":"10.1007/S10703-016-0264-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q526771$554FDCC1-7E9F-4DC1-A639-438EE381AED3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f650683a123d16d350baf5cb4a1008f2cd0fc12","datavalue":{"value":{"entity-type":"item","numeric-id":1791175,"id":"Q1791175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e9337e4575fbe46cd0c241065519ababd1ec79","datavalue":{"value":{"amount":"+0.6496802568435669","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":"Q526771$BC2D49D4-85CD-417E-9CF3-3740BE2716A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b247565fd34f906c1708cfd2fb10fd7373feaef8","datavalue":{"value":{"entity-type":"item","numeric-id":5408525,"id":"Q5408525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9014097e66694ac9f724182bf03662b8af642f4","datavalue":{"value":{"amount":"+0.6463308930397034","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":"Q526771$2F08D8C6-EDDF-48C5-B1D8-8AAC4763DBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db07c7276002091a8e8df2efd66824c1945422a","datavalue":{"value":{"entity-type":"item","numeric-id":3521805,"id":"Q3521805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b6c420571156e01a980c75379c882adf649924","datavalue":{"value":{"amount":"+0.6461967825889587","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":"Q526771$39406C8A-5BD3-41F1-B5A1-A51E678C9E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d64527e8682583a009c6f84084df0114f843bd46","datavalue":{"value":{"entity-type":"item","numeric-id":5716571,"id":"Q5716571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4870491749b8d61196f2de46f4e4fcc72ed900ba","datavalue":{"value":{"amount":"+0.6444805264472961","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":"Q526771$5F2532CA-A31B-40AA-9141-27D572192347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6074c0b456c2c33d336d95d4f010c844e0e7d639","datavalue":{"value":{"entity-type":"item","numeric-id":5200023,"id":"Q5200023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593f6aff259e534623b2525ca24bb0e69d152c48","datavalue":{"value":{"amount":"+0.6371425986289978","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":"Q526771$C75435B8-33C1-4CC6-93F7-5977F231E452","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q526771$3FF41978-4CE0-4ED1-B12D-BFA262F89D63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Empirical software metrics for benchmarking of verification tools","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Empirical_software_metrics_for_benchmarking_of_verification_tools"}}}}}