From 499c4bd69d3d6fa8a0c17fd4fefc4ad64b788307 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Sat, 5 Feb 2022 20:55:20 +0100 Subject: Remove unnecessary commas --- mgr.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mgr.tex b/mgr.tex index 9194f59..df3b6a6 100644 --- a/mgr.tex +++ b/mgr.tex @@ -139,8 +139,8 @@ question): Note that though we speak of MSO formulae with second-order variables only, first-order variables are supported by simply restricting to questions in which -sets assigned to first-order variables are singletons. Also note, that for -formulae with first-order free variables only, question answering happens in +sets assigned to first-order variables are singletons. Also note that for +formulae with first-order free variables only question answering happens in constant time. Through a series of reductions, we will show that MSO query answering reduces to -- cgit v1.2.3