# 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 4/4. ## 第 9976 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0051`; number: 9976 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0051/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0051.json) ## 第 9977 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0052`; number: 9977 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0052/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0052.json) ## 第 9978 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0053`; number: 9978 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0053/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0053.json) ## 第 9979 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0054`; number: 9979 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0054/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0054.json) ## 第 9980 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0055`; number: 9980 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0055/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0055.json) ## 第 9981 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0056`; number: 9981 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0056/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0056.json) ## 第 9982 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0057`; number: 9982 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0057/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0057.json) ## 第 9983 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0058`; number: 9983 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0058/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0058.json) ## 第 9984 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0059`; number: 9984 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0059/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0059.json) ## 第 9985 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0060`; number: 9985 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0060/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0060.json) ## 第 9986 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0061`; number: 9986 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0061/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0061.json) ## 第 9987 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0062`; number: 9987 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0062/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0062.json) ## 第 9988 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0063`; number: 9988 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0063/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0063.json) ## 第 9989 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0064`; number: 9989 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0064/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0064.json) ## 第 9990 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0065`; number: 9990 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0065/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0065.json) ## 第 9991 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0066`; number: 9991 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0066/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0066.json) ## 第 9992 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0067`; number: 9992 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0067/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0067.json) ## 第 9993 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0068`; number: 9993 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0068/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0068.json) ## 第 9994 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0069`; number: 9994 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0069/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0069.json) ## 第 9995 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0070`; number: 9995 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0070/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0070.json) ## 第 9996 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0071`; number: 9996 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0071/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0071.json) ## 第 9997 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0072`; number: 9997 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0072/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0072.json) ## 第 9998 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0073`; number: 9998 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0073/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0073.json) ## 第 9999 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0074`; number: 9999 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0074/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0074.json) ## 第 10000 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0075`; number: 10000 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-tactic-vs-term](/zh-Hant/explore/?family=qf-ext19-proofterm-tactic-vs-term) - 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-0075/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0075.json)