tcswiki

wiki-style
git clone https://a3nm.net/git/tcswiki/
Log | Files | Refs

commit 4d68bb16130ee0a76df52aa96786b5ec1b8fd9c0
parent 1823c2c28ae16fff86a79399112941a46c18df4a
Author: a3nm <>
Date:   Sun, 17 Jun 2018 02:10:17 +0200

link

Diffstat:
Constraint languages.page | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Constraint languages.page b/Constraint languages.page @@ -1,4 +1,4 @@ -All constraint languages mentioned here are expressed in [first-order logic](). +All constraint languages mentioned here are expressed in [first-order logic](Logic#first-order-logic). # Tuple-generating dependencies