The problem of reasoning from inequalities (Q1195540): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114264485
@@ Property / Wikidata QID: Q114264485 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness results for inequality provers
@@ Property / cites work: Completeness results for inequality provers / rank @@
+Normal rank
@@ Property / cites work @@
+Special relations in automated deduction
@@ Property / cites work: Special relations in automated deduction / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank