https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&feed=atom&action=historyCategory:Automated reasoning - Revision history2024-03-29T09:44:42ZRevision history for this page on the wikiMediaWiki 1.31.1https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=208075&oldid=prevSoeren at 12:15, 25 September 20162016-09-25T12:15:15Z<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 12:15, 25 September 2016</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">This was so helpful and easy! Do you have any atrlcies on rehab?</del></div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">{{research_field}}</ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div> </div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">[[Category:Cognitive science]]</ins></div></td></tr>
</table>Soerenhttps://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=81692&oldid=prev216.162.21.129: nuEhWfNjSRktVrciEck2012-12-15T18:17:00Z<p>nuEhWfNjSRktVrciEck</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 18:17, 15 December 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">I </del>have <del class="diffchange diffchange-inline">got one suggestion for your blog site. It looks like right now there are a colupe of cascading stylesheet issues while launching a selection of webpages in google chrome as well as opera. It is running okay in internet explorer. Possibly you can double check that.</del></div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">This was so helpful and easy! Do you </ins>have <ins class="diffchange diffchange-inline">any atrlcies on rehab?</ins></div></td></tr>
</table>216.162.21.129https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=81569&oldid=prev91.230.85.2: VlWvOOBxFEBE2012-12-15T12:58:56Z<p>VlWvOOBxFEBE</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 12:58, 15 December 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">Me dull</del>. <del class="diffchange diffchange-inline">You smart</del>. <del class="diffchange diffchange-inline">That's just what I neeedd</del>.</div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">I have got one suggestion for your blog site</ins>. <ins class="diffchange diffchange-inline">It looks like right now there are a colupe of cascading stylesheet issues while launching a selection of webpages in google chrome as well as opera</ins>. <ins class="diffchange diffchange-inline">It is running okay in internet explorer. Possibly you can double check that</ins>.</div></td></tr>
</table>91.230.85.2https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=80643&oldid=prev203.161.153.90: pJWnnucMdrQrvBNKId2012-12-14T00:20:19Z<p>pJWnnucMdrQrvBNKId</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 00:20, 14 December 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">Your story was really informative, thnaks!</del></div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">Me dull. You smart. That's just what I neeedd.</ins></div></td></tr>
</table>203.161.153.90https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=80260&oldid=prev201.193.197.205: crXmeOmF2012-12-13T08:21:01Z<p>crXmeOmF</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 08:21, 13 December 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">My wife and i have been so lucky that John managed to cmetlope his preliminary research while using the precious recommendations he learned in your weblog. It's not at all simplistic to just permanently be giving out concepts that some others have been making money from. And we grasp we've got you to be grateful to because of that. All of the illustrations you've made</del>, <del class="diffchange diffchange-inline">the straightforward blog menu, the relationships you help to foster  it's most fantastic, and it is facilitating our son and the family feel that the theme is gripping, which is certainly seriously mandatory. Many thanks for the whole lot</del>!</div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">Your story was really informative</ins>, <ins class="diffchange diffchange-inline">thnaks</ins>!</div></td></tr>
</table>201.193.197.205https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=30720&oldid=prev108.166.7.52: Ghes2012-07-03T10:29:58Z<p>Ghes</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 10:29, 3 July 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">I wanted </del>to <del class="diffchange diffchange-inline">place you one tiny note </del>to be <del class="diffchange diffchange-inline">able to thank you yet again just for the stnnuing thoughts you </del>have <del class="diffchange diffchange-inline">featured here</del>. <del class="diffchange diffchange-inline">It was austerely extremely generous of people like </del>you to <del class="diffchange diffchange-inline">present openly exactly what a number </del>of <del class="diffchange diffchange-inline">people might have advertised for an electronic book to make some profit on their own, and in particular now </del>that you <del class="diffchange diffchange-inline">could possibly have done it in case </del>you <del class="diffchange diffchange-inline">wanted. These suggestions in addition acted </del>to <del class="diffchange diffchange-inline">become a </del>fantastic <del class="diffchange diffchange-inline">way to be certain </del>that <del class="diffchange diffchange-inline">some people have </del>the <del class="diffchange diffchange-inline">same dream the same as my very own to see a modest more related to this problem</del>. <del class="diffchange diffchange-inline">I know there are several more pleasurable periods ahead </del>for <del class="diffchange diffchange-inline">people who read through your site.</del></div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">My wife and i have been so lucky that John managed </ins>to <ins class="diffchange diffchange-inline">cmetlope his preliminary research while using the precious recommendations he learned in your weblog. It's not at all simplistic </ins>to <ins class="diffchange diffchange-inline">just permanently </ins>be <ins class="diffchange diffchange-inline">giving out concepts that some others </ins>have <ins class="diffchange diffchange-inline">been making money from</ins>. <ins class="diffchange diffchange-inline">And we grasp we've got </ins>you to <ins class="diffchange diffchange-inline">be grateful to because </ins>of that<ins class="diffchange diffchange-inline">. All of the illustrations </ins>you<ins class="diffchange diffchange-inline">'ve made, the straightforward blog menu, the relationships </ins>you <ins class="diffchange diffchange-inline">help </ins>to <ins class="diffchange diffchange-inline">foster  it's most </ins>fantastic<ins class="diffchange diffchange-inline">, and it is facilitating our son and the family feel </ins>that the <ins class="diffchange diffchange-inline">theme is gripping, which is certainly seriously mandatory</ins>. <ins class="diffchange diffchange-inline">Many thanks </ins>for <ins class="diffchange diffchange-inline">the whole lot!</ins></div></td></tr>
</table>108.166.7.52https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=27583&oldid=prev216.194.53.237: aLMxGzSXHcVUQEZbOq2012-05-27T11:58:44Z<p>aLMxGzSXHcVUQEZbOq</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 11:58, 27 May 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">Now </del>I<del class="diffchange diffchange-inline">'m </del>like, <del class="diffchange diffchange-inline">well duh! Truly thakfnul </del>for your <del class="diffchange diffchange-inline">help</del>.</div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div>I <ins class="diffchange diffchange-inline">wanted to place you one tiny note to be able to thank you yet again just for the stnnuing thoughts you have featured here. It was austerely extremely generous of people </ins>like <ins class="diffchange diffchange-inline">you to present openly exactly what a number of people might have advertised for an electronic book to make some profit on their own</ins>, <ins class="diffchange diffchange-inline">and in particular now that you could possibly have done it in case you wanted. These suggestions in addition acted to become a fantastic way to be certain that some people have the same dream the same as my very own to see a modest more related to this problem. I know there are several more pleasurable periods ahead </ins>for <ins class="diffchange diffchange-inline">people who read through </ins>your <ins class="diffchange diffchange-inline">site</ins>.</div></td></tr>
</table>216.194.53.237https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=22171&oldid=prev109.230.216.225: WIXpSBHduc2011-12-22T02:38:55Z<p>WIXpSBHduc</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 02:38, 22 December 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">Way to use the internet to </del>help <del class="diffchange diffchange-inline">poeple solve problems!</del></div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">Now I'm like, well duh! Truly thakfnul for your </ins>help<ins class="diffchange diffchange-inline">.</ins></div></td></tr>
</table>109.230.216.225https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=19305&oldid=prev81.82.246.176: YIPQSIWPDIpAc2011-07-22T16:52:20Z<p>YIPQSIWPDIpAc</p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 16:52, 22 July 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">{{research_field}}</del></div></td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins class="diffchange diffchange-inline">Way to use the internet to help poeple solve problems!</ins></div></td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div> </div></td><td colspan="2"> </td></tr>
<tr><td class='diff-marker'>−</td><td style="color: #222; 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;"><div><del class="diffchange diffchange-inline">[[Category:Cognitive science]]</del></div></td><td colspan="2"> </td></tr>
</table>81.82.246.176https://www.openresearch.org/mediawiki/index.php?title=Category:Automated_reasoning&diff=259&oldid=prevSoeren at 12:52, 12 August 20082008-08-12T12:52:18Z<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 12:52, 12 August 2008</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td>
<td colspan="2" class="diff-lineno">Line 1:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{research_field}}</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>{{research_field}}</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; 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;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:Cognitive science]]</ins></div></td></tr>
</table>Soeren