The decision problem for formulas in prenex conjunctive normal form with binary disjunctions (Q5607225): Difference between revisions

@@ Property / cites work @@
+A property of sentences that define quasi-order
@@ Property / cites work: A property of sentences that define quasi-order / rank @@
+Normal rank
@@ Property / cites work @@
+Universality of Tag Systems with             <i>P</i>             = 2
@@ Property / cites work: Universality of Tag Systems with <i>P</i> = 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Tag systems and lag systems
@@ Property / cites work: Tag systems and lag systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Decision Problem for Segregated Formulas in First-Order Logic.
+Normal rank
@@ Property / cites work @@
+The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank