項こう書かき換かえMeanings1nounterm rewritingTechnical term in computer science and logic, referring to the process of replacing a subterm of a formula with another term according to certain rules.項こう書かき換かえシステムは、等とう式しき論ろん理りに基もとづく計けい算さんモデルである。A term rewriting system is a computational model based on equational logic.
