SSL csequence_add.prf
Sprache: Lisp
(csequence_addnil 3513474090"" (expand "is_finite" ) (("" (propax) nil nil )) nil )"bool" csequence_props nil )) nil ))nil 3513474090"" (expand "is_finite" ) (("" (propax) nil nil )) nil )"bool" csequence_props nil )) nil ))nil 3513474119"" (expand "length" 1 1) (("" (propax) nil nil )) nil )"{n | has_length(fseq, n)}" csequence_length nil ))nil 3513474090 ("" (subtype-tcc) nil nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )nil naturalnumbers nil )"int" integers nil )"(total_order?[real])" nil ))nil ))nil 3513474177"" (expand "index?" 1 1) (("" (propax) nil nil )) nil )"bool" csequence_nth nil )"int" integers nil ))nil 3513474090"" (expand "index?" ) (("" (propax) nil nil )) nil )"bool" csequence_nth nil )) nil ))nil 3513474195"" (expand "nth" 1 1) (("" (propax) nil nil )) nil )"T" csequence_nth nil )) shostak))nil 3513474090 ("" (subtype-tcc) nil nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil csequence_add nil )nil csequence_codt nil )"bool" csequence_props nil )nil csequence_props nil ))nil ))nil 3513474207"" (skolem!)"" (expand "last" )"" (expand "length" 1 1)"" (expand "nth" 1 1)"" (use "length_empty?_rew" )"" (lift-if) (("" (lift-if) (("" (ground) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )"T" csequence_nth nil )"T" csequence_nth nil )"int" integers nil )nil csequence_codt nil )nil booleans nil )nil booleans nil )"bool" csequence_props nil )nil csequence_props nil )nil csequence_length nil )nil csequence_add nil )"{n | has_length(fseq, n)}" csequence_length nil ))nil 3513474245"" (expand "some" 1 1) (("" (propax) nil nil )) nil )"boolean" csequence_codt nil )) shostak))nil 3513474251"" (expand "every" 1 1) (("" (propax) nil nil )) nil )"boolean" csequence_codt nil )) shostak)))quality 100%
¤ 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.0.13Bemerkung:
(vorverarbeitet)
¤ *Bot Zugriff
2026-03-28
