首页
随机
登录
设置
资助
关于维基词典
免责声明
搜索
probabilistically checkable proof
语言
监视本页
编辑
正體
:
可能核對證明
[電子計算機]