Searched refs:skolem_function (Results 1 – 2 of 2) sorted by relevance
20 skolem_function,75 return term.replace(negated.variable, skolem_function(univ_scope))125 return term.replace(expression.variable, skolem_function(univ_scope))
683 def skolem_function(univ_scope=None): function