项重写系统排序

ordering for term-rewriting system

пословный:

项	重写系统	排序
xiàng 1) тк. в соч. шея (тыльная сторона) 2) пункт; раздел; объект; также сч. сл. 3) тк. в соч. сумма (денег)	_rewriting system	páixùсортировать, упорядочивать