{"entities":{"Q3303900":{"pageid":3314608,"ns":120,"title":"Item:Q3303900","lastrevid":58151748,"modified":"2026-04-04T00:39:42Z","type":"item","id":"Q3303900","labels":{"en":{"language":"en","value":"Connecting program synthesis and reachability: automatic program repair using test-input generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228165"}},"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":"Q3303900$431459E1-627C-4939-ABBD-325B89B43E74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad2b10cd1bad3c1b68c1fd213572741637a769e0","datavalue":{"value":{"text":"Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3303900$81A7F93D-5C21-4F11-AB5C-77F171CBD783","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d94bcb085348daa611e58005eca795fcd7354a60","datavalue":{"value":"1452.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303900$69BA699F-4366-4D33-9212-7714F376EF9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adae87f380df4f2ddc00f4f7b06cfc9eedba7f24","datavalue":{"value":"10.1007/978-3-662-54577-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303900$E8BA56FA-98B3-47E7-8685-70A810339BD3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d41fc3f3c9c894d32f24de62ce65a725dda09de","datavalue":{"value":{"entity-type":"item","numeric-id":2467351,"id":"Q2467351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$CB80EACF-C4CC-4728-B62F-8F0010A3E586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09e66114587b4090d0acd5e165d9ce2aa2b96b3a","datavalue":{"value":{"entity-type":"item","numeric-id":2985772,"id":"Q2985772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$96300374-3583-434E-BD09-6E507A9F94F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a60a38320311da18eda10821922742954865726","datavalue":{"value":{"entity-type":"item","numeric-id":394492,"id":"Q394492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$9840C67B-E935-438B-A255-C9CC4F78D6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b134bd15b7426272d78e5fa51fa07d1593d37974","datavalue":{"value":{"entity-type":"item","numeric-id":253666,"id":"Q253666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$E1DEE730-19DC-4AD0-8E57-357DF777EB36","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":"Q3303900$AD2DB419-6F63-490A-BCA2-C778535C7497","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3303900$2E57F756-0089-4ABF-AAB1-ADE0810C42C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"008689750d6c5452b7899698c00c8627c3e9c8bb","datavalue":{"value":"https://arxiv.org/abs/1903.11765","type":"string"},"datatype":"url"},"type":"statement","id":"Q3303900$981F85F9-CF56-41F2-BEA6-2F4D02ED0043","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303900$0D1985B0-FBF5-4100-8580-16C1B3A6CAFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4292ddd89652003c40c46ee6b144a0782ce53c3","datavalue":{"value":"7228165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303900$B067E8E7-28C0-40D2-BF00-487896FCEA7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303900$31ED783E-B5D5-425B-8430-AE1379DB28C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303900$2BA81672-AEAF-4C87-9EE7-9A0EEFBC2C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85539c22cfbdc66ef749b418b68c0c4151d847ad","datavalue":{"value":"program reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303900$03784E19-4385-4DCF-8A9D-69244CBDB7BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d465743145819a62bd702f9549a65323b00c2b31","datavalue":{"value":"reduction proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303900$A633430C-21A4-44BC-BCDF-3DB47F048A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5638d8ad125c0d6c8c7a9b028bc5ea7196e15214","datavalue":{"value":"automated program repair","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303900$A81CE5AC-1B5F-4A3B-A8AC-EC424B20012F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2009fc235ebd28d45a281c6382a72a4c4d8ba0f8","datavalue":{"value":"test-input generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3303900$0E0E9462-4FA5-4204-B4F0-8A64DBB1F4B3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee4f5255bb49442f46aa251348898f558ef7d0ee","datavalue":{"value":{"entity-type":"item","numeric-id":25751,"id":"Q25751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$7B5D73D3-64F0-42E8-A7D1-1FF3CF5FCB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f590c3510e2f0e071d09185351fa4fdfd54fd4aa","datavalue":{"value":{"entity-type":"item","numeric-id":29307,"id":"Q29307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$C70FF086-7774-49A4-84AA-EAFAA241F016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e6285a57fe7db7429c9f09d37319cb172729add3","datavalue":{"value":{"entity-type":"item","numeric-id":29308,"id":"Q29308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$55CCA021-D63D-43F4-8CF9-F38ED1622A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98b0e3332fa0847110aed158053f2b07301ef163","datavalue":{"value":{"entity-type":"item","numeric-id":38609,"id":"Q38609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$9A553FB6-4F25-44E1-AAD1-9D0E43BD8209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$BA959DE2-AD5E-4EC9-8049-8C0D97CBF44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$4B5AF4A1-122F-4257-A8A7-1F810FCD3FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$D29C73CA-1ECB-443C-9CF3-F204675CB93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$CCF7723C-C142-411B-B370-C9937E672DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$5A343AA6-27E0-44A1-A977-F42C89063EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6377d9e2443ed2d598838b0cb43c6c6774ad62ea","datavalue":{"value":{"entity-type":"item","numeric-id":23972,"id":"Q23972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$9DDF584A-B232-4A3B-8739-CB6D3F727205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad03d9c4dbcdaaddb400f75c486b1d8804afb4e0","datavalue":{"value":{"entity-type":"item","numeric-id":38420,"id":"Q38420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$1478C7A2-FA0B-46D0-A4B1-5C51366A4397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"058532df82e0724de089ed098635a63d93b37fb0","datavalue":{"value":{"entity-type":"item","numeric-id":38421,"id":"Q38421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$6EE6418F-CB79-4CAB-BC15-3C6E61B38CDC","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":"Q3303900$F2FE688F-6AA0-4693-9EE5-58CC7E37410F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7b5932c641519c64e732f4366a3c1cb1cc0f016","datavalue":{"value":"W2548645575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303900$607238A2-1CBE-46AE-A2A7-F95472684D15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe474999dc41e4d983b6dc478eb7cb8b95494af","datavalue":{"value":{"entity-type":"item","numeric-id":3000646,"id":"Q3000646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$074AD3C7-ABFB-4899-894E-C50A3FC4A32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd164a9365d0b56b26397794a343749f485a4186","datavalue":{"value":{"entity-type":"item","numeric-id":5408553,"id":"Q5408553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$57E1002E-40B7-42BD-BB8B-65F87EE05A09","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":"Q3303900$BE1D6A8F-DEFA-4E31-81B3-760F0D6D09F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e1d7ac7f349d5b86be2d03d5e871137657e28d","datavalue":{"value":{"entity-type":"item","numeric-id":4738390,"id":"Q4738390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$2C55FA42-5576-41B2-BDEB-A32D4AFC57C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e129a2d157f11eb104b6683d0c548da586ae805","datavalue":{"value":{"entity-type":"item","numeric-id":5823276,"id":"Q5823276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$FC9637D1-1FB6-407B-B4D6-3F1F593E0A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303900$C550F812-E0FF-491C-86E6-2E9B1FBCA0EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a522abc1d0facdf5ef53f3e0d69cb49580d40703","datavalue":{"value":{"entity-type":"item","numeric-id":2287069,"id":"Q2287069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43cb718028efb705ea694244e915f1f2bd88abc0","datavalue":{"value":{"amount":"+0.7640009522438049","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":"Q3303900$8A3D3FE6-EE2B-48C2-8382-831C3E253DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40364eb1d2a862e18efa4da1eaf91f6f00097f06","datavalue":{"value":{"entity-type":"item","numeric-id":2287071,"id":"Q2287071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f229d9be25d20d88f111760ed81bac8862a19117","datavalue":{"value":{"amount":"+0.7601560950279236","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":"Q3303900$8A4D2618-C8BB-441A-8CD8-856F62801ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc8ecadc8f71216f5c06b74929ceb2ea73a0216","datavalue":{"value":{"amount":"+0.7269448637962341","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":"Q3303900$467D81AA-EA9E-49D7-8EA3-5176C1EB7537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045fb855023b9acdd7ff9255a1c8f1080f378a49","datavalue":{"value":{"entity-type":"item","numeric-id":4707743,"id":"Q4707743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc9bce0d23c5ca049e0fdcf73f076d3f6f733ac","datavalue":{"value":{"amount":"+0.7106871008872986","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":"Q3303900$FB92B1F9-B98A-45F0-88B4-84A50FB954A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315c3004bd550cb1c78d953fe1f70bbec8baa016","datavalue":{"value":{"entity-type":"item","numeric-id":2234087,"id":"Q2234087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d19ed184a6b2d9b82292f76ce29b7bd86caec8","datavalue":{"value":{"amount":"+0.7076514959335327","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":"Q3303900$5A0761E4-2D05-423D-8287-04AE5BEE20E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3303900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3303900"}}}}}