diff options
author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2022-02-05 20:55:20 +0100 |
---|---|---|
committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2022-02-05 20:55:20 +0100 |
commit | 499c4bd69d3d6fa8a0c17fd4fefc4ad64b788307 (patch) | |
tree | 6fb3924b05bb491a7926d79854f7609735ebb9d2 | |
parent | 20549d52dc3066328a64000db4a9b4b6b1a42193 (diff) |
Remove unnecessary commas
-rw-r--r-- | mgr.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |