# 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.

## 第 6276 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0076`; number: 6276
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0076/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0076.json)

## 第 6277 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0077`; number: 6277
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0077/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0077.json)

## 第 6278 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0078`; number: 6278
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0078/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0078.json)

## 第 6279 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0079`; number: 6279
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0079/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0079.json)

## 第 6280 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0080`; number: 6280
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0080/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0080.json)

## 第 6281 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0081`; number: 6281
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0081/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0081.json)

## 第 6282 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0082`; number: 6282
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0082/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0082.json)

## 第 6283 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0083`; number: 6283
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0083/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0083.json)

## 第 6284 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0084`; number: 6284
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0084/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0084.json)

## 第 6285 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0085`; number: 6285
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0085/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0085.json)

## 第 6286 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0086`; number: 6286
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0086/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0086.json)

## 第 6287 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0087`; number: 6287
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0087/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0087.json)

## 第 6288 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0088`; number: 6288
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0088/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0088.json)

## 第 6289 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0089`; number: 6289
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0089/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0089.json)

## 第 6290 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0090`; number: 6290
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0090/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0090.json)

## 第 6291 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0091`; number: 6291
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0091/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0091.json)

## 第 6292 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0092`; number: 6292
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0092/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0092.json)

## 第 6293 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0093`; number: 6293
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0093/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0093.json)

## 第 6294 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0094`; number: 6294
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0094/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0094.json)

## 第 6295 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0095`; number: 6295
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0095/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0095.json)

## 第 6296 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0096`; number: 6296
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0096/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0096.json)

## 第 6297 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0097`; number: 6297
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0097/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0097.json)

## 第 6298 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0098`; number: 6298
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0098/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0098.json)

## 第 6299 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0099`; number: 6299
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0099/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0099.json)

## 第 6300 題：刪除原規則列前後的深度

- ID: `q-20261009-advance-20261013-r04-proof-0100`; number: 6300
- Processing: second_context_reviewed
- MKO: [mko-proof](/zh-Hant/mko/mko-proof/)
- Family: [qf-density13-proof-horn-rule-removal](/zh-Hant/explore/?family=qf-density13-proof-horn-rule-removal)
- 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-0100/) / [Markdown](/zh-Hant/questions/q-20261009-advance-20261013-r04-proof-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0100.json)

