logical_completeness

3 rows

✎ View and edit SQL

This data as json, CSV (advanced)

Suggested facets: example_categeory

complete_2category ▼ example_categeory
CompCat FinVect_k
DagCompCat FinHilb
TracedSymmMonCat FinVect_k

Advanced export

JSON shape: default, array, newline-delimited, object

CSV options: 

CREATE TABLE "logical_completeness" (
	"example_categeory"	TEXT NOT NULL,
	"complete_2category"	TEXT NOT NULL,
	FOREIGN KEY("complete_2category") REFERENCES "categories"("name") on update cascade on delete restrict,
	FOREIGN KEY("example_categeory") REFERENCES "categories"("name") on update cascade on delete restrict,
	PRIMARY KEY("complete_2category")
);