{"entities":{"Q746769":{"pageid":748618,"ns":120,"title":"Item:Q746769","lastrevid":64030947,"modified":"2026-04-11T17:10:36Z","type":"item","id":"Q746769","labels":{"en":{"language":"en","value":"Program repair without regret"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6496663"}},"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":"Q746769$B2AE2625-95FD-4A6B-9E02-3013C783E426","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6995d2c6fc62ac1564d0c1df419dadc6d8d5ba08","datavalue":{"value":{"text":"Program repair without regret","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q746769$76DD22E6-6B48-4A1C-83EE-8D43DA621FD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a7b04750875c78aace624998ff37d6aa961082b","datavalue":{"value":"1322.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746769$53231D38-39A7-4297-89A4-1428F4D70F79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbec85a56b2cca57908b850e85939317ace6d7f","datavalue":{"value":{"entity-type":"item","numeric-id":746768,"id":"Q746768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$9CC44066-48B0-4189-83CF-28275B6DAC0B","rank":"normal"},{"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":"Q746769$4E329024-BA75-4FCA-8892-E477A44F416A","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":"Q746769$DB3122AB-1DE5-4C23-AB0D-7A684BA6B263","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ca124807d665f1ac71f73d3aada45c27dfaabea","datavalue":{"value":{"time":"+2015-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q746769$7B67E749-17D5-4A56-95F2-77C912E9ED12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"115bd733ddbf992206375dc404c4603a666f18ba","datavalue":{"value":"http://infoscience.epfl.ch/record/283987","type":"string"},"datatype":"url"},"type":"statement","id":"Q746769$A18CEB42-1E57-4647-B097-1C3F2CB8CC1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746769$ED8F7258-B237-480A-B2CA-016C97222E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746769$C4F5DD65-714F-44FA-9616-7C5827EC20A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746769$B9148293-63C4-4C4C-AD48-1AF29CDBC651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746769$CA99AFF7-A209-4771-94E2-0BCFA4C6122D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b902281113a95d92f7f55074877f91ccd1be0497","datavalue":{"value":"6496663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746769$4CC3A5DD-B867-40D9-AF47-EF55878B6CDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3386a1f0bafad9664e10e39a94194e8f9601258","datavalue":{"value":"program repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q746769$6F7E4FE7-6DC4-4E1D-907E-6852FEEA9606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q746769$64F55DDA-4F0F-4775-BB69-A387049F3214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q746769$9FFB6AE5-0CCA-4014-8E16-5E34456AEB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q746769$6D07A862-A8A5-49F0-8134-276806031D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q746769$4CCE7F41-DDFF-4A43-92CC-873B922FCC07","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$8357C25F-4224-42C6-B138-C5BF3A92F440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$320614F0-44EE-4063-A1A1-85D1D49780E6","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":"Q746769$9B58942D-F721-4C3A-8878-FB583BAEA349","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eba5d6fa3f9550bb8613851911c0a3c7fc046deb","datavalue":{"value":"W2144540268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746769$8E182E19-3569-42D1-A819-D2BD66FF0E58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4d2f7ed996466b4966cddf35714fb897a6ed86","datavalue":{"value":{"entity-type":"item","numeric-id":5326323,"id":"Q5326323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$8B8892AE-BCF6-4983-A91F-231B4963EE6E","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":"Q746769$A0FB4CDF-BD78-4807-AED4-30EA85307B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc2729c61af78a185581c0459e21197f966160c","datavalue":{"value":{"entity-type":"item","numeric-id":1938357,"id":"Q1938357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$298B7730-A6BF-4E7C-A32C-0595061EDFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$63646488-8697-4499-A6AA-C77D7BF9A1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5964ee821a589a1bd8e7ebea46211c9ae2aee2ba","datavalue":{"value":{"entity-type":"item","numeric-id":3584934,"id":"Q3584934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$96566D85-8B61-4F05-8043-6992D8AD0862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$13CE7E42-B06D-4F1B-9B2E-454CACFA2CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$591C5267-AB54-4917-8955-B9F87E19E9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ecdd282e2de3999f752a048cad01ed93859af","datavalue":{"value":{"entity-type":"item","numeric-id":4305671,"id":"Q4305671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$F828EB0E-E00E-4203-A213-690208587C78","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":"Q746769$160FF1F5-2EF1-4501-A99F-082525CBA2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f6a5ae3cba37781f312c25bfd6cc7cd806a071","datavalue":{"value":{"entity-type":"item","numeric-id":3519514,"id":"Q3519514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$8BABEAAA-DB67-473E-B355-551DD778371B","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":"Q746769$23195A21-DEB4-43E6-A451-4BF33EBDB48D","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":"Q746769$0719445F-AD50-44C7-95E1-7190E8018ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b1acc7367c5793963a315d7c5e04a1e65e018","datavalue":{"value":{"entity-type":"item","numeric-id":414907,"id":"Q414907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$C381EBA3-6553-4694-B6A6-7C60E4BE3F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22776ab6df6d965eee7a85c38c01c6d8ff808663","datavalue":{"value":{"entity-type":"item","numeric-id":5426071,"id":"Q5426071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$C7A615D9-2B6B-4D2C-B876-338B81723C2F","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":"Q746769$2FB25AFC-AB19-4FEF-A992-0465AC0F7305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$41304C79-FBDC-4BE0-A2C8-9306F5AF1766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$B5135B6E-DE3A-4F1A-9AE4-5B64B0D5D094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$003042A8-4B68-4EDD-A45A-50933A6A1E92","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":"Q746769$784429FA-BE97-4E38-BE3A-C8BED4B15CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f353ad170e54f87f94c55f9cea2b36a3ecf99c4","datavalue":{"value":{"entity-type":"item","numeric-id":3617728,"id":"Q3617728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$1950CE44-A663-4DFC-9DC1-7FC14150C83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b0d69dbca391e6dca8205dca5a5587bf05bdd05","datavalue":{"value":{"entity-type":"item","numeric-id":746769,"id":"Q746769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$86EC3E4A-EF53-406F-A8B6-B02A53BDED52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39a2fff81d960a2279606005f918886865d7fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3617756,"id":"Q3617756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$3D2F39AC-74BA-48A9-8807-9BE886F6D144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69d4be5d058c1095b093c44e95949ad0588503f0","datavalue":{"value":{"entity-type":"item","numeric-id":5255086,"id":"Q5255086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q746769$5772D37E-67D8-4F47-8A8B-C4F8299F2B3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"461d34e344cdbc523523f8af32a01ca690212855","datavalue":{"value":"10.1007/S10703-015-0223-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q746769$395D625B-1948-4AA9-B5CC-133AE226E96A","rank":"normal"}],"P1643":[{"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":"f3319e686a5c180e6a82cda905c8e932216775c0","datavalue":{"value":{"amount":"+0.819789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q746769$09990E86-0D24-4703-AFB6-9194753532BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68a1df962c0f52f69aad7518363f875ff81cc06f","datavalue":{"value":{"entity-type":"item","numeric-id":6171820,"id":"Q6171820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6088c2daa4a3fd5a24483b8b7bc89c008efa8001","datavalue":{"value":{"amount":"+0.8022541","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q746769$2AE2603A-EE2A-4BCE-A2B9-A2F3F81436B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01ff3405c12ac21cc62be24a9f7472202630a9d","datavalue":{"value":{"entity-type":"item","numeric-id":3297603,"id":"Q3297603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cb78724eaa68143caa6bf108598affff47d560","datavalue":{"value":{"amount":"+0.78478575","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q746769$640D283E-E16C-4088-8FFA-0981F5BDF727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed11431a5d1202130de7bd90688dcb6a8474e621","datavalue":{"value":{"entity-type":"item","numeric-id":2226765,"id":"Q2226765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c07f0079d9d7b5a8739d6ed31f5f9727e103d32","datavalue":{"value":{"amount":"+0.76027787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q746769$F5EC820A-2713-4BD9-9BC1-0C8A75FC3A56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program repair without regret","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Program_repair_without_regret"}}}}}