Item:Q13424: Difference between revisions

Revision as of 15:26, 20 July 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,454 edits ‎Created a new Item: principle of excluded middle, logical principle stating that for every proposition, either it or its negation is true	Revision as of 15:26, 20 July 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,454 edits ‎Created claim: instance of (P2): theorem (Q213) Newer edit →
	Property / instance of
		theorem
	Property / instance of: theorem / rank
		Normal rank