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

@@ Property / author @@
-Wolfgang Bibel
@@ Property / author: Wolfgang Bibel / rank @@
-Normal rank
@@ Property / author @@
+Wolfgang Bibel
@@ Property / author: Wolfgang Bibel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(79)90054-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2028359267
@@ Property / OpenAlex ID: W2028359267 / rank @@
+Normal rank
@@ 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
@@ Property / Wikidata QID @@
+Q127775962
@@ Property / Wikidata QID: Q127775962 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1132862