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

@@ Property / author @@
+Melven R. Krom
@@ Property / author: Melven R. Krom / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2270511
@@ Property / full work available at URL: https://doi.org/10.2307/2270511 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2002672992
@@ Property / OpenAlex ID: W2002672992 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5607225