Pages that link to "Item:Q1919221"

The following pages link to Automated deduction in equational logic and cubic curves (Q1919221):

Displaying 24 items.

• Automatic proofs and counterexamples for some ortholattice identities (Q293265) (← links)
• Rectangular quasigroups and rectangular loops. (Q814030) (← links)
• Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
• Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
• Automated deduction with associative-commutative operators (Q1340508) (← links)
• Automated reasoning about cubic curves (Q1343392) (← links)
• Formalization of quasilattices (Q2113839) (← links)
• On weakly associative lattices and near lattices (Q2119547) (← links)
• Automatization of ternary Boolean algebras (Q2171519) (← links)
• On two alternative axiomatizations of lattices by McKenzie and Sholander (Q2311528) (← links)
• Algebraic generalization of Diffie-Hellman key exchange (Q2413287) (← links)
• Dihedral semigroups, their defining relations and an application to describing knot semigroups of rational links (Q2413512) (← links)
• The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach. (Q2575681) (← links)
• Every diassociative \(A\)-loop is Moufang (Q2759004) (← links)
• Automated Deduction in Ring Theory (Q2819201) (← links)
• THE MOUFANG LAWS, GLOBAL AND LOCAL (Q3638685) (← links)
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
• The Legacy of a Great Researcher (Q4913858) (← links)
• Group Embedding of the Projective Plane PG(2, 3) (Q4913863) (← links)
• On the configurations of nine points on a cubic curve (Q4990107) (← links)
• Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
• Commutativity Theorems in Groups with Power-like Maps (Q5195291) (← links)
• Moufang and commutant elements in magmas (Q5236829) (← links)
• Computer Science Logic (Q5311280) (← links)