(commutative_ring_with_one0 1 nil 3292785972 "" (expand "commutative_ring_with_one?" )"" (lemma "star_commutative" )"" (lemma "fullset_is_ring_with_one" ) (("" (assert ) nil nil ))nil ))nil ))nil )nil ring_with_one nil ))0 1 nil 3292786148 "" (lemma "fullset_is_commutative_ring_with_one" )"" (expand "commutative_ring_with_one?" ) (("" (flatten) nil nil ))nil ))nil )"bool" ring_with_one_defnil )nil nil ))0 1 nil 3292786148 "" (lemma "fullset_is_commutative_ring_with_one" )"" (expand "commutative_ring_with_one?" )"" (expand "commutative_ring?" )"" (expand "ring_with_one?" )"" (flatten) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil )"bool" ring_with_one_defnil )"bool" ring_with_one_def nil )"bool" ring_def nil )nil nil ))0 1 nil 3292786148 "" (lemma "fullset_is_commutative_ring_with_one" )"" (propax) nil nil )) nil )nil nil ))0 1 nil 3292786031 "" (skolem!) (("" (typepred "R!1" ) (("" (propax) nil nil )) nil ))nil )eq -decl nil nil )"bool" ring_with_one_defnil )"T" commutative_ring_with_one nil )"T" commutative_ring_with_one nil )"[T, T -> T]" commutative_ring_with_one nil )"[T, T -> T]" commutative_ring_with_one nil )set type-eq -decl nil sets nil )nil commutative_ring_with_one nil )NOT const-decl "[bool -> bool]" booleans nil )eq -decl nil booleans nil )nil booleans nil ))0 1 nil 3292786051 "" (skosimp*)"" (typepred "x!1" )"" (expand "commutative_ring_with_one?" )"" (expand "commutative_ring?" )"" (expand "ring_with_one?" )"" (flatten) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )eq -decl nil nil )"bool" ring_with_one_defnil )"T" commutative_ring_with_one nil )"T" commutative_ring_with_one nil )"[T, T -> T]" commutative_ring_with_one nil )"[T, T -> T]" commutative_ring_with_one nil )set type-eq -decl nil sets nil )nil commutative_ring_with_one nil )NOT const-decl "[bool -> bool]" booleans nil )eq -decl nil booleans nil )nil booleans nil )"bool" ring_def nil )"bool" ring_with_one_def nil ))0 1 nil 3292786121 "" (skosimp*)"" (typepred "x!1" )"" (expand "commutative_ring_with_one?" )"" (flatten) nil nil )) nil ))nil ))nil )eq -decl nil nil )"bool" ring_with_one_defnil )"T" commutative_ring_with_one nil )"T" commutative_ring_with_one nil )"[T, T -> T]" commutative_ring_with_one nil )"[T, T -> T]" commutative_ring_with_one nil )set type-eq -decl nil sets nil )nil commutative_ring_with_one nil )NOT const-decl "[bool -> bool]" booleans nil )eq -decl nil booleans nil )nil booleans nil ))0 1 nil 3294094805 "" (skosimp)"" (typepred "x!1" )"" (expand "commutative_ring_with_one?" )"" (expand "commutative_monoid?" )"" (expand "ring_with_one?" )"" (flatten) (("" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )eq -decl nil nil )"bool" ring_with_one_defnil )"T" commutative_ring_with_one nil )"T" commutative_ring_with_one nil )"[T, T -> T]" commutative_ring_with_one nil )"[T, T -> T]" commutative_ring_with_one nil )set type-eq -decl nil sets nil )nil commutative_ring_with_one nil )NOT const-decl "[bool -> bool]" booleans nil )eq -decl nil booleans nil )nil booleans nil )"bool" monoid_def nil )"bool" ring_with_one_def nil ))
Messung V0.5 in Prozent C=100 H=100 G=100
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet am 2026-06-15)
¤ *© Formatika GbR, Deutschland
