Item:Q17960: Difference between revisions

Revision as of 15:42, 2 January 2024 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,499 edits ‎Created a new Item: well-formed formula, finite sequence of symbols from a given alphabet that is part of a formal language	Revision as of 18:44, 2 January 2024 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,499 edits ‎Created claim: subclass of (P1): logical formula (Q17961) Newer edit →
	Property / subclass of
		logical formula
	Property / subclass of: logical formula / rank
		Normal rank