# OCME ยท Knowledge & practice explorer 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. 200 results; page 4/8. ## Question 6276: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0076`; number: 6276 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0076/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0076.json) ## Question 6277: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0077`; number: 6277 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0077/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0077.json) ## Question 6278: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0078`; number: 6278 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0078/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0078.json) ## Question 6279: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0079`; number: 6279 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0079/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0079.json) ## Question 6280: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0080`; number: 6280 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0080/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0080.json) ## Question 6281: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0081`; number: 6281 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0081/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0081.json) ## Question 6282: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0082`; number: 6282 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0082/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0082.json) ## Question 6283: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0083`; number: 6283 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0083/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0083.json) ## Question 6284: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0084`; number: 6284 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0084/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0084.json) ## Question 6285: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0085`; number: 6285 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0085/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0085.json) ## Question 6286: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0086`; number: 6286 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0086/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0086.json) ## Question 6287: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0087`; number: 6287 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0087/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0087.json) ## Question 6288: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0088`; number: 6288 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0088/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0088.json) ## Question 6289: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0089`; number: 6289 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0089/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0089.json) ## Question 6290: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0090`; number: 6290 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0090/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0090.json) ## Question 6291: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0091`; number: 6291 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0091/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0091.json) ## Question 6292: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0092`; number: 6292 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0092/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0092.json) ## Question 6293: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0093`; number: 6293 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0093/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0093.json) ## Question 6294: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0094`; number: 6294 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0094/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0094.json) ## Question 6295: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0095`; number: 6295 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0095/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0095.json) ## Question 6296: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0096`; number: 6296 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0096/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0096.json) ## Question 6297: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0097`; number: 6297 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0097/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0097.json) ## Question 6298: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0098`; number: 6298 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0098/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0098.json) ## Question 6299: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0099`; number: 6299 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0099/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0099.json) ## Question 6300: Goal Depths Before and After Removing Original Rules - ID: `q-20261009-advance-20261013-r04-proof-0100`; number: 6300 - Processing: second_context_reviewed - MKO: [mko-proof](/en/mko/mko-proof/) - Family: [qf-density13-proof-horn-rule-removal](/en/explore/?family=qf-density13-proof-horn-rule-removal) - Batch: [batch-20261009-advance-20261013-r04-proof-foundations](/en/explore/?batch=batch-20261009-advance-20261013-r04-proof-foundations) - [Derivation](/en/questions/q-20261009-advance-20261013-r04-proof-0100/) / [Markdown](/en/questions/q-20261009-advance-20261013-r04-proof-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261009-advance-20261013-r04-proof-0100.json) [Next](/en/explore/index.md?mko=mko-proof&page=5)