![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
Keywords: قفل ساز; Automated theorem proving; Automated reasoning; Abstract argumentation; Argumentation; Collaborative intelligence; Dialogue games; Lakatos; Mathematical argument; Structured argumentation; Social creativity; Philosophy of mathematical practice;