# 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 2/4. ## 第 9926 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0076`; number: 9926 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0076/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0076.json) ## 第 9927 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0077`; number: 9927 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0077/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0077.json) ## 第 9928 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0078`; number: 9928 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0078/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0078.json) ## 第 9929 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0079`; number: 9929 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0079/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0079.json) ## 第 9930 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0080`; number: 9930 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0080/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0080.json) ## 第 9931 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0081`; number: 9931 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0081/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0081.json) ## 第 9932 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0082`; number: 9932 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0082/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0082.json) ## 第 9933 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0083`; number: 9933 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0083/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0083.json) ## 第 9934 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0084`; number: 9934 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0084/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0084.json) ## 第 9935 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0085`; number: 9935 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0085/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0085.json) ## 第 9936 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0086`; number: 9936 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0086/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0086.json) ## 第 9937 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0087`; number: 9937 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0087/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0087.json) ## 第 9938 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0088`; number: 9938 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0088/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0088.json) ## 第 9939 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0089`; number: 9939 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0089/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0089.json) ## 第 9940 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0090`; number: 9940 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0090/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0090.json) ## 第 9941 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0091`; number: 9941 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0091/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0091.json) ## 第 9942 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0092`; number: 9942 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0092/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0092.json) ## 第 9943 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0093`; number: 9943 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0093/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0093.json) ## 第 9944 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0094`; number: 9944 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0094/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0094.json) ## 第 9945 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0095`; number: 9945 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0095/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0095.json) ## 第 9946 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0096`; number: 9946 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0096/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0096.json) ## 第 9947 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0097`; number: 9947 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0097/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0097.json) ## 第 9948 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0098`; number: 9948 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0098/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0098.json) ## 第 9949 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0099`; number: 9949 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0099/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0099.json) ## 第 9950 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0100`; number: 9950 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-kernel-receipt](/zh-Hant/explore/?family=qf-ext19-proofterm-kernel-receipt) - 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-0100/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0100.json) [Next](/zh-Hant/explore/index.md?mko=mko-lean-proof-term&page=3)