The following pages link to Mace4 (Q18972):
Displayed 50 items.
- Automatic proofs and counterexamples for some ortholattice identities (Q293265) (← links)
- Order in implication zroupoids (Q295916) (← links)
- Developments in concurrent Kleene algebra (Q299202) (← links)
- A note on regular De Morgan semi-Heyting algebras (Q305161) (← links)
- Semisimples in varieties of commutative integral bounded residuated lattices (Q332072) (← links)
- Connected quandles associated with pointed abelian groups (Q363328) (← links)
- Sublattices of associahedra and permutohedra (Q394816) (← links)
- Commutator theory for loops. (Q397857) (← links)
- The extended permutohedron on a transitive binary relation. (Q404457) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Nilpotency in automorphic loops of prime power order. (Q420709) (← links)
- Automated inference of finite unsatisfiability (Q438540) (← links)
- Projective bichains (Q451076) (← links)
- Inverse semigroups with idempotent-fixing automorphisms. (Q485417) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- On implicator groupoids (Q522223) (← links)
- Varieties of Birkhoff systems. I (Q523145) (← links)
- An elegant 3-basis for inverse semigroups. (Q535223) (← links)
- Algebraic separation logic (Q549676) (← links)
- Concurrent Kleene algebra and its foundations (Q549679) (← links)
- Algebraic notions of nontermination: Omega and divergence in idempotent semirings (Q604456) (← links)
- On hom-algebras with surjective twisting (Q615838) (← links)
- Minimal paths in the commuting graphs of semigroups (Q616372) (← links)
- Automated flaw detection in algebraic specifications (Q616853) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Cancellation in skew lattices (Q633218) (← links)
- On strongly symmetric skew lattices (Q647310) (← links)
- Ken Kunen: algebraist. (Q649602) (← links)
- Latin directed triple systems (Q658105) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Rectangular quasigroups and rectangular loops. (Q814030) (← links)
- Power-associative, conjugacy closed loops. (Q855331) (← links)
- Uniqueness of Steiner laws on cubic curves (Q860106) (← links)
- Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
- Searching for shortest single axioms for groups of exponent \(6\) (Q861707) (← links)
- Applying SAT solving in classification of finite algebras (Q862393) (← links)
- Steps toward a computational metaphysics (Q877243) (← links)
- A natural characterization of semilattices of rectangular bands and groups of exponent two. (Q896229) (← links)
- Half-isomorphisms of Moufang loops. (Q906858) (← links)
- The algebra of functions with antidomain and range (Q908324) (← links)
- Automatic construction and verification of isotopy invariants (Q928664) (← links)
- Algebraic neighbourhood logic (Q929966) (← links)
- Shortest single axioms for commutative Moufang loops of exponent 3. (Q932612) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Computing finite models by reduction to function-free clause logic (Q1006733) (← links)
- Directly indecomposables in semidegenerate varieties of connected po-groupoids (Q1013996) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- Constructing infinite models represented by tree automata (Q1044230) (← links)
- Single identities for lattice theory and for weakly associative lattices (Q1272238) (← links)