Automatic theorem proving
[计] 自动定理证明
🧩 词语组成解析
automatic
['ɔtə'mætɪk]
adj. 自动的;不假思索的，无意识的;必然发生的;
n. 自动化机器或设备;自动手枪;
autom=auto，autom自动+atic有...性质的 → 自动的；机械的
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
Dr. Tyler's office. Good morning.
早上好，泰勒医务所。
Who is the greatest novelist of our times?
谁是当代最伟大的小说家？
I shook my head and held up five fingers indicating that I was willing to pay $5.
我摇摇头，伸出5根手指表示我只愿出5镑钱。