Research Concept

Rewriting

replacing subterm in a formula with another term

Works
38,737
Citations
270,087
Level
2
OpenAlex ID
C154690210