Comparing instance generation methods for automated reasoning (Q877884): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2006807333
@@ Property / OpenAlex ID: W2006807333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723420
@@ Property / cites work: Q2723420 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Partial instantiation methods for inference in first-order logic
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Eliminating dublication with the hyper-linking strategy
+Normal rank
@@ Property / cites work @@
+Proof and Model Generation with Disconnection Tableaux
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Ordered semantic hyper-linking
@@ Property / cites work: Ordered semantic hyper-linking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4412859
@@ Property / cites work: Q4412859 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:877884