commit cef2eaa5d6a2753e4fbcc9ba1806477bb7127335 parent bb478db58dbe8f2587a1a72d168a961cecb32b26 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Mon, 6 Oct 2025 19:28:29 +0200 commit with codex Diffstat:
| fok | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/fok b/fok @@ -21,6 +21,8 @@ Also called "finite variable logics" in the [survey] [grohe1998finite] - connections to [yannakakis_algorithm] - finding the best k: [fok_rewriting] + +- [fok_quantifier_rank] Up: [first_order_logic]