المؤلفون: Khatami, Seyed Mohammad Amin, Pourmahdian, Massoud, Tavana, Nazanin R.
مصطلحات موضوعية: Mathematics - Logic, 03C40, 03B50, 03B52
URL الوصول: http://arxiv.org/abs/2309.10860