# 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. ## 第 6226 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0026`; number: 6226 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0026/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0026.json) ## 第 6227 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0027`; number: 6227 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0027/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0027.json) ## 第 6228 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0028`; number: 6228 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0028/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0028.json) ## 第 6229 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0029`; number: 6229 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0029/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0029.json) ## 第 6230 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0030`; number: 6230 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0030/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0030.json) ## 第 6231 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0031`; number: 6231 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0031/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0031.json) ## 第 6232 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0032`; number: 6232 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0032/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0032.json) ## 第 6233 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0033`; number: 6233 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0033/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0033.json) ## 第 6234 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0034`; number: 6234 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0034/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0034.json) ## 第 6235 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0035`; number: 6235 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0035/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0035.json) ## 第 6236 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0036`; number: 6236 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0036/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0036.json) ## 第 6237 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0037`; number: 6237 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0037/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0037.json) ## 第 6238 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0038`; number: 6238 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0038/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0038.json) ## 第 6239 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0039`; number: 6239 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0039/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0039.json) ## 第 6240 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0040`; number: 6240 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0040/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0040.json) ## 第 6241 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0041`; number: 6241 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0041/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0041.json) ## 第 6242 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0042`; number: 6242 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0042/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0042.json) ## 第 6243 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0043`; number: 6243 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0043/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0043.json) ## 第 6244 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0044`; number: 6244 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0044/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0044.json) ## 第 6245 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0045`; number: 6245 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0045/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0045.json) ## 第 6246 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0046`; number: 6246 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0046/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0046.json) ## 第 6247 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0047`; number: 6247 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0047/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0047.json) ## 第 6248 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0048`; number: 6248 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0048/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0048.json) ## 第 6249 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0049`; number: 6249 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0049/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0049.json) ## 第 6250 題：三個目標的型別與推導深度 - ID: `q-20261009-advance-20261013-r04-proof-0050`; number: 6250 - Processing: second_context_reviewed - MKO: [mko-proof](/zh-Hant/mko/mko-proof/) - Family: [qf-density13-proof-horn-goal-check](/zh-Hant/explore/?family=qf-density13-proof-horn-goal-check) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/zh-Hant/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0050/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0050.json)