(field_def
(field?_TCC1 0
(field?_TCC1-1 nil 3301146598
("" (expand "division_ring?")
(("" (skosimp*)
(("" (expand "ring_with_one?")
(("" (expand "monoid?")
(("" (expand "monad?")
(("" (expand "groupoid?")
(("" (expand "star_closed?")
(("" (flatten)
(("" (inst - "x1!1`1" "x1!1`2")
(("" (expand "member") (("" (assert) nil nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil)
((monoid? const-decl "bool" monoid_def nil)
(star_closed? const-decl "bool" groupoid_def nil)
(set type-eq-decl nil sets nil)
(bool nonempty-type-eq-decl nil booleans nil)
(boolean nonempty-type-decl nil booleans nil)
(T formal-nonempty-type-decl nil field_def nil)
(member const-decl "bool" sets nil)
(monad? const-decl "bool" monad_def nil)
(ring_with_one? const-decl "bool" ring_with_one_def nil)
(division_ring? const-decl "bool" division_ring_def nil))
shostak)))
¤ Dauer der Verarbeitung: 0.0 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|