Das Entscheidungsproblem der Klasse von Formeln, die höchstens zwei Primformeln enthalten (Q1241510): Difference between revisions

@@ Property / cites work @@
+Diem-Grade Logischer Entscheidungsprobleme
@@ Property / cites work: Diem-Grade Logischer Entscheidungsprobleme / rank @@
+Normal rank
@@ Property / cites work @@
+Finite models for inequations
@@ Property / cites work: Finite models for inequations / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-conservative reduction
@@ Property / cites work: Semi-conservative reduction / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for formulas with a small number of atomic subformulas
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of finite sets of equations
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank