wiki_research

commit 4936a6421f706633652c063cc408da705b16651c
parent c7c7831b68e360db3fbc4e375ca7d22f1f324746
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Tue,  4 Nov 2025 08:30:20 +0100

commit with codex

Diffstat:
property_testing
 | 
3
++-
property_testing_csp
 | 
5
+++++
property_testing_databases
 | 
7
+++++++

3 files changed, 14 insertions(+), 1 deletion(-)
diff --git a/property_testing b/property_testing
@@ -1,7 +1,8 @@
 # Property testing
 
 - [property_testing_formal_language]
-- [adler2018property]
+- [property_testing_CSP]
+- [property_testing_databases]
 
 Up: [computational_problem]
 
diff --git a/property_testing_csp b/property_testing_csp
@@ -0,0 +1,5 @@
+# Property testing CSP
+
+cf [fei2025unbounded]
+
+Up: [property_testing], [CSP]
diff --git a/property_testing_databases b/property_testing_databases
@@ -0,0 +1,7 @@
+# Property testing databases
+
+cf [adler2018property]
+
+Up: [property_testing], [databases]
+
+Aliases: property testing logic