http://termination-portal.org/mediawiki/api.php?action=feedcontributions&feedformat=atom&user=Nachum 2026-05-08T12:52:08Z User contributions MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=Template:Person&diff=843 2009-06-14T20:34:59Z

<p>Nachum: /* {{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}} */</p> <hr /> <div>= {{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}} =<br /> * {{{role}}} in the Department of Computer Science ({{{university}}}, {{{country}}})<br /> * home page: http://www.cs.tau.ac.il/~nachum<br /> * email: mailto:{{{email}}}<br /> &lt;includeonly&gt;<br /> [[Category:People|{{{lastname}}}, {{{{firstname}}}]]<br /> [[Category:{{{university}}}|{{{lastname}}}, {{{{firstname}}}]]<br /> [[Category:{{{country}}}|{{{lastname}}}, {{{{firstname}}}]]<br /> &lt;/includeonly&gt;</div>

Nachum http://termination-portal.org/mediawiki/index.php?title=Template:Person&diff=842 2009-06-14T20:31:50Z

<p>Nachum: /* {{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}} */</p> <hr /> <div>= {{{titles}}} {{{firstname}}} {{{middlenames}}} {{{lastname}}} =<br /> * {{{role}}} in the Department of {{{Computer Science}}} ({{{university}}}, {{{country}}})<br /> * home page: {{{http://www.cs.tau.ac.il/~nachum}}}<br /> * email: mailto:{{{email}}}<br /> &lt;includeonly&gt;<br /> [[Category:People|{{{lastname}}}, {{{{firstname}}}]]<br /> [[Category:{{{university}}}|{{{lastname}}}, {{{{firstname}}}]]<br /> [[Category:{{{country}}}|{{{lastname}}}, {{{{firstname}}}]]<br /> &lt;/includeonly&gt;</div>

Nachum http://termination-portal.org/mediawiki/index.php?title=People:Nachum_Dershowitz&diff=841 2009-06-14T20:28:19Z

<p>Nachum: New page: &lt;!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...</p> <hr /> <div>&lt;!--<br /> Please fill in the data so that you can be added to some default<br /> categories and a simple user page can be created. You may extend<br /> that user page yourself after the following code block.<br /> --&gt;<br /> <br /> {{Person<br /> |firstname=Nachum<br /> |middlenames=<br /> |lastname=Dershowitz<br /> |titles=<br /> |email=nachumd@post.tau.ac.il<br /> |homepage=www.cs.tau.ac.il/~nachum<br /> |country=Israel<br /> |university=Tel Aviv University<br /> |department=School of Computer Science<br /> |role=Professor &lt;!-- role: Student, Professor, PhD Student, ... --&gt;<br /> }}<br /> <br /> &lt;!-- If you want to add some personal data to your userpage, you can do so after this comment. --&gt;</div>

Nachum