Nuprl Definition : pv11_p1_init_slot_num
pv11_p1_init_slot_num() == 1
Definitions occuring in Statement :
natural_number: $n
FDL editor aliases :
pv11_p1_init_slot_num
Latex:
pv11\_p1\_init\_slot\_num() == 1
Date html generated:
2016_05_17-PM-02_50_46
Last ObjectModification:
2014_11_26-AM-11_24_57
Theory : paxos!synod
Home
Index