Talk:Primitive recursive arithmetic: Difference between revisions

Content deleted Content added

Revision as of 10:14, 6 January 2023 edit Cewbot (talk \| contribs) Bots 8,375,866 edits Reminder of an inactive anchor: variable substitution ← Previous edit		Latest revision as of 06:05, 10 May 2024 edit undo David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,832 edits rm stale broken anchor tag
(2 intermediate revisions by 2 users not shown)
Line 1: {{~~maths~~WikiProject ~~rating~~banner shell\|class=Start\|~~priority=Low\|field=foundations}}~~ {{WikiProject Mathematics\|priority=Low}} ~~{{Broken anchors\|links=~~ * <nowiki>[[First-order logic#Substitution\|variable substitution]]</nowiki> The anchor (#Substitution) has been [[Special:Diff/296571032\|deleted by other users]] before. <!-- {"title":"Substitution","appear":{"revid":51693523,"parentid":51681258,"timestamp":"2006-05-05T15:53:14Z","removed_section_titles":[],"added_section_titles":["Substitution"]},"disappear":{"revid":296571032,"parentid":296570251,"timestamp":"2009-06-15T16:41:19Z","removed_section_titles":["Substitution"],"added_section_titles":[]}} --> }} ==History== History: Skolem (1923) the first published version.