The following pages link to Prover9 (Q17116):
Displaying 50 items.
- Permutation of elements in double semigroups (Q283328) (← 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)
- The extended permutohedron on a transitive binary relation. (Q404457) (← links)
- Computing minimal extending sets by relation-algebraic modeling and development (Q406434) (← links)
- Hopscotch -- reaching the target hop by hop (Q406451) (← links)
- Nilpotency in automorphic loops of prime power order. (Q420709) (← links)
- Projective bichains (Q451076) (← links)
- Inverse semigroups with idempotent-fixing automorphisms. (Q485417) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- Tarski geometry axioms. II (Q502683) (← links)
- Algebraic structures in the vicinity of pre-rough algebra and their logics (Q507761) (← 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)
- Ken Kunen: algebraist. (Q649602) (← links)
- Latin directed triple systems (Q658105) (← links)
- Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning (Q682374) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Searching for shortest single axioms for groups of exponent \(6\) (Q861707) (← links)
- Steps toward a computational metaphysics (Q877243) (← links)
- Axiomatizing the skew Boolean propositional calculus (Q877820) (← 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)
- Algebraic neighbourhood logic (Q929966) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Shortest single axioms for commutative Moufang loops of exponent 3. (Q932612) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Directly indecomposables in semidegenerate varieties of connected po-groupoids (Q1013996) (← links)
- Automated verification of refinement laws (Q1037397) (← links)
- A set solver for finite set relation algebra (Q1617837) (← links)
- The Andrews-Curtis conjecture, term rewriting and first-order proofs (Q1662269) (← links)
- Algebras of Ehresmann semigroups and categories (Q1702521) (← links)
- On derived algebras and subvarieties of implication zroupoids (Q1703679) (← links)
- The retraction relation for biracks (Q1739190) (← links)
- Use of logical models for proving infeasibility in term rewriting (Q1751429) (← links)
- Tactics and certificates in Meta Dedukti (Q1791152) (← links)
