Group cancellation and resolution (Q817703): Difference between revisions

@@ Property / Wikidata QID @@
+Q57253060
@@ Property / Wikidata QID: Q57253060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5769706
@@ Property / cites work: Q5769706 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution proofs of generalized pigeonhole principles
+Normal rank
@@ Property / cites work @@
+Streams and strings in formal proofs.
@@ Property / cites work: Streams and strings in formal proofs. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4496851
@@ Property / cites work: Q4496851 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003861
@@ Property / cites work: Q4003861 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Method for Quantification Theory: Its Justification and Realization
+Normal rank
@@ Property / cites work @@
+RIGIDITY PROPERTIES OF DIAGRAM GROUPS
@@ Property / cites work: RIGIDITY PROPERTIES OF DIAGRAM GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+DEHN FUNCTION AND LENGTH OF PROOFS
@@ Property / cites work: DEHN FUNCTION AND LENGTH OF PROOFS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331764
@@ Property / cites work: Q4331764 / rank @@
+Normal rank
@@ Property / cites work @@
+On Dehn's algorithm
@@ Property / cites work: On Dehn's algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145882
@@ Property / cites work: Q4145882 / rank @@
+Normal rank
@@ Property / cites work @@
+An improved proof procedure1
@@ Property / cites work: An improved proof procedure1 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Hard examples for resolution
@@ Property / cites work: Hard examples for resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Visualizing the word problem, with an application to sixth groups
+Normal rank