Revision as of 18:27, 28 June 2023 edit Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits removed Category:Term-rewriting programming languages; added Category:Rewriting systems using HotCat ← Previous edit		Revision as of 18:28, 28 June 2023 edit undo Jochen Burghardt (talk \| contribs) Extended confirmed users 24,306 edits added Category:Automated theorem proving using HotCat Next edit →
Line 18: [[Category:Rewriting systems]] [[Category:Automated theorem proving]]

Fresh variable: Difference between revisions