{"schema":"pith.reference-change-event.v1","doi":"10.1007/s10009-023-00696-0","canonical_url":"https://pith.science/event/10.1007/s10009-023-00696-0","json_url":"https://pith.science/event/10.1007/s10009-023-00696-0.json","not_a_judgment":"This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.","primary":{"event_id":225569,"doi":"10.1007/s10009-023-00696-0","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2023-08-14","title":"Publisher Correction: Algorithm selection for SMT","work_title":"International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0","work_doi":"10.1007/s10009-023-00696-0","work_arxiv_id":null,"notice_doi":"10.1007/s10009-023-00714-1","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/s10009-023-00696-0","json_href":"/event/10.1007/s10009-023-00696-0.json"},"events":[{"event_id":225569,"doi":"10.1007/s10009-023-00696-0","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2023-08-14","title":"Publisher Correction: Algorithm selection for SMT","work_title":"International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0","work_doi":"10.1007/s10009-023-00696-0","work_arxiv_id":null,"notice_doi":"10.1007/s10009-023-00714-1","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/s10009-023-00696-0","json_href":"/event/10.1007/s10009-023-00696-0.json"}],"flags":[{"id":9949,"status":"open","status_label":"Open","citing_arxiv_id":"2411.14870","citing_title":"Application of AI to formal methods - an analysis of current trends","ref_index":131,"evidence_raw":"Scott, J., Niemetz, A., Preiner, M., Nejati, S., Ganesh, V.: Algorithm selection for SMT. International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0","evidence_cleaned":null,"evidence_source_label":"bibliography line","event_type":"correction","event_type_label":"Correction","source_label":"Crossref","event_date":"2023-08-14","work_title":"International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0","work_doi":"10.1007/s10009-023-00696-0","event_doi":"10.1007/s10009-023-00696-0","flag_href":"/flags/9949","event_href":"/event/10.1007/s10009-023-00696-0","paper_href":"/paper/2411.14870","created_at":"2026-08-12T18:18:04.277141Z","dispute_note":null,"disputed_at":null,"disputed_by":null}],"flag_count":1,"flags_open":1,"flags_disputed":0,"desk_url":"https://pith.science/flags"}