(rewrite_rulesnil 3416209767"" (lemma "var_countable" ) (("" (propax) nil nil )) nil )nil rewrite_rules nil )) nil ))nil 3402089498"" (skeep)"" (expand "rewrite_rule?" )"" (prop)"1" (expand "ext" )"1" (lift-if) (("1" (prop) (("1" (assert ) nil nil )) nil ))nil ))nil )"2" (rewrite "rename_preserv_inclusion" ) nil nil ))nil ))nil ))nil )"bool" rewrite_rules nil )nil substitution nil )nil term_adt nil ) (set type-eq-decl nil sets nil )"set[term]" variables_term nil )"bool" substitution nil )nil substitution nil )"bool" substitution nil )nil substitution nil )nil rewrite_rules nil )nil rewrite_rules nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )nil booleans nil )"bool" reals nil )nil naturalnumbers nil )"[symbol -> nat]" rewrite_rules nil )ext def-decl "term" substitution nil ))quality 100%
¤ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
