anglais » allemand

anglais)

re·al·iz·er [ˈrɪəlaɪzəʳ, Am ˈri:əlaɪzɚ] SUBST

realizer

Realisierer m

anglais

The realizer, however, usually gives more information about the formula than a formal proof would directly provide. 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

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

Voulez-vous ajouter des mots, des phrases ou des traductions ?

Proposez de créer une nouvelle entrée pour un mot.

anglais