diff options
| -rw-r--r-- | presentation/presentation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/presentation/presentation.md b/presentation/presentation.md index 9652d3d..e2898d4 100644 --- a/presentation/presentation.md +++ b/presentation/presentation.md @@ -38,7 +38,7 @@ second-order variables. **Given**: a tree T. -**Questions**: is a given $k$-tuple of subsets of $T$'s vertices $\vec{W}$, a +**Questions**: is $\vec{W}$, a $k$-tuple of subsets of $T$'s vertices, a satisfying assignment to $\vec{X}$? I.e., does $T \models \varphi(\vec{W})$. Note: first-order variables are supported by restricting input sets to |