Traduzioni di „realizer“ nel dizionario sloveno » inglese

(Vai a inglese » sloveno)

realizator (ka)

realizer enslslre-am-s

Esempi monolingue (non verificati dalla Redazione di PONS)

inglese

The realizer, however, usually gives more information about the formula than a formal proof would directly provide.

en.wikipedia.org

Formulas from a formal theory are realized by objects, known as realizers, in a way that knowledge of the realizer gives knowledge about the truth of the formula.

en.wikipedia.org

A partial order is series-parallel if and only if it has a realizer in which one of the two permutations is the identity and the other is a separable permutation.

en.wikipedia.org