The problem of selecting an approach based on prior success (Q1311414): Difference between revisions

@@ Property / cites work @@
+Semigroups, Antiautomorphisms, and Involutions: A Computer Solution to an Open Problem, I
+Normal rank
@@ Property / cites work @@
+Q3994754
@@ Property / cites work: Q3994754 / rank @@
+Normal rank
@@ Property / cites work @@
+Meeting the challenge of fifty years of logic
@@ Property / cites work: Meeting the challenge of fifty years of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296171
@@ Property / cites work: Q4296171 / rank @@
+Normal rank
@@ Property / cites work @@
+A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains
+Normal rank