(number_fields_sqnil 3280147667"" (expand "sq" )"" (skosimp*)"" "nznum_times_nznum_is_nznum" "nzx" "nz!1" "nzy" "nz!1" ))"" (assert ) nil nil )) nil ))nil ))nil )"nznum" nil )nil number_fields_bisnil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"boolean" notequal nil )nil number_fields nil )"numfield" number_fields_sq nil ))nil 3280147747"" (expand "sq" ) (("" (propax) nil nil )) nil )"numfield" number_fields_sq nil )) shostak))nil 3280147757"" (expand "sq" )"" (skosimp*) (("" (rewrite "neg_times_neg" ) nil nil )) nil )) nil )nil number_fields nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil number_fields_bis nil )"numfield" number_fields_sq nil ))nil 3280147791"" (expand "sq" ) (("" (propax) nil nil )) nil )"numfield" number_fields_sq nil )) shostak))nil 3280147801"" (expand "sq" ) (("" (grind) nil nil )) nil )"numfield" number_fields_sq nil )) shostak))nil 3280147819 ("" (grind) nil nil )"numfield" number_fields_sq nil )) shostak))nil 3280147827"" (expand "sq" ) (("" (propax) nil nil )) nil )"numfield" number_fields_sq nil )) shostak))nil 3280147836 ("" (expand "sq" ) (("" (propax) nil nil )) nil )"numfield" number_fields_sq nil )) shostak))nil 3280147845 ("" (expand "sq" ) (("" (propax) nil nil )) nil )"numfield" number_fields_sq nil )) shostak))nil 3280147908"" (skosimp*)"" (expand "sq" )"" (split)"1" (flatten)"1" (lemma "zero_times3" ("x" "a!1" "y" "a!1" ))"1" (assert ) nil nil )) nil ))nil )"2" (flatten)"2" (assert )"2" (replace -1) (("2" (rewrite "zero_times1" ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil )"numfield" number_fields_sq nil )nil number_fields_bis nil )nil number_fields_bis nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )nil number_fields nil ))nil 3280147989"" (expand "sq" )"" (skosimp*) (("" (rewrite "div_times" ) nil nil )) nil )) nil )nil number_fields nil )nil number_fields nil )"boolean" notequal nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil number_fields_bis nil )"numfield" number_fields_sq nil ))quality 100%
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
