Using the prover ANDP to simplify orthogonality. (Q1412831): Difference between revisions

@@ Property / cites work @@
+Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving
+Normal rank
@@ Property / cites work @@
+Simplifying von Plato's axiomatization of constructive apartness geometry
+Normal rank
@@ Property / cites work @@
+Single axioms for the left group and right group calculi
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+Normal rank
@@ Property / cites work @@
+Single identities for lattice theory and for weakly associative lattices
+Normal rank
@@ Property / cites work @@
+Q4255507
@@ Property / cites work: Q4255507 / rank @@
+Normal rank
@@ Property / cites work @@
+Single identities for ternary Boolean algebras
@@ Property / cites work: Single identities for ternary Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Shortest single axioms for the classical equivalential calculus
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+The axioms of constructive geometry
@@ Property / cites work: The axioms of constructive geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains
+Normal rank