From 8d2eedac9c5210b87e2e96ff2c1ee4d5ae126b07 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Fri, 14 Jan 2022 20:03:30 +0100 Subject: Fix typo --- mgr.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mgr.tex b/mgr.tex index 217e99d..0c52c76 100644 --- a/mgr.tex +++ b/mgr.tex @@ -162,7 +162,7 @@ the following problem about tree automata, which we solve in Chapter \section{Related Work} -Query answering is one generatlization of model checking to the case of formulae +Query answering is one generalization of model checking to the case of formulae with free variables. Another related one is \definedterm{query enumeration}. Similar to query answering, we again allow the structure and query to be preprocessed. Then, instead of answering individual questions about valuations, -- cgit v1.2.3