Item:Q13426: Difference between revisions
Created claim: instance of (P2): theorem (Q213) |
Created claim: has part(s) (P8): double negative elimination (Q13425) |
||
Property / has part(s) | |||
Property / has part(s): double negative elimination / rank | |||
Normal rank |