Named after Thoralf <span class="searchmatch">Skolem</span> (1887–1963), Norwegian mathematician. <span class="searchmatch">Skolem</span> <span class="searchmatch">function</span> (plural <span class="searchmatch">Skolem</span> <span class="searchmatch">functions</span>) (logic) A <span class="searchmatch">function</span> which replaces a variable...
<span class="searchmatch">Skolem</span> <span class="searchmatch">functions</span> plural of <span class="searchmatch">Skolem</span> <span class="searchmatch">function</span>...
a <span class="searchmatch">Skolem</span> <span class="searchmatch">function</span>, and (3) replace any variable bound by a universal quantifier which lies in the scope of an odd number of negations with a <span class="searchmatch">Skolem</span> function...
Schur <span class="searchmatch">function</span> second-class <span class="searchmatch">function</span> separated-<span class="searchmatch">function</span> synchrotron sharpness <span class="searchmatch">function</span> technique sigmoid <span class="searchmatch">function</span> sign <span class="searchmatch">function</span> sink <span class="searchmatch">function</span> <span class="searchmatch">Skolem</span> function...