<?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=Dialectica_interpretation</id>
	<title>Dialectica interpretation - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Dialectica_interpretation"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Dialectica_interpretation&amp;action=history"/>
	<updated>2026-04-18T16:05:29Z</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=Dialectica_interpretation&amp;diff=260602&amp;oldid=prev</id>
		<title>2601:9:8580:191:A16A:8F4F:861D:D72D: /* Dialectica interpretation of linear logic */</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Dialectica_interpretation&amp;diff=260602&amp;oldid=prev"/>
		<updated>2014-11-29T13:26:28Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Dialectica interpretation of linear logic&lt;/span&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Dialectica_interpretation&amp;amp;diff=260602&amp;amp;oldid=22083&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>2601:9:8580:191:A16A:8F4F:861D:D72D</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Dialectica_interpretation&amp;diff=22083&amp;oldid=prev</id>
		<title>en&gt;ChrisGualtieri: /* Dialectica interpretation of linear logic */Checkwiki 61 + General Fixes using AWB</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Dialectica_interpretation&amp;diff=22083&amp;oldid=prev"/>
		<updated>2013-11-27T01:23:17Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Dialectica interpretation of linear logic: &lt;/span&gt;Checkwiki 61 + General Fixes using &lt;a href=&quot;/index.php?title=Testwiki:AWB&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;Testwiki:AWB (page does not exist)&quot;&gt;AWB&lt;/a&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Dialectica_interpretation&amp;amp;diff=22083&amp;amp;oldid=260601&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;ChrisGualtieri</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Dialectica_interpretation&amp;diff=260601&amp;oldid=prev</id>
		<title>en&gt;Valeria.depaiva at 11:05, 29 November 2011</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Dialectica_interpretation&amp;diff=260601&amp;oldid=prev"/>
		<updated>2011-11-29T11:05:23Z</updated>

		<summary type="html">&lt;p&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Hi there, I am Amado and I feel snug when folks use the full title. My [http://www.alexa.com/search?q=buddies&amp;amp;r=topsites_index&amp;amp;p=bigtop buddies] say it is really not [http://Www.Dailymail.co.uk/home/search.html?sel=site&amp;amp;searchPhrase=superior superior] for me but what I love doing is to act and I will be setting up a thing else along with it. For a long time I&amp;#039;ve been doing work as an accounting officer. North Dakota is the position I appreciate most and I never approach on switching it. I am functioning and maintaining a web site here: http://www.antonimiro.com/ingles/botiga/grafica/nike-air-max-negro.htm&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;My web page; [http://www.antonimiro.com/ingles/botiga/grafica/nike-air-max-negro.htm Nike Air Max Negro]&lt;/div&gt;</summary>
		<author><name>en&gt;Valeria.depaiva</name></author>
	</entry>
</feed>