<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Universal_generalization</id>
	<title>Universal generalization - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Universal_generalization"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;action=history"/>
	<updated>2026-04-18T06:02:50Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;diff=235277&amp;oldid=prev</id>
		<title>101.167.18.166 at 12:39, 11 November 2014</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;diff=235277&amp;oldid=prev"/>
		<updated>2014-11-11T12:39:35Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;amp;diff=235277&amp;amp;oldid=7046&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>101.167.18.166</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;diff=7046&amp;oldid=prev</id>
		<title>en&gt;Addbot: Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q5364991</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;diff=7046&amp;oldid=prev"/>
		<updated>2013-03-11T21:53:18Z</updated>

		<summary type="html">&lt;p&gt;&lt;a href=&quot;/index.php?title=User:Addbot&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;User:Addbot (page does not exist)&quot;&gt;Bot:&lt;/a&gt; Migrating 2 interwiki links, now provided by &lt;a href=&quot;https://en.wikipedia.org/wiki/Wikidata&quot; class=&quot;extiw&quot; title=&quot;wikipedia:Wikidata&quot;&gt;Wikidata&lt;/a&gt; on &lt;a href=&quot;/index.php?title=D:q5364991&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;D:q5364991 (page does not exist)&quot;&gt;d:q5364991&lt;/a&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;amp;diff=7046&amp;amp;oldid=235276&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;Addbot</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;diff=235276&amp;oldid=prev</id>
		<title>en&gt;Fyedernoggersnodden: /* Example of a proof */  Links to theorems and axioms in proof example</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;diff=235276&amp;oldid=prev"/>
		<updated>2012-05-14T07:21:04Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Example of a proof: &lt;/span&gt;  Links to theorems and axioms in proof example&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Universal_generalization&amp;amp;diff=235276&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;Fyedernoggersnodden</name></author>
	</entry>
</feed>