Template:Locally testable rsp

Local testability
This property of a rewriting system is locally testable, in other words, it can be reduced to testing a particular property for each rewrite in the system