Languages represented by Boolean formulas (Q290253): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 03B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q17
@@ Property / Mathematics Subject Classification ID: 68Q17 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q19
@@ Property / Mathematics Subject Classification ID: 68Q19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 94C10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6588310
@@ Property / zbMATH DE Number: 6588310 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+descriptive complexity theory
@@ Property / zbMATH Keywords: descriptive complexity theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+succinct problems
@@ Property / zbMATH Keywords: succinct problems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+propositional logic
@@ Property / zbMATH Keywords: propositional logic / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:290253