Tautology testing with a generalized matrix reduction method (Q1132862): Difference between revisions

@@ Property / cites work @@
+Q4131707
@@ Property / cites work: Q4131707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4088305
@@ Property / cites work: Q4088305 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-resolution theorem proving
@@ Property / cites work: Non-resolution theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Computer proofs of limit theorems
@@ Property / cites work: Computer proofs of limit theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards feasible solutions of the tautology problem
+Normal rank
@@ Property / cites work @@
+Q4082296
@@ Property / cites work: Q4082296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131061
@@ Property / cites work: Q4131061 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving by Covering Expressions
@@ Property / cites work: Theorem Proving by Covering Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Q5613198
@@ Property / cites work: Q5613198 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152212
@@ Property / cites work: Q4152212 / rank @@
+Normal rank