<?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=Quantifier_elimination</id>
	<title>Quantifier elimination - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Quantifier_elimination"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;action=history"/>
	<updated>2026-04-17T07:56:33Z</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=Quantifier_elimination&amp;diff=241499&amp;oldid=prev</id>
		<title>en&gt;Ott2: add link</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;diff=241499&amp;oldid=prev"/>
		<updated>2015-01-01T15:21:07Z</updated>

		<summary type="html">&lt;p&gt;add link&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;amp;diff=241499&amp;amp;oldid=10093&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;Ott2</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;diff=10093&amp;oldid=prev</id>
		<title>en&gt;Niceguyedc: WPCleaner v1.27 - Repaired 1 link to disambiguation page - (You can help) - Modulo</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;diff=10093&amp;oldid=prev"/>
		<updated>2013-04-30T06:47:30Z</updated>

		<summary type="html">&lt;p&gt;&lt;a href=&quot;/index.php?title=En:WP:CLEANER&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;En:WP:CLEANER (page does not exist)&quot;&gt;WPCleaner&lt;/a&gt; v1.27 - Repaired 1 link to disambiguation page - &lt;a href=&quot;/index.php?title=WP:DPL&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;WP:DPL (page does not exist)&quot;&gt;(You can help)&lt;/a&gt; - &lt;a href=&quot;/index.php?title=Modulo&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Modulo (page does not exist)&quot;&gt;Modulo&lt;/a&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;amp;diff=10093&amp;amp;oldid=241498&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;Niceguyedc</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;diff=241498&amp;oldid=prev</id>
		<title>en&gt;דניאל ב. at 12:02, 26 July 2012</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;diff=241498&amp;oldid=prev"/>
		<updated>2012-07-26T12:02:44Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Quantifier_elimination&amp;amp;diff=241498&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;דניאל ב.</name></author>
	</entry>
</feed>