{"entities":{"Q414907":{"pageid":416674,"ns":120,"title":"Item:Q414907","lastrevid":61672701,"modified":"2026-04-11T00:53:04Z","type":"item","id":"Q414907","labels":{"en":{"language":"en","value":"Finding and fixing faults"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6033504"}},"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":"Q414907$06E43905-0AB8-4A99-813A-78C81FDEE1F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c263c9da32d2623de1f64e3683fa1cb474cc316","datavalue":{"value":{"text":"Finding and fixing faults","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q414907$7692C0E2-B8F9-491C-BD37-B0A05326B72A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"431f202ad33ac7b06732c286c23e12d769599571","datavalue":{"value":"1263.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$3324D2D0-CC23-4217-A2EB-9FD1DE178714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6abeeffb83ba8432b91ff805881a68bc6cd4285","datavalue":{"value":{"entity-type":"item","numeric-id":414903,"id":"Q414903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$CF5974D7-1AF0-4AAC-ABFD-DA5B8172F1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b580bdac67b0440ca2f65d83e92f30e4a034ab7b","datavalue":{"value":{"entity-type":"item","numeric-id":414904,"id":"Q414904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$0453232D-3971-4A2E-A5E0-AADFDCE15A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58e54686f58864819aab983a70ae5584143f9edb","datavalue":{"value":{"entity-type":"item","numeric-id":414905,"id":"Q414905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$0C4E1A0C-9D9B-48B2-8864-DD5A3EE82BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$620E04B2-0302-44F6-B695-3C78D7C1DDA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$E44C8ECE-6A6F-4C7A-91C8-E6119DD8C001","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ebad7c55eb31a5728be157b82e80bb61556d824d","datavalue":{"value":{"time":"+2012-05-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":"Q414907$3E81073B-EBB3-4E8B-99D3-9E8E86206299","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eabd2cd31c3c57bfc46dc377e1cd3501e5bb3230","datavalue":{"value":"The promises of fault localization and correction for finite state systems sound like magic. However, the algorithm proposed by the authors makes intuitive sense, and it is given a reasonably clear exposition in the paper. The algorithm extracts a ``correction'' from a winning strategy for a game, constructed from the original program and its specification (expressed in linear temporal logic). The authors apply their algorithm to six examples: unfortunately, all six examples are small in scope and tersely presented. It remains unclear whether larger examples remain tractable with this level of automation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q414907$6833BA0A-BA4B-4B0F-B7E4-F6A34DB5545B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$6A483693-3A7F-4D94-86F8-34AA78C002D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$78D487B2-4D0A-4A94-818A-CFADF490FE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$C4ACE085-8208-45DB-859B-C4B22F35ED25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$A8292338-12DF-4A8E-9DBA-B5B9575EEBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$97C730BD-0321-4FDE-BD51-3F4098A84349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$11F5EC28-6BE6-4C87-B36B-B009BBD1A71A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b2b36d4e926edb0ea4daceee664726d5659ee91","datavalue":{"value":"6033504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$28D65D91-C851-439B-96E4-135282880AEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q414907$0397877D-0B69-4388-89E4-2BED110D17EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9f92c2e6068584c86628409e9187b33f6f8eed","datavalue":{"value":"fault localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q414907$8AC5867E-5CC2-4D05-91B1-993BAFB57B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2c72e2062b5429b55049b591d176439a765fd7d","datavalue":{"value":"fault correction","type":"string"},"datatype":"string"},"type":"statement","id":"Q414907$13912C06-A91C-454D-9D84-A328CEFD29B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q414907$A6C28025-3D73-4FB0-ADAF-201004FBDE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q414907$1067AE0F-E09D-4446-AE90-D1EA0D453602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q414907$E92963AE-2A0C-44F1-A93C-EC9FED1FA874","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33280de7df3b0036beb2f773d6c63295d582e886","datavalue":{"value":{"entity-type":"item","numeric-id":55703,"id":"Q55703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$8FF7D476-9225-44FD-B54E-7DB6F5F79370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"852539a665ad403539d6f678ec84d1452a67edf0","datavalue":{"value":{"entity-type":"item","numeric-id":28349,"id":"Q28349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$67AF2809-24C0-413C-ADA6-A9BC45612232","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":"Q414907$5FC0CCB4-8623-43C9-9580-CA73F65F0D17","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":"Q414907$92CFCF9B-C2BD-4D0D-AE06-0B203A4FA47E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"296015c682caaa93b909411913485eb1c73ec9ad","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2011.05.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q414907$9FFCB4A0-4C97-413A-8554-B4CDC4024B8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb3bebb07852e7c1facda0071ac9d21aaec31171","datavalue":{"value":"W1993529189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$CC8AC470-E18E-4D85-9F21-14308FFD1B33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$C9209871-F6DD-4322-9512-49ADBF72BCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$D755CAB3-AA1C-4499-9183-1E3C077CA4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb43f426ba479be24e9ec30169892dd5239008ae","datavalue":{"value":{"entity-type":"item","numeric-id":5716562,"id":"Q5716562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$111C4AF8-487A-4F26-A3B3-E400BEF4FFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b052d1d45bcd9876a8444511cf4ae1fef90ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5493214,"id":"Q5493214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$20499DC5-2025-4288-8195-96DF1377F0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604d18bd5db33b46dd0ebffff25aace1ee6c7166","datavalue":{"value":{"entity-type":"item","numeric-id":4738472,"id":"Q4738472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$7F836429-546C-4E47-ACE5-F8FE77A330F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363df53d3addb1810ec9823448e01fcd5b6e0581","datavalue":{"value":{"entity-type":"item","numeric-id":5308387,"id":"Q5308387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$4A9A1B30-AFEF-46FC-90B9-E0B3139D287A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9da60a7b89ed85c50afcb702099ad11a9c17ef","datavalue":{"value":{"entity-type":"item","numeric-id":4426376,"id":"Q4426376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$1329036D-A725-4C1E-8E8E-4A439A9A3A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$C5F74242-5A04-44A1-95FC-3DDECD6E7F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ac1ff1089d1fcffab7e581996daa024a17da6a","datavalue":{"value":{"entity-type":"item","numeric-id":1606301,"id":"Q1606301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$CE9F849F-1043-4388-AD35-9E9368DBC614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6733b7bbb3da2725018c9c6a7b544f9ef86c0eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1101418,"id":"Q1101418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$8C2B2928-C516-4615-9232-F9FB9112DE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$60CEF335-E450-4472-B0A0-A40611424FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9740483054aa8528188acd57ec2d4bbd120f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4808499,"id":"Q4808499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$E424AB2C-A756-4EB6-961C-0D9379EC6101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab2a7dd415a915f4e797829dffa869892f7c19","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$099BCA87-F62A-4A3F-9B2A-3F42A17247BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b82b943ef6f04aab6939bcfa83d0d3b98b0678","datavalue":{"value":{"entity-type":"item","numeric-id":4936149,"id":"Q4936149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$28169E50-A1FF-460C-9BFB-9797CFD596E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79eec4b97bec28f5713ef898e819be0ee7fa02ca","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$4B659900-7B4D-46A0-B7A0-42053FE37CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$B219357E-E237-4BDB-836E-A98A2FC45F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11f5746ea4bacdd7b399439ead75c0b127d95cd","datavalue":{"value":{"entity-type":"item","numeric-id":5277690,"id":"Q5277690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$34ED2334-C4A4-4BBC-B998-AAEB5A12CA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c2045a7ec56e01f15e3eae4db248ef2b73a81db","datavalue":{"value":{"entity-type":"item","numeric-id":1132111,"id":"Q1132111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$313E404F-DBE8-4E05-ABD1-0EEBC13EB32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db03ae23b54f74c437ab68d89cbbad8954a9c93f","datavalue":{"value":{"entity-type":"item","numeric-id":1102899,"id":"Q1102899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$E1B76C55-F463-4B3B-9D16-59C0A7E73633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838707bf4de0869fefea7874f2733fcafb4365df","datavalue":{"value":{"entity-type":"item","numeric-id":4262605,"id":"Q4262605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$D5BBF797-103A-4F18-A241-C050C7DFD9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d86aea778343072a3160fb17bfd25242a00010","datavalue":{"value":{"entity-type":"item","numeric-id":4888830,"id":"Q4888830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$81D61AC2-F443-4D62-B052-F80E89010114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde643d6528b9759054a68d56fcebc030f48ef7e","datavalue":{"value":{"entity-type":"item","numeric-id":2505621,"id":"Q2505621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$D87C551B-0DF0-49E5-B59A-0BC50B4FC8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$21B7CE24-CD10-4E3C-8549-DA4D065D84CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$9FBE053C-2E3B-45A2-81F7-9F30E9593155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$A1313F9C-5200-4933-B066-1BBAEB756183","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":"Q414907$4EEBFFA5-38B6-4ECD-8115-533923160748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4195608d550bad4835ecef06e7efab3f8dbf4a","datavalue":{"value":{"entity-type":"item","numeric-id":3612477,"id":"Q3612477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$B13A8BC9-C900-45ED-8745-27613E2FE49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$EE6D46E3-28A2-4394-9A41-F9C606FF1D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a367f19903189248c0fde427c61b4e42f7982a88","datavalue":{"value":{"entity-type":"item","numeric-id":5756732,"id":"Q5756732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q414907$22B806ED-109A-4A21-A448-450B255EE73F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b96f4d2ba841772f5e1c7b8e2aaa71ae4e3cb8f7","datavalue":{"value":"10.1016/J.JCSS.2011.05.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q414907$2C17BDC0-31AE-4DC6-AEC6-787AF7D35DED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45779c0336e2d950a84ac99c2ef32b295134f329","datavalue":{"value":{"entity-type":"item","numeric-id":5493214,"id":"Q5493214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02ff8e64663bb06caa2105245ad5682d50b90fce","datavalue":{"value":{"amount":"+0.8757940530776978","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":"Q414907$78E150A7-61DF-4A81-8DA9-F94DC4EE7910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12ba20ad63d24340af9f435a201ad069456435a","datavalue":{"value":{"entity-type":"item","numeric-id":5716562,"id":"Q5716562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1bc6f8b2687a5a9337ac0b87b4e84018ab3e8d","datavalue":{"value":{"amount":"+0.7878250479698181","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":"Q414907$4E69D9AC-31EE-4DD5-8DE7-35273E64FCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7813140a3f9852766ef1b8012544f87f6093c8","datavalue":{"value":{"entity-type":"item","numeric-id":5756732,"id":"Q5756732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a950af768f726c4141a324d48dadd6e979dcafc0","datavalue":{"value":{"amount":"+0.7473971247673035","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":"Q414907$3C809223-9A9E-4BE4-951E-0830C4B5ADA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a12c7adaf34652db4f7d23b6461680351d338055","datavalue":{"value":{"entity-type":"item","numeric-id":5711507,"id":"Q5711507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5a2fed434ed93beee348a63fc5f6b797d759ae3","datavalue":{"value":{"amount":"+0.7400465607643127","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":"Q414907$15AEE19B-7B5C-44A1-A935-DE456E8C9497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe7e0ad4a852e964dadf7dda65e8431e3b3fdeb","datavalue":{"value":{"entity-type":"item","numeric-id":3612477,"id":"Q3612477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03305bdf13a9c95c3d62d1b0742f9d530afa2ad3","datavalue":{"value":{"amount":"+0.7390418648719788","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":"Q414907$369F9773-234A-4ACB-8492-1E4E2A1037D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding and fixing faults","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finding_and_fixing_faults"}}}}}