Item:Q13427: Difference between revisions

‎Created a new Item: law of noncontradiction, theorem
 
‎Created claim: instance of (P2): theorem (Q213)
Property / instance of
 
Property / instance of: theorem / rank
 
Normal rank