{"entities":{"Q5433537":{"pageid":7463101,"ns":120,"title":"Item:Q5433537","lastrevid":100964702,"modified":"2026-06-05T23:33:51Z","type":"item","id":"Q5433537","labels":{"en":{"language":"en","value":"On optimality of one\u2010bug\u2010look\u2010ahead policies for a software testing model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5224403"}},"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":"Q5433537$25440CBC-E8C4-46F7-A28F-F32D4C802CBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e25176fcc2553d5ffa20c51079c1ef4b0cf5269","datavalue":{"value":{"text":"On optimality of one\u2010bug\u2010look\u2010ahead policies for a software testing model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5433537$81370B47-7CAC-44C5-874B-4FA1F2D099E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8398e25dec3d2b5754a0aece6cf1d4169c965bdf","datavalue":{"value":"1144.62345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$75F494F9-09A1-47A8-867D-9286CEB702AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e28f316a77f8b91532b0f5c98888b4804e8102bd","datavalue":{"value":{"entity-type":"item","numeric-id":342205,"id":"Q342205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433537$2B45A992-84F7-49DA-ACC7-5D0A21C116D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80560c7cb8ee5155bd06cbdaf50c2ce760a51fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5433536,"id":"Q5433536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433537$E52DCC7F-FBF8-47A4-A1BF-07355A499FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3db05661f4038fd71c861561cbafad4cd248f4e","datavalue":{"value":{"entity-type":"item","numeric-id":591600,"id":"Q591600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433537$8DFFE59C-3645-4610-B0C3-F80B575F4F55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"199bc4b5aae8aea851d1277c2affc2eece2d31d8","datavalue":{"value":{"time":"+2008-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5433537$1748A487-E937-428C-A687-0777BF85EB85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9958736d5aa4439df2da6b4b66ae0359375b0701","datavalue":{"value":"62N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$960354F2-09EF-4A00-8C55-A7D53F679DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d0e7b322622d5e8df8bd4a7f15a34940eb62cd4","datavalue":{"value":"62L15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$77D9530F-1C18-4BEA-9736-39EE49B0BDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$BE7F74BC-3E00-43ED-9B80-6A3F0201DDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2474c99ceba943e04dda4ddfffedfe45f5fdfd62","datavalue":{"value":"62F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$59F6B8A4-8D34-40CB-BDD2-15820609F1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96985b9b4d60c0f935f371b2243a7deeef976496","datavalue":{"value":"60G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$77405E48-DA92-43BF-8933-327A63184BF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51d5c11747d98c09e235c72e6f91a606daa84091","datavalue":{"value":"5224403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$538BDF6A-B905-447A-9311-E83FD53A8A3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8303a89e5e979e44e65aa210688e1071093c7c30","datavalue":{"value":"martingale","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433537$81F68EE8-D112-4C78-81D3-27A632AE78FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171b65a7cb854c9ef61376c3217a3602a3fcb270","datavalue":{"value":"software reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5433537$AAAC0AF7-A138-431B-B1B9-44ED1359426B","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":"Q5433537$42FF505D-9878-4B31-A7F2-08AF3A3E33FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2be8b5b3a7635bebb3d931de9a1dad54d34be1e","datavalue":{"value":"https://doi.org/10.1002/nav.20194","type":"string"},"datatype":"url"},"type":"statement","id":"Q5433537$A7FCD8E4-CC76-4C49-BA9A-61F69A6C9C2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ffddd01697e88d8db0f6bd440bef078b52a559f","datavalue":{"value":"W2019243921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$4CB912FB-3B7D-4552-B45D-D0E85C25B23E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"46ba9c852b1ff83f093baadf1925c8e06d74e7b4","datavalue":{"value":"Q113445612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$545C5FCF-71A8-48EE-85E8-1B2186450826","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4395f73259818e8b7ff3977bfc8bfaa5ace184","datavalue":{"value":{"entity-type":"item","numeric-id":3976295,"id":"Q3976295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433537$0008EE7C-3D92-4C8E-AE49-D6CD0EC6E6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c38a11c8862d8b1387ee8c68a906f590ac37ceb2","datavalue":{"value":{"entity-type":"item","numeric-id":1304190,"id":"Q1304190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433537$373517E9-196F-4A0A-B016-D127E1511CEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fe7e6d18efeb4f10a6010549af345526446f79e","datavalue":{"value":"10.1002/NAV.20194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5433537$9EF64FCE-6546-4216-9DC7-EE3F746E3FB6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eea2209b9e3278567abaaad300d6cf9995fef40","datavalue":{"value":{"entity-type":"item","numeric-id":2741213,"id":"Q2741213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5433537$3FED96DD-0DE2-41F4-8307-A44A055EC3D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10eb42fb3ffe11cd16a75f7f60c12a6e4715232d","datavalue":{"value":{"entity-type":"item","numeric-id":3811559,"id":"Q3811559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ea6941e1b7f93f30e74cea2fbcd9d38bcd42b43","datavalue":{"value":{"amount":"+0.7700141668319702","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":"Q5433537$A5ECC527-8546-4F3C-8E8C-91DE2A6F0964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbafd2fa0cd0ada9516bdf7b9e8d18434ef6cbe3","datavalue":{"value":{"entity-type":"item","numeric-id":1735977,"id":"Q1735977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757cbbbe0d7c4e8c56eb098e6b7505baf272acd0","datavalue":{"value":{"amount":"+0.7640267610549927","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":"Q5433537$70B1538D-8484-4E50-BDD2-BD86FDAD09D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088626405449991eb2c69bb472e714100082200b","datavalue":{"value":{"entity-type":"item","numeric-id":4456059,"id":"Q4456059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4210ea21db47449b28744b01b669a079c965573","datavalue":{"value":{"amount":"+0.7612090110778809","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":"Q5433537$8F6CE9F7-41D4-470C-84EA-D31CB7B5B289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77eccaaa05fce4436b3b5b51771be23c54a13354","datavalue":{"value":{"entity-type":"item","numeric-id":5287170,"id":"Q5287170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6fde39e9626be02c93bb3ce2218c0bab71fd0c","datavalue":{"value":{"amount":"+0.7338796854019165","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":"Q5433537$D8501E8C-433C-4B38-8F2C-54731AC43C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36fbfcc3056fe219cfe6f294732e576cfd336a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4694166,"id":"Q4694166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a93d7ae17e0fd1902e1b4e75ccea965f02243a0b","datavalue":{"value":{"amount":"+0.7333592772483826","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":"Q5433537$B1C5F298-2ED1-41AB-BD55-6C4F87059344","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On optimality of one\u2010bug\u2010look\u2010ahead policies for a software testing model","badges":[]}}}}}