rewriting (Q1668499)
replacing subterm in a mathematical formula with another term
Language:
other details
aliases rewrite systems
 rewriting systems
 reduction systems
 rewrite rule
 term rewriting
 algebraic manipulation
description replacing subterm in a mathematical formula with another term

External Links
(P244) sh87003035
(P646) /m/025qqq
(P2163) 1096809
(P4215) rewriting
(P6366) 154690210
2781222771
(P8189) 987007534479305171
(P10283) C154690210