{"entities":{"Q3000646":{"pageid":3011370,"ns":120,"title":"Item:Q3000646","lastrevid":51249320,"modified":"2026-01-17T10:56:10Z","type":"item","id":"Q3000646","labels":{"en":{"language":"en","value":"Specification-based program repair using SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897404"}},"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":"Q3000646$EB515845-C72D-4D3D-A596-E502936BE77B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e59e89e1b7d4eabc9c0994bb654d400ec1d741a9","datavalue":{"value":{"text":"Specification-Based Program Repair Using SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000646$0576589F-ED59-42FA-ADBD-52127B209A02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fbfde15f8ed499ebfc5280291d3099c66351d62","datavalue":{"value":"1315.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000646$20C03682-6DE6-488F-AB45-F3437B1C6DB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edc2fbf23856fbacaabc51b6d19782a17e7e8535","datavalue":{"value":"10.1007/978-3-642-19835-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000646$95765B21-AB79-4B00-8BC9-01FA12C0CE42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"869697d76650226032e4ade1fef9b85cd4f5773a","datavalue":{"value":{"entity-type":"item","numeric-id":3000644,"id":"Q3000644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000646$7503A5F2-AC7A-47AE-8181-071896F4FD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a07c0a71c055d8155c41c5a9535b933e4bdcc442","datavalue":{"value":{"entity-type":"item","numeric-id":3000645,"id":"Q3000645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000646$2B13F005-407E-4D54-9E8B-749452C56C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e678728ac7de0fcf437150e52f3d8395bfecb0a","datavalue":{"value":{"entity-type":"item","numeric-id":1621123,"id":"Q1621123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000646$CFF5C74F-196E-4FDE-B571-0C5F8DEF6C4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000646$4F268342-C0DF-4593-8A1A-76BF01953B8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000646$20AE9CCE-304C-4837-B9B5-4CC9720CA37C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000646$5D20A178-B6C7-4B29-AEFC-EC13BC208E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000646$EA7E627B-CB51-44D3-A0E8-C65807BC469E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"587cf1dd783d8b542bd7766c538c5d8a72484cda","datavalue":{"value":"5897404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000646$E9670552-54A7-42F8-84A4-8FF49F077631","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000646$3C4DAF5A-F87C-43FA-97ED-3F9BAB954392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e735a85c793db0010dc65dd8f20a7b9930086dd3","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000646$E2BD8953-E337-46F9-B1A0-8E337659E111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f0a4de35a39860c900019be657f53241dbec2ea1","datavalue":{"value":{"entity-type":"item","numeric-id":19266,"id":"Q19266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000646$FE29E11C-17E9-4104-9142-DAB6D1DED116","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":"Q3000646$EABA30E3-D604-4E2D-9292-9A65DA0EBDF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d2677fcfa6919a64a9f6518243c4a929562b9c1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19835-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000646$D1340046-5F11-4E6E-8015-324C0D37C45E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d5279c4987500680043e9269c2c97724f6db31c","datavalue":{"value":"W1553534714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000646$6F6B5D9A-5100-4E18-A38F-AEF15C3E8AD5","rank":"normal"}],"P223":[{"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":"Q3000646$C54AFB11-DD57-4A26-B8F9-2BD04334694F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000646$C96A04FB-7586-47CE-B9A6-BE5DD5DD7F04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf61a033f5f73313c4145a41518ea771fd54240a","datavalue":{"value":{"entity-type":"item","numeric-id":2281653,"id":"Q2281653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74bda01a4cdf67fd524f9217f181cfeab9b1664e","datavalue":{"value":{"amount":"+0.7740095853805542","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":"Q3000646$5274142D-2F60-4538-AEF4-D1818EBCBBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d228bb926d91885991466472accd6e04388c3596","datavalue":{"value":{"entity-type":"item","numeric-id":746769,"id":"Q746769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a8aefbb26ab2cc810b6e956c286efbb41a3498c","datavalue":{"value":{"amount":"+0.7562360167503357","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":"Q3000646$05851F96-D629-43AB-A904-BBDF50EB14F2","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":"392ff69f72d4aef549a2a621fb389267ee39dbe7","datavalue":{"value":{"amount":"+0.7561756372451782","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":"Q3000646$492F6199-320F-4E07-BC7E-AFE3B5157188","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":"4b0c6e4c6eb28294b3267c2e2592d6591919c939","datavalue":{"value":{"amount":"+0.7471245527267456","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":"Q3000646$09720452-08C6-40DF-AA06-2DC32D268358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db62d93c86a420e92e5b14767c5f65eabe63302b","datavalue":{"value":{"entity-type":"item","numeric-id":444487,"id":"Q444487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13b5e699f789f35c28e5b8badaaa4745e462943","datavalue":{"value":{"amount":"+0.7321567535400391","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":"Q3000646$F1EB1080-3CDD-4C8E-A49A-2B05F46325BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000646"}}}}}