<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/index.php?action=history&amp;feed=atom&amp;title=Modal_%CE%BC-calculus</id>
	<title>Modal μ-calculus - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/index.php?action=history&amp;feed=atom&amp;title=Modal_%CE%BC-calculus"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;action=history"/>
	<updated>2026-09-18T06:02:22Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;diff=249870&amp;oldid=prev</id>
		<title>en&gt;Ott2: add link</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;diff=249870&amp;oldid=prev"/>
		<updated>2015-01-01T15:40:43Z</updated>

		<summary type="html">&lt;p&gt;add link&lt;/p&gt;
&lt;table style=&quot;background-color: #fff; color: #202122;&quot; data-mw-interface=&quot;&quot;&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;col class=&quot;diff-marker&quot; /&gt;
				&lt;col class=&quot;diff-content&quot; /&gt;
				&lt;tr class=&quot;diff-title&quot; lang=&quot;en&quot;&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;← Older revision&lt;/td&gt;
				&lt;td colspan=&quot;2&quot; style=&quot;background-color: #fff; color: #202122; text-align: center;&quot;&gt;Revision as of 17:40, 1 January 2015&lt;/td&gt;
				&lt;/tr&gt;&lt;tr&gt;&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot; id=&quot;mw-diff-left-l1&quot;&gt;Line 1:&lt;/td&gt;
&lt;td colspan=&quot;2&quot; class=&quot;diff-lineno&quot;&gt;Line 1:&lt;/td&gt;&lt;/tr&gt;
&lt;tr&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;−&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Yoshiko &lt;/del&gt;is &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;her name &lt;/del&gt;but &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;she doesn&#039;t like when individuals use her full title&lt;/del&gt;. &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;My &lt;/del&gt;job &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;is a messenger. For years she&lt;/del&gt;&#039;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;s &lt;/del&gt;been &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;residing in Kansas. What she enjoys performing &lt;/del&gt;is &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;taking part in croquet and she is trying to make it &lt;/del&gt;a &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;occupation&lt;/del&gt;.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Feel free to surf to &lt;/del&gt;my &lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;web &lt;/del&gt;blog [http://&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Megasport&lt;/del&gt;.&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;bg&lt;/del&gt;/ActivityFeed/MyProfile/tabid/&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;60&lt;/del&gt;/userId/&lt;del style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;73288&lt;/del&gt;/Default.aspx car warranty]&lt;/div&gt;&lt;/td&gt;&lt;td class=&quot;diff-marker&quot; data-marker=&quot;+&quot;&gt;&lt;/td&gt;&lt;td style=&quot;color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;&quot;&gt;&lt;div&gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Hello and welcome. My name is Ling. Playing croquet &lt;/ins&gt;is &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;some thing I will by no means give up. Arizona has usually been my living place &lt;/ins&gt;but &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;my spouse desires us to move&lt;/ins&gt;. &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;The &lt;/ins&gt;job &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;I&lt;/ins&gt;&#039;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;ve &lt;/ins&gt;been &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;occupying for many years &lt;/ins&gt;is a &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;bookkeeper but I&#039;ve currently utilized for another 1&lt;/ins&gt;.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Have a look at &lt;/ins&gt;my blog [http://&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;Bencorpusa&lt;/ins&gt;.&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;com&lt;/ins&gt;/ActivityFeed/MyProfile/tabid/&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;127&lt;/ins&gt;/userId/&lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;152431&lt;/ins&gt;/Default.aspx &lt;ins style=&quot;font-weight: bold; text-decoration: none;&quot;&gt;extended &lt;/ins&gt;car warranty]&lt;/div&gt;&lt;/td&gt;&lt;/tr&gt;
&lt;/table&gt;</summary>
		<author><name>en&gt;Ott2</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;diff=249869&amp;oldid=prev</id>
		<title>193.205.213.166: /* Denotational semantics */</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;diff=249869&amp;oldid=prev"/>
		<updated>2014-02-27T18:49:21Z</updated>

		<summary type="html">&lt;p&gt;&lt;span class=&quot;autocomment&quot;&gt;Denotational semantics&lt;/span&gt;&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;amp;diff=249869&amp;amp;oldid=14613&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>193.205.213.166</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;diff=14613&amp;oldid=prev</id>
		<title>en&gt;Yobot: WP:CHECKWIKI error fixes / special characters in pagetitle using AWB (9485)</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;diff=14613&amp;oldid=prev"/>
		<updated>2013-09-17T12:49:02Z</updated>

		<summary type="html">&lt;p&gt;&lt;a href=&quot;/w/index.php?title=WP:CHECKWIKI&amp;amp;action=edit&amp;amp;redlink=1&quot; class=&quot;new&quot; title=&quot;WP:CHECKWIKI (page does not exist)&quot;&gt;WP:CHECKWIKI&lt;/a&gt; error fixes / special characters in pagetitle using &lt;a href=&quot;/w/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; (9485)&lt;/p&gt;
&lt;a href=&quot;https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;amp;diff=14613&amp;amp;oldid=249868&quot;&gt;Show changes&lt;/a&gt;</summary>
		<author><name>en&gt;Yobot</name></author>
	</entry>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;diff=249868&amp;oldid=prev</id>
		<title>189.178.236.253: powerset  ==&gt;  power set</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Modal_%CE%BC-calculus&amp;diff=249868&amp;oldid=prev"/>
		<updated>2012-08-07T21:05:03Z</updated>

		<summary type="html">&lt;p&gt;powerset  ==&amp;gt;  power set&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;Hello! Allow me start by stating my title - Ron Stephenson. Delaware is our beginning place. Bottle tops collecting is the only pastime his spouse doesn&amp;#039;t approve of. She works as a financial officer and she will not change it whenever soon.&amp;lt;br&amp;gt;&amp;lt;br&amp;gt;my weblog extended car warranty; [http://Panda-craft.eu/index.php?mod=users&amp;amp;action=view&amp;amp;id=17668 visit this weblink],&lt;/div&gt;</summary>
		<author><name>189.178.236.253</name></author>
	</entry>
</feed>