0 present participle of unfold
1 to open or spread out something that has been folded:
He watched her expression as she unfolded the letter.
2 If a situation or story unfolds, it develops or becomes clear to other people:
Also, we might want to restrict unfolding of user-defined predicates to cases where only one clause matches.
The pictures show various unfoldings with the forbidden area and the unsafe regions below.
Ignoring them simply means that the unfolding of the composed space will be either haphazard or, at worst, amorphous.
However, for the sake of simplicity, we do not identify a recursive type with its unfolding.
For instance, while classical partial deduction with (almost) determinate unfolding performs badly on highly nondeterministic programs, this is no longer true for conjunctive partial deduction.
By focusing on solvent-induced melting, he derived an expression that describes how the free energy of unfolding depends on the concentration of co-solvent, or denaturant.
Generic 3-parameter families of vector field on the plane, unfolding a singularity with nilpotent linear part.
Theorems 1, 3 and 4 provide a basis for unfolding recursive programs to static terms.