Item:Q13425: Difference between revisions

Revision as of 15:28, 20 July 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,454 edits ‎Created a new Item: double negative elimination, inference rule that allows to infer a formula without the relevant negations when they immediately follows in an original formula	Revision as of 08:17, 21 July 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,454 edits ‎Created claim: instance of (P2): rule of replacement (Q1256) Newer edit →
	Property / instance of
		rule of replacement
	Property / instance of: rule of replacement / rank
		Normal rank