(lift_propsnil 3353045582 ("" (grind) nil nil ) nil shostak))nil 3353049060"" (skosimp) (("" (grind) (("" (decompose-equality) nil nil )) nil ))nil )"[T -> (up?)]" lift_adt nil )"[(up?) -> T]" lift_adt nil )nil lift_adt nil )nil lift_props nil )nil lift_adt nil )nil booleans nil )"[lift -> boolean]" lift_adt nil ))nil 3353768866"" (skosimp)"" (case-replace "y1!1=y2!1" )"1" (assert ) nil nil )"2" (assert )"2" (lemma "up_down" ("y" "y1!1" ))"2" (lemma "up_down" ("y" "y2!1" )) (("2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil )nil lift_props nil )nil lift_adt nil )nil booleans nil )"[T, T -> boolean]" equalities nil )nil lift_props nil ))nil 3353045918"" (skosimp)"" (case-replace "x1!1=x2!1" )"1" (assert ) nil nil )"2" (assert )"2" (lemma "down_equal" ("y1" "up(x1!1)" "y2" "up(x2!1)" ))"2" (assert ) nil nil )) nil ))nil ))nil ))nil )nil lift_props nil )nil booleans nil )"[T, T -> boolean]" equalities nil )"[T -> (up?)]" lift_adt nil )"[lift -> boolean]" lift_adt nil )nil lift_adt nil )nil lift_props nil ))quality 100%
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
