The query [[Fact related to::Extensible automorphisms problem]] was answered by the SMWSQLStore3 in 0.0036 seconds.
[[Fact related to::Extensible automorphisms problem]]
SMWSQLStore3
Extensible equals inner, Finite-characteristic-semidirectly extensible implies linearly pushforwardable over prime field, Finite-extensible endomorphism implies trivial or automorphism, Finite-extensible implies class-preserving, Pushforwardable equals inner, Quotient-pullbackable equals inner