wiki_research

commit 6ba9399f0e812da69a5013182292e4fd73cec29c
parent d03000e445036e12e4906934f909f7d3579941b5
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Wed, 23 Apr 2025 01:04:32 +0200

commit with codex

Diffstat:
fbdd
 | 
9
+++++++++
order
 | 
2
+-
provenance_circuit
 | 
4
+++-

3 files changed, 13 insertions(+), 2 deletions(-)
diff --git a/fbdd b/fbdd
@@ -0,0 +1,9 @@
+# Fbdd
+
+Free [BDD], i.e., the [variables] are not [ordered] but every [path] in the [BDD] encounters any given [variable] at most once
+
+Is a subclass of [DNNF]
+
+Up: [bdd]
+
+Aliases: FBDDs
diff --git a/order b/order
@@ -9,4 +9,4 @@
 
 Up: [mathematics]
 
-Aliases: order relation
+Aliases: order relation, ordered
diff --git a/provenance_circuit b/provenance_circuit
@@ -2,9 +2,11 @@
 
 Can use [circuit] for [provenance], e.g.,
 
-- [datalog] provenance: foundational paper [deutch2014circuits]
+- [datalog] provenance: [provenance_circuit_datalog]
 - [provenance_mso]: [monadic_second_order_logic] provenance [amarilli2015provenance]
 
 Up: [provenance], [circuit]
 
 Aliases: provenance circuits
+
+See also: [provenance_formula]