<?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=Conjunctive_normal_form</id>
	<title>Conjunctive normal form - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Conjunctive_normal_form"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;action=history"/>
	<updated>2026-04-12T09:34:17Z</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=Conjunctive_normal_form&amp;diff=223701&amp;oldid=prev</id>
		<title>en&gt;Myasuda: /* Converting from first-order logic */ sp</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;diff=223701&amp;oldid=prev"/>
		<updated>2015-01-01T16:17:06Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Converting from first-order logic: &lt;/span&gt; sp&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;amp;diff=223701&amp;amp;oldid=223700&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;Myasuda</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;diff=223700&amp;oldid=prev</id>
		<title>en&gt;Alejandrocaro35: /* Converting from first-order logic */</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;diff=223700&amp;oldid=prev"/>
		<updated>2014-02-25T16:05:39Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Converting from first-order logic&lt;/span&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;amp;diff=223700&amp;amp;oldid=2005&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;Alejandrocaro35</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;diff=2005&amp;oldid=prev</id>
		<title>en&gt;LilHelpa: /* Converting from first-order logic */ typo: repatedly → repeatedly</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;diff=2005&amp;oldid=prev"/>
		<updated>2014-01-14T21:20:58Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Converting from first-order logic: &lt;/span&gt; typo: repatedly → repeatedly&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;amp;diff=2005&amp;amp;oldid=223699&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;LilHelpa</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;diff=223699&amp;oldid=prev</id>
		<title>58.175.28.253: The animal example was placed as if it was a second step, but it is just an example of 1. /* Converting from first-order logic */</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Conjunctive_normal_form&amp;diff=223699&amp;oldid=prev"/>
		<updated>2012-08-25T10:44:03Z</updated>

		<summary type="html">&lt;p&gt;The animal example was placed as if it was a second step, but it is just an example of 1. &lt;span class=&quot;autocomment&quot;&gt;Converting from first-order logic&lt;/span&gt;&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;My name: Enid Mcclary&amp;lt;br&amp;gt;Age: 31&amp;lt;br&amp;gt;Country: Italy&amp;lt;br&amp;gt;Home town: Campodenno &amp;lt;br&amp;gt;Postal code: 38010&amp;lt;br&amp;gt;Address: Vicolo Calcirelli 9&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;Also visit my web site; [http://upfornaughty.com/members/enriqheffron/activity/15608/ Fifa 15 Coin Generator]&lt;/div&gt;</summary>
		<author><name>58.175.28.253</name></author>
	</entry>
</feed>