On subsumption in distributed derivations (Q1337562): Difference between revisions

@@ Property / cites work @@
+Automated proofs of the Moufang identities in alternative rings
+Normal rank
@@ Property / cites work @@
+Q4281516
@@ Property / cites work: Q4281516 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028369
@@ Property / cites work: Q3028369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Theorem-proving with resolution and superposition
@@ Property / cites work: Theorem-proving with resolution and superposition / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00881888
+Normal rank
@@ Property / OpenAlex ID @@
+W2002310337
@@ Property / OpenAlex ID: W2002310337 / rank @@
+Normal rank