← Mathematical compendium

Published equation contexts

v1,…,vmv_1,\dots,v_m

Why this formula appears here

Suppose verification functions v1v_1,…\dots,vmv_m each observe a projection of changed state s' . Acceptance is

Read the full article-specific guide →

Read the representative guide

v1v_1

Symbol v_1

v1v_1 is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Read this term in its guide →
vmv_m

Symbol v_m

vmv_m is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Read this term in its guide →

How to interpret it

Read this expression with the definitions, units, and assumptions supplied by the article.

Research cited beside this formula

Published contexts (1)

A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.