MizAR 60 for Mizar 50

已关闭

文献求助详情

标题	MizAR 60 for Mizar 50
网址	https://doi.org/10.48550/arXiv.1706.03762
DOI	10.48550/arXiv.1706.03762 doi
其它	期刊：作者：Jakubův, Jan; Chvalovský, Karel; Goertzel, Zarathustra; Kaliszyk, Cezary; Olšák, Mirek; et al 出版日期：2023-01-01
求助人	archiz 在 2026-07-06 00:33:09 发布自北京，悬赏 10 积分
下载

上个求助

提交工单

求助 / 应助时间线

3个月前，求助关闭

archiz Lv4 求助人关闭了本次求助。

说明不需要了【积分已退回】
3个月前

archiz Lv4 求助人驳回了星辰大海上传的文件

说明
不是原文，是sci-hub上下载的那种版本，需要原文
3个月前

星辰大海 Lv11 上传了文件

已驳回 1706.03762.pdf (2.1 MB)

温馨提示：本文件中的下载单位、IP等隐私信息已被删除。如有遗漏，请提交工单反馈。
3个月前

archiz Lv4 求助人发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: wwtt发布了新的文献求助10

刚刚; 封号四犸的应助被小温采纳，获得10

1秒前; 隐形的芷文完成签到，获得积分10

1秒前; 嘻嘻哈哈上传了应助文件

5秒前; 认养一头牛完成签到，获得积分10

6秒前; 自信的纸鹤完成签到，获得积分10

9秒前; Augustines完成签到，获得积分10

12秒前; jianzi927发布了新的文献求助20

14秒前; CodeCraft上传了应助文件

25秒前; jianzi927发布了新的文献求助10

29秒前; 科研通AI6.2的应助被科研通管家采纳，获得10

37秒前; 科研通AI6.4上传了应助文件

41秒前; 机灵善斓完成签到，获得积分10

46秒前; 科研通AI6.2上传了应助文件

50秒前; 认养一头牛发布了新的文献求助10

50秒前; YifanWang上传了应助文件

52秒前; sanbuzhiwai发布了新的文献求助10

1分钟前; 嘻嘻哈哈上传了应助文件

1分钟前; 落后藏鸟完成签到，获得积分10

1分钟前; yyan完成签到，获得积分10

1分钟前; 科研通AI6.2的应助被善良的孤风采纳，获得10

1分钟前; Waldinsamkeit完成签到，获得积分10

1分钟前; Hugo完成签到，获得积分10

1分钟前; ahua完成签到，获得积分10

1分钟前; 哭泣无招完成签到，获得积分10

1分钟前; bkagyin上传了应助文件

1分钟前; lww完成签到，获得积分10

1分钟前; 三水发布了新的文献求助10

1分钟前; YifanWang上传了应助文件

1分钟前; 不怪地球关注了科研通微信公众号

1分钟前; YifanWang上传了应助文件

2分钟前; Owen的应助被不怪地球采纳，获得10

2分钟前; 一心读书的小王驳回了orixero的应助

2分钟前; 洁净香寒完成签到，获得积分10

2分钟前; 我去吃饭完成签到，获得积分10

2分钟前; 隐形曼青的应助被三水采纳，获得10

2分钟前; YifanWang上传了应助文件

2分钟前; 赘婿的应助被科研通管家采纳，获得10

2分钟前; wwtt发布了新的文献求助30

2分钟前; 孤独怀寒完成签到，获得积分10

2分钟前