The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2016.03.006
@@ Property / DOI: 10.1016/j.entcs.2016.03.006 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2962833833
@@ Property / OpenAlex ID: W2962833833 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01476
@@ Property / arXiv ID: 1506.01476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3003675
@@ Property / cites work: Q3003675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators
+Normal rank
@@ Property / cites work @@
+Q4234182
@@ Property / cites work: Q4234182 / rank @@
+Normal rank
@@ Property / cites work @@
+Techniques of computable set theory with applications to proof verification
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx}
+Normal rank
@@ Property / cites work @@
+Q3999861
@@ Property / cites work: Q3999861 / rank @@
+Normal rank
@@ Property / cites work @@
+Web ontology representation and reasoning via fragments of set theory
+Normal rank
@@ Property / cites work @@
+On the Satisfiability Problem for a 4-level Quantified Syllogistic and Some Applications to Modal Logic
+Normal rank
@@ Property / cites work @@
+The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations
+Normal rank
@@ Property / cites work @@
+Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
+Normal rank
@@ Property / cites work @@
+Q2740887
@@ Property / cites work: Q2740887 / rank @@
+Normal rank
@@ Property / cites work @@
+A set-theoretic translation method for polymodal logics
+Normal rank
@@ Property / cites work @@
+Q3894959
@@ Property / cites work: Q3894959 / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Logic and Set Theory
@@ Property / cites work: Computational Logic and Set Theory / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2016.03.006
@@ Property / DOI: 10.1016/J.ENTCS.2016.03.006 / rank @@
+Normal rank