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 |
Created claim: subclass of (P1): rule of inference (Q1257) |
||
Property / subclass of | |||
Property / subclass of: rule of inference / rank | |||
Normal rank |