Quelle exact_reduce_integration.prf
Sprache: Lisp
(exact_reduce_integrationnil 3399288882"" (skosimp*)"" (replace -1 :hide? t)"" (expand "protocol" )"" (use "quorum_correct_integration" )"" (assert )"" (use "lower_validity" )"" (assert )"" (hide-all-but 1)"" (expand "enabled_within?" )"" (skosimp*)"" (expand "conforms" )"" "scheduled_conform[N(i!1), N(1 + i!1), T]" )nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil comm_integration 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 )nil integers nil )"bool" reals nil )nil integers nil )"[nat -> posnat]" exact_reduce_integrationnil )nil exact_reduce_integration nil )nil tau_declaration nil )"[numfield, numfield -> numfield]" number_fields nil )nil integration_fault_model nil )nil integration_fault_model nil )"check_stage[N(i), N(i + 1), UT]" nil )nil node_functions_stage nil )nil comm_integration nil )nil finite_sets nil )"bool" sets nil )nil finite_sets nil )"bool" finite_sets nil )set type-eq-decl nil sets nil )nil comm_integration nil )nil comm_integration_stage nil )nil comm_integration_stage nil )"(garbled?)" message_adt nil )"[message -> boolean]" message_adtnil )NOT const-decl "[bool -> bool]" booleans nil )nil message_adt nil )nil naturalnumbers nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )"bool" reals nil )"nonneg_int" nil )"[nat -> message]" nil )"bool" ordered_message nil )"(total_order?[T])" exact_reduce_integrationnil )"bool" orders nil )nil defined_types nil )nil exact_reduce nil )nil node_functions nil )nil node_functions_stage nil )"[below(N(i + 1)) -> [below(N(i)) -> UT]]" nil )nil node_functions nil )nil node_functions_stage nil )nil node_functions nil )nil k_ordered nil )nil ordered_finite_sequences nil )max const-decl "{t: T | AND " max_seq "structures/" )nil max_seq "structures/" )min const-decl "{t: T | AND " min_seq "structures/" )"[T, T -> boolean]" equalities nil )nil min_seq "structures/" )nil finite_sequences nil )nil nat_types nil )AND const-decl "[bool, bool -> bool]" booleans nil )nil seqs "structures/" )nil comm_integration_stage nil )"posint" nil )"bool" exact_comm nil )"(total_order?[message[T]])" nil )"bool" protocol_integration nil ))nil ))nil 3399288900"" (skosimp*)"" (replace -1 :hide? t)"" (expand "protocol" )"" (use "quorum_correct_integration" )"" (assert )"" (use "upper_validity" )"" (assert )"" (hide-all-but 1)"" (expand "enabled_within?" )"" (skosimp*)"" (expand "conforms" )"" "scheduled_conform[N(i!1), N(1 + i!1), T]" )nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil comm_integration 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 )nil integers nil )"bool" reals nil )nil integers nil )"[nat -> posnat]" exact_reduce_integrationnil )nil exact_reduce_integration nil )nil tau_declaration nil )"[numfield, numfield -> numfield]" number_fields nil )nil integration_fault_model nil )nil integration_fault_model nil )"check_stage[N(i), N(i + 1), UT]" nil )nil node_functions_stage nil )nil comm_integration nil )nil finite_sets nil )"bool" sets nil )nil finite_sets nil )"bool" finite_sets nil )set type-eq-decl nil sets nil )nil comm_integration nil )nil comm_integration_stage nil )nil comm_integration_stage nil )"(garbled?)" message_adt nil )"[message -> boolean]" message_adtnil )NOT const-decl "[bool -> bool]" booleans nil )nil message_adt nil )nil naturalnumbers nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )"bool" reals nil )"nonneg_int" nil )"[nat -> message]" nil )"bool" ordered_message nil )"(total_order?[T])" exact_reduce_integrationnil )"bool" orders nil )nil defined_types nil )nil exact_reduce nil )nil node_functions nil )nil node_functions_stage nil )"[below(N(i + 1)) -> [below(N(i)) -> UT]]" nil )nil node_functions nil )nil node_functions_stage nil )nil node_functions nil )nil k_ordered nil )nil ordered_finite_sequences nil )max const-decl "{t: T | AND " max_seq "structures/" )nil max_seq "structures/" )min const-decl "{t: T | AND " min_seq "structures/" )"[T, T -> boolean]" equalities nil )nil min_seq "structures/" )nil finite_sequences nil )nil nat_types nil )AND const-decl "[bool, bool -> bool]" booleans nil )nil seqs "structures/" )nil comm_integration_stage nil )"posint" nil )"bool" exact_comm nil )"(total_order?[message[T]])" nil )"bool" protocol_integration nil ))nil ))nil 3399288912"" (skosimp*)"" (replace -1 :hide? t)"" (expand "protocol" )"" (use "all_symmetric_integration" )"" (assert )"" (use "agreement_generation" )"" (assert )"" (hide-all-but 1)"" (expand "enabled_within?" )"" (skosimp*)"" (expand "conforms" )"" "scheduled_conform[N(i!1), N(1 + i!1), T]" )nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil comm_integration 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 )nil integers nil )"bool" reals nil )nil integers nil )"[nat -> posnat]" exact_reduce_integrationnil )nil exact_reduce_integration nil )nil tau_declaration nil )"[numfield, numfield -> numfield]" number_fields nil )nil integration_fault_model nil )nil integration_fault_model nil )"check_stage[N(i), N(i + 1), UT]" nil )nil node_functions_stage nil )nil comm_integration nil )nil finite_sets nil )"bool" sets nil )nil finite_sets nil )"bool" finite_sets nil )set type-eq-decl nil sets nil )nil comm_integration nil )nil comm_integration_stage nil )nil comm_integration_stage nil )"(garbled?)" message_adt nil )"[message -> boolean]" message_adtnil )NOT const-decl "[bool -> bool]" booleans nil )nil message_adt nil )nil naturalnumbers nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )"bool" reals nil )"nonneg_int" nil )"[nat -> message]" nil )"bool" ordered_message nil )"(total_order?[T])" exact_reduce_integrationnil )"bool" orders nil )nil defined_types nil )nil exact_reduce nil )nil node_functions nil )nil node_functions_stage nil )"[below(N(i + 1)) -> [below(N(i)) -> UT]]" nil )nil node_functions nil )nil node_functions_stage nil )nil node_functions nil )nil k_ordered nil )nil ordered_finite_sequences nil )max const-decl "{t: T | AND " max_seq "structures/" )nil max_seq "structures/" )min const-decl "{t: T | AND " min_seq "structures/" )"[T, T -> boolean]" equalities nil )nil min_seq "structures/" )nil finite_sequences nil )nil nat_types nil )AND const-decl "[bool, bool -> bool]" booleans nil )nil seqs "structures/" )nil comm_integration_stage nil )"posint" nil )"bool" exact_comm nil )"bool" protocol_integration nil ))nil )))quality 100%
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
2026-03-28
