Pages that link to "Item:Q4913865"
From MaRDI portal
The following pages link to Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction (Q4913865):
Displaying 12 items.
- Fast and slow enigmas and parental guidance (Q831937) (← links)
- A Wos Challenge Met (Q2102924) (← links)
- Guiding an automated theorem prover with neural rewriting (Q2104548) (← links)
- Towards finding longer proofs (Q2142073) (← links)
- Learning theorem proving components (Q2142080) (← links)
- Abelian extensions and solvable loops. (Q2258459) (← links)
- AIM loops and the AIM conjecture (Q2305344) (← links)
- ENIGMA: efficient learning-based inference guiding machine (Q2364687) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Lemmatization for Stronger Reasoning in Large Theories (Q2964472) (← links)
- Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction (Q4913865) (← links)
- Supernilpotent groups and \(3\)-supernilpotent loops (Q6601865) (← links)