# 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. 25 results; page 1/1. ## 第 9951 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0001`; number: 9951 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0001/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0001.json) ## 第 9952 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0002`; number: 9952 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0002/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0002.json) ## 第 9953 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0003`; number: 9953 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0003/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0003.json) ## 第 9954 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0004`; number: 9954 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0004/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0004.json) ## 第 9955 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0005`; number: 9955 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0005/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0005.json) ## 第 9956 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0006`; number: 9956 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0006/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0006.json) ## 第 9957 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0007`; number: 9957 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0007/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0007.json) ## 第 9958 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0008`; number: 9958 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0008/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0008.json) ## 第 9959 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0009`; number: 9959 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0009/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0009.json) ## 第 9960 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0010`; number: 9960 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0010/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0010.json) ## 第 9961 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0011`; number: 9961 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0011/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0011.json) ## 第 9962 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0012`; number: 9962 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0012/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0012.json) ## 第 9963 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0013`; number: 9963 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0013/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0013.json) ## 第 9964 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0014`; number: 9964 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0014/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0014.json) ## 第 9965 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0015`; number: 9965 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0015/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0015.json) ## 第 9966 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0016`; number: 9966 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0016/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0016.json) ## 第 9967 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0017`; number: 9967 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0017/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0017.json) ## 第 9968 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0018`; number: 9968 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0018/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0018.json) ## 第 9969 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0019`; number: 9969 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0019/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0019.json) ## 第 9970 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0020`; number: 9970 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0020/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0020.json) ## 第 9971 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0021`; number: 9971 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0021/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0021.json) ## 第 9972 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0022`; number: 9972 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0022/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0022.json) ## 第 9973 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0023`; number: 9973 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0023/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0023.json) ## 第 9974 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0024`; number: 9974 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0024/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0024.json) ## 第 9975 題：合成證明項判定 - ID: `q-20261013-advance-20261019-r07-lean-proof-term-0025`; number: 9975 - Processing: second_context_reviewed - MKO: [mko-lean-proof-term](/zh-Hant/mko/mko-lean-proof-term/) - Family: [qf-ext19-proofterm-small-calculus](/zh-Hant/explore/?family=qf-ext19-proofterm-small-calculus) - 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-0025/) / [Markdown](/zh-Hant/questions/q-20261013-advance-20261019-r07-lean-proof-term-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r07-lean-proof-term-0025.json)