The following pages link to Mace4 (Q18972):
Displayed 50 items.
- Symmetric implication zroupoids and weak associative laws (Q2318565) (← links)
- Agglomerative algebras (Q2323692) (← links)
- Nonassociative right hoops (Q2330336) (← links)
- Skew lattices and set-theoretic solutions of the Yang-Baxter equation (Q2333343) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Extended transitive separation logic (Q2347905) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- Multirelational representation theorems for complete idempotent left semirings. (Q2347913) (← links)
- Finite reasons for safety (Q2351397) (← links)
- Machine learning for first-order theorem proving (Q2351414) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Commutative idempotent groupoids and the constraint satisfaction problem. (Q2351518) (← links)
- Extended feature algebra (Q2374310) (← links)
- Semisimple varieties of implication zroupoids (Q2403382) (← links)
- Generalised domain and \(E\)-inverse semigroups (Q2413508) (← links)
- Mathematical applications of inductive logic programming (Q2433178) (← links)
- Skew lattices and binary operations on functions (Q2446546) (← links)
- Triple systems and binary operations (Q2449133) (← links)
- Automated conjecture making in number theory using HR, Otter and Maple (Q2456561) (← links)
- Linear groupoids and the associated wreath products. (Q2456592) (← links)
- The varieties of quasigroups of Bol-Moufang type: an equational reasoning approach. (Q2575681) (← links)
- Automated discovery of single axioms for ortholattices (Q2577711) (← links)
- The solution of an open problem on semigroup inclusion classes (Q2665932) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- On d-semigroups, r-semigroups, dr-semigroups and their subclasses (Q2684025) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Second-order properties of undirected graphs (Q2695354) (← links)
- (Q2723435) (← links)
- A Timed Process Algebra for Wireless Networks with an Application in Routing (Q2802472) (← links)
- Model Finding for Recursive Functions in SMT (Q2817915) (← links)
- Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving (Q2817933) (← links)
- Finding Finite Models in Multi-sorted First-Order Logic (Q2818025) (← links)
- Automated Deduction in Ring Theory (Q2819201) (← links)
- The structure of automorphic loops (Q2822724) (← links)
- (Q2848060) (← links)
- Understanding Resolution Proofs through Herbrand’s Theorem (Q2851942) (← links)
- Lemma Mining over HOL Light (Q2870150) (← links)
- (Q2870886) (← links)
- Independent axiom systems for nearlattices (Q2881225) (← links)
- Incidence properties of cosets in loops (Q2885147) (← links)
- (Q2888135) (← links)
- A Logical Approach to Data-Aware Automated Sequence Generation (Q2889859) (← links)
- Exact Query Reformulation with First-Order Ontologies and Databases (Q2915072) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming (Q2915134) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Weak bisimulation for coalgebras over order enriched monads (Q2941763) (← links)
- On First-Order Model-Based Reasoning (Q2945706) (← links)
- (Q2947383) (← links)