# OCME · 知識與練習查找 302 MKO / 1,441 families / 360 batches / 36,000 questions. 36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training. 100 results; page 1/4. ## 第 9901 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0026`; number: 9901 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0026/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0026.json) ## 第 9902 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0027`; number: 9902 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0027/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0027.json) ## 第 9903 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0028`; number: 9903 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0028/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0028.json) ## 第 9904 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0029`; number: 9904 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0029/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0029.json) ## 第 9905 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0030`; number: 9905 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0030/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0030.json) ## 第 9906 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0031`; number: 9906 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0031/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0031.json) ## 第 9907 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0032`; number: 9907 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0032/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0032.json) ## 第 9908 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0033`; number: 9908 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0033/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0033.json) ## 第 9909 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0034`; number: 9909 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0034/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0034.json) ## 第 9910 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0035`; number: 9910 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0035/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0035.json) ## 第 9911 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0036`; number: 9911 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0036/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0036.json) ## 第 9912 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0037`; number: 9912 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0037/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0037.json) ## 第 9913 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0038`; number: 9913 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0038/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0038.json) ## 第 9914 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0039`; number: 9914 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0039/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0039.json) ## 第 9915 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0040`; number: 9915 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0040/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0040.json) ## 第 9916 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0041`; number: 9916 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0041/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0041.json) ## 第 9917 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0042`; number: 9917 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0042/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0042.json) ## 第 9918 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0043`; number: 9918 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0043/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0043.json) ## 第 9919 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0044`; number: 9919 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0044/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0044.json) ## 第 9920 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0045`; number: 9920 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0045/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0045.json) ## 第 9921 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0046`; number: 9921 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0046/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0046.json) ## 第 9922 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0047`; number: 9922 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0047/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0047.json) ## 第 9923 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0048`; number: 9923 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0048/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0048.json) ## 第 9924 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0049`; number: 9924 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0049/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0049.json) ## 第 9925 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0050`; number: 9925 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-context-use](/zh-Hant/explore/?family=qf-ext19-proofterm-context-use) - Batch: [batch-20261013-advance-20261019-r07-lean-proof-term-foundations](/zh-Hant/explore/?batch=batch-20261013-advance-20261019-r07-lean-proof-term-foundations) - [Derivation](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0050/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0050.json) [Next](/zh-Hant/explore/index.md?mko=mko-lean-proof-term&page=2)