commit ab8693c6810aaf4670dfbba61d5e373a4c24b9e9 parent 9efdb225d639097f6ed9425d9a3bb1d162623b65 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 5 Feb 2025 10:09:45 +0100 commit with codex Diffstat:
finite_model_theory | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/finite_model_theory b/finite_model_theory @@ -3,3 +3,5 @@ - [finite_controllability] Up: [logic], [finite] + +See also: [Open_world_query_answering]