https://eurovision.jobogamer.xyz/index.php?action=history&feed=atom&title=Talk%3ACut_ruleTalk:Cut rule - Revision history2026-05-21T18:56:12ZRevision history for this page on the wikiMediaWiki 1.45.3https://eurovision.jobogamer.xyz/index.php?title=Talk:Cut_rule&diff=3621&oldid=previmported>1234qwer1234qwer4: /* Proposed merge of Cut-elimination theorem with Cut rule */ new section2026-02-25T00:10:50Z<p><span class="autocomment">Proposed merge of Cut-elimination theorem with Cut rule: </span> new section</p>
<p><b>New page</b></p><div>{{WikiProject banner shell|class=Stub|1=<br />
{{WikiProject Mathematics}}<br />
}}<br />
<br />
== Proposed merge of [[Cut-elimination theorem]] with [[Cut rule]] ==<br />
<br />
The topic is already covered in the latter article. [[User:1234qwer1234qwer4|1234qwer]][[User talk:1234qwer1234qwer4|1234qwer]][[Special:Contribs/1234qwer1234qwer4|4]] 00:10, 25 February 2026 (UTC)</div>imported>1234qwer1234qwer4