Turning decision procedures into disprovers (Q5505144): Difference between revisions

@@ Property / DOI @@
-.1002/malq.200710083
@@ Property / DOI: 10.1002/malq.200710083 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.200710083
+Normal rank
@@ Property / OpenAlex ID @@
+W2155580690
@@ Property / OpenAlex ID: W2155580690 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of density that imply representability in algebraic logic
+Normal rank
@@ Property / cites work @@
+Q4789455
@@ Property / cites work: Q4789455 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3257767
@@ Property / cites work: Q3257767 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing-machines and the Entscheidungsproblem
@@ Property / cites work: Turing-machines and the Entscheidungsproblem / rank @@
+Normal rank
@@ Property / cites work @@
+Tensor products of polyadic algebras
@@ Property / cites work: Tensor products of polyadic algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3905252
@@ Property / cites work: Q3905252 / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Remarks on Berger's paper on the domino problem
@@ Property / cites work: Remarks on Berger's paper on the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+MONA IMPLEMENTATION SECRETS
@@ Property / cites work: MONA IMPLEMENTATION SECRETS / rank @@
+Normal rank
@@ Property / cites work @@
+ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
@@ Property / cites work: ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729754
@@ Property / cites work: Q4729754 / rank @@
+Normal rank
@@ Property / DOI @@
+.1002/MALQ.200710083
@@ Property / DOI: 10.1002/MALQ.200710083 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505144