Search results
Results from the WOW.Com Content Network
Spaces still do not affect the outcome of the condition. Parameter 1 selects the if-type as "eq", "expr", "exist" or "error" (for #iferror), or empty "||" for a simple if-there (for #if). The template can be repeatedly nested 6 or 7 levels, one inside the other, because the outer-most is completed before running either the then/else inner levels.
See also: the {{}} template. The #if function selects one of two alternatives based on the truth value of a test string. {{#if: test string | value if true | value if false}} As explained above, a string is considered true if it contains at least one non-whitespace character.
Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. [1]