(ring_with_one_defnil 3301146176"" (expand "ring_with_one?" )"" (expand "ring?" )"" (expand "semigroup?" )"" (expand "groupoid?" )"" (expand "star_closed?" )"" (skosimp*)"" (inst - "x1!1`1" "x1!1`2" )"" (expand "member" ) (("" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" ring_def nil )"bool" sets nil ) (set type-eq-decl nil sets nil )nil booleans nil )nil booleans nil )nil ring_with_one_def nil )"bool" groupoid_def nil )"bool" ring_with_one_def nil ))nil 3301146176"" (expand "finite_ring_with_one?" )"" (expand "ring_with_one?" )"" (expand "monoid?" )"" (expand "monad?" )"" (expand "groupoid?" )"" (expand "star_closed?" )"" (expand "member" ) (("" (skosimp*) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" ring_with_one_def nil )"bool" monad_def nil )"bool" sets nil )"bool" groupoid_def nil )"bool" monoid_def nil )"bool" ring_with_one_def nil ))quality 94%
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
