Quellcode-Bibliothek neg.prf
Sprache: Lisp
(negnil 3507981237"" (skosimp*)"" (expand "cauchy_real?" )"" (typepred "cx!1" )"" (expand "cauchy_real?" )"" (skolem!)"" (inst 1 "-x!1" )"" (assert )"" (expand "cauchy_prop" )"" (skolem!)"" (inst - "p!1" )"" (assert ) (("" (grind) nil nil )) nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"bool" cauchy nil )"real" reals nil )"[numfield -> numfield]" number_fields nil )nil number_fields nil )"posint" exponentiation nil )"bool" cauchy nil )"posnat" exponentiation nil )"posrat" nil )"(total_order?[real])" nil )"int" integers nil )"real" exponentiation nil )"(strict_total_order?[real])" real_props nil )"int" integers nil )"real" reals nil )"int" integers 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 )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )"bool" reals nil )nil naturalnumbers nil )nil cauchy nil ))nil ))nil 3507981237"" (skosimp*)"" (expand "cauchy_prop" )"" (expand "cauchy_neg" )"" (split)"1" (skosimp*)"1" (inst - "p!1" ) (("1" (grind) nil nil )) nil )) nil )"2" (skosimp*)"2" (inst - "p!1" ) (("2" (grind) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )"posint" exponentiation nil )"real" reals nil )"bool" cauchy 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 )"real" exponentiation nil )"int" integers nil )"(total_order?[real])" nil )"posrat" nil )"posnat" exponentiation nil )"real" reals nil )"int" integers nil )"(strict_total_order?[real])" real_props nil )"cauchy_real" neg nil )"int" integers nil ))nil ))nil 3507981237"" (skosimp*)"" (typepred "nzcx!1" )"" (expand "cauchy_nzreal?" )"" (skolem!)"" (typepred "x!1" )"" (inst + "-x!1" )"" (lemma "neg_lemma" ("x" "x!1" "cx" "nzcx!1" ))"" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )nil cauchy nil )"bool" cauchy nil )nil naturalnumbers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"nzreal" real_typesnil )"[numfield -> numfield]" number_fields nil )nil number_fields nil )nil cauchy nil )"bool" cauchy nil )nil neg nil )nil reals nil )"boolean" notequal nil ))nil ))nil 3507981237"" (skolem!)"" (typepred "pcx!1" )"" (expand "cauchy_negreal?" )"" (expand "cauchy_posreal?" )"" (skolem!)"" (typepred "x!1" )"" (inst + "-x!1" )"" (lemma "neg_lemma" ("x" "x!1" "cx" "pcx!1" ))"" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil cauchy nil )"bool" cauchy nil )nil naturalnumbers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )nil real_types nil )"bool" reals nil )nil real_types nil )nil neg nil )"bool" cauchy nil )nil cauchy nil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props nil )"cauchy_nzreal" neg nil )"bool" reals nil )nil real_types nil )"bool" reals nil )nil real_types nil )nil number_fields nil )"[numfield -> numfield]" number_fields nil )"nzreal" real_typesnil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props nil )"bool" cauchy nil ))nil ))nil 3507981237"" (skolem!)"" (typepred "ncx!1" )"" (expand "cauchy_negreal?" )"" (skolem!)"" (expand "cauchy_posreal?" )"" (inst + "-x!1" )"" (typepred "x!1" )"" (lemma "neg_lemma" ("x" "x!1" "cx" "ncx!1" ))"" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil cauchy nil )"bool" cauchy nil )nil naturalnumbers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )"nzreal" real_typesnil )nil real_types nil )"bool" reals nil )nil real_types nil )"bool" reals nil )"[numfield -> numfield]" number_fields nil )nil number_fields nil )nil real_types nil )"bool" reals nil )nil real_types nil )nil neg nil )"bool" cauchy nil )nil cauchy nil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props nil )"cauchy_nzreal" neg nil )"bool" cauchy nil ))nil )))quality 94%
¤ 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.16Bemerkung:
(vorverarbeitet)
¤ *Bot Zugriff
2026-03-28
