A structure-preserving clause form translation (Q1098330): Difference between revisions

@@ Property / author @@
-David Alan Plaisted
@@ Property / author: David Alan Plaisted / rank @@
-Normal rank
@@ Property / author @@
+David Alan Plaisted
@@ Property / author: David Alan Plaisted / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q29031727
@@ Property / Wikidata QID: Q29031727 / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting and reduction heuristics in automatic theorem proving
+Normal rank
@@ Property / cites work @@
+Q3709919
@@ Property / cites work: Q3709919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679729
@@ Property / cites work: Q5679729 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667969
@@ Property / cites work: Q3667969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Completely non-clausal theorem proving
@@ Property / cites work: Completely non-clausal theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+On the SUP-INF Method for Proving Presburger Formulas
+Normal rank
@@ Property / cites work @@
+The Concept of Demodulation in Theorem Proving
@@ Property / cites work: The Concept of Demodulation in Theorem Proving / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jsc/PlaistedG86
@@ Property / DBLP publication ID: journals/jsc/PlaistedG86 / rank @@
+Normal rank