The following pages link to Mace4 (Q18972):
Displayed 50 items.
- The existence of Schröder designs with equal-sized holes (Q1363650) (← links)
- Shortest single axioms for the equivalential calculus with CD and RCD (Q1383993) (← links)
- Decomposable constraints (Q1589469) (← 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)
- ProofWatch: watchlist guidance for large theories in E (Q1791167) (← links)
- Investigating the existence of large sets of idempotent quasigroups via satisfiability testing (Q1799096) (← links)
- Symmetric implication zroupoids and identities of Bol-Moufang type (Q1800250) (← links)
- Automated reasoning and mathematics. Essays in memory of William W. McCune (Q1940488) (← links)
- Ehresmann theory and partition monoids (Q2019289) (← links)
- CompoSAT: specification-guided coverage for model finding (Q2024373) (← links)
- Right-orderability versus left-orderability for monoids (Q2031449) (← links)
- Ehresmann semigroups whose categories are EI and their representation theory (Q2042929) (← links)
- On quasigroups satisfying Stein's third law (Q2043395) (← links)
- Equivalence à la Mundici for commutative lattice-ordered monoids (Q2046358) (← links)
- Semidistributivity and whitman property in implication zroupoids (Q2063346) (← links)
- \((\mathscr{F},\mathscr{G})\)-abundant semigroups (Q2070985) (← links)
- Boosting isomorphic model filtering with invariants (Q2079277) (← links)
- Set of support, demodulation, paramodulation: a historical perspective (Q2102923) (← links)
- Pardinus: a temporal relational model finder (Q2102939) (← links)
- Formalization of quasilattices (Q2113839) (← links)
- On weakly associative lattices and near lattices (Q2119547) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Okubo quasigroups (Q2131731) (← links)
- Learning theorem proving components (Q2142080) (← links)
- An Ehresmann-Schein-Nambooripad type theorem for DRC-semigroups (Q2153516) (← links)
- Varieties of regular semigroups with uniquely defined inversion (Q2178386) (← links)
- Herbrand constructivization for automated intuitionistic theorem proving (Q2180528) (← links)
- Structure theorems for idempotent residuated lattices (Q2182567) (← links)
- The construction of multipermutation solutions of the Yang-Baxter equation of level 2 (Q2194762) (← links)
- Override and update (Q2200953) (← links)
- Relational characterisations of paths (Q2210868) (← links)
- Theorem prover for intuitionistic logic based on the inverse method (Q2216868) (← links)
- The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
- The structure of finite commutative idempotent involutive residuated lattices (Q2238026) (← links)
- Semigroup identities and proofs (Q2249404) (← links)
- Proving semantic properties as first-order satisfiability (Q2289018) (← links)
- The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574) (← links)
- Using well-founded relations for proving operational termination (Q2303238) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- Combining induction and saturation-based theorem proving (Q2303240) (← links)
- Solving quantifier-free first-order constraints over finite sets and binary relations (Q2303241) (← links)
- GRUNGE: a grand unified ATP challenge (Q2305410) (← links)
- Automatic generation of logical models with AGES (Q2305421) (← links)
- On two alternative axiomatizations of lattices by McKenzie and Sholander (Q2311528) (← links)