Quellcode-Bibliothek csequence_rest.prf
Sprache: Lisp
(csequence_restnil 3513477709"" (skolem-typepred)"" (expand "is_finite" -) (("" (propax) nil nil )) nil )) nil )nil csequence_props nil )"[csequence -> boolean]" nil )nil csequence_props nil )"bool" csequence_props nil )nil csequence_codt nil )nil csequence_rest nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil ))nil ))nil 3513477709"" (skolem-typepred)"" (expand "is_finite" +) (("" (flatten) nil nil )) nil )) nil )nil csequence_props nil )NOT const-decl "[bool -> bool]" booleans nil )"bool" csequence_props nil )nil booleans nil )nil booleans nil )nil csequence_codt nil )nil csequence_rest nil ))nil ))nil 3513477777"" (skolem!)"" (prop)"1" (inst + "first(nseq!1)" )"1" (decompose-equality) nil nil )) nil )"2" (skolem!) (("2" (replace -1) (("2" (assert ) nil nil )) nil ))nil ))nil ))nil )nil csequence_codt nil )"(empty?)" csequence_codt nil )"[csequence -> boolean]" csequence_codtnil )"[[T, csequence] -> (nonempty?)]" nil )nil csequence_props nil )"[(nonempty?) -> T]" csequence_codt nil )"[csequence -> boolean]" nil )nil booleans nil )nil csequence_codt nil )nil csequence_rest nil ))nil 3513477823"" (skolem!)"" (expand * "is_finite" "is_finite" "length" "length" )"" (ground) nil nil )) nil ))nil )"{n | has_length(fseq, n)}" csequence_length nil )"bool" csequence_props nil )"posint" nil ))nil 3513477866"" (skolem!)"" (use "rest_empty" )"" (lemma "length_empty?_rew" ("cseq" "nseq!1" ))"" (ground) nil nil )) nil ))nil ))nil )nil csequence_rest nil )nil csequence_props nil )"[csequence -> boolean]" nil )nil booleans nil )nil csequence_codt nil )nil csequence_rest nil )"(strict_total_order?[real])" real_props nil )nil csequence_length nil ))nil 3513477709"" (skosimp) (("" (expand * "index?" "index?" ) nil nil )) nil )"bool" csequence_nth nil )) nil ))nil 3513477945"" (skosimp) (("" (expand * "nth" "nth" ) nil nil )) nil )"T" csequence_nth nil )) shostak))nil 3513477958"" (expand "length" 1 2) (("" (propax) nil nil )) nil )"{n | has_length(fseq, n)}" csequence_length nil ))nil 3513477977"" (expand "index?" 1 2) (("" (propax) nil nil )) nil )"bool" csequence_nth nil )) shostak))nil 3513477709"" (expand "index?" ) (("" (propax) nil nil )) nil )"bool" csequence_nth nil )) nil ))nil 3513478014"" (expand "nth" 1 2) (("" (propax) nil nil )) nil )"T" csequence_nth nil )) shostak))nil 3513478020"" (expand "some" 1 1) (("" (propax) nil nil )) nil )"boolean" csequence_codt nil )) shostak))nil 3513478028"" (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.22Bemerkung:
(vorverarbeitet)
¤ *Bot Zugriff
2026-03-28
