Nuprl Definition : pv11_p1_threshold
pv11_p1_threshold(accpts) == (#(accpts) + 1) ÷ 2
Definitions occuring in Statement :
divide: n ÷ m,
add: n + m,
natural_number: $n,
bag-size: #(bs)
FDL editor aliases :
pv11_p1_threshold
Latex:
pv11\_p1\_threshold(accpts) == (\#(accpts) + 1) \mdiv{} 2
Date html generated:
2016_05_17-PM-02_48_30
Last ObjectModification:
2014_11_26-AM-11_23_09
Theory : paxos!synod
Home
Index