Item:Q1256: Difference between revisions

Created a new Item: rule of replacement, inference rule that may be applied to only a particular segment of an expression
 
 
Property / subclass of
 
Property / subclass of: rule of inference / rank
 
Normal rank