# 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. 25 results; page 1/1. ## Question 31076: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0051`; number: 31076 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0051/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0051.json) ## Question 31077: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0052`; number: 31077 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0052/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0052.json) ## Question 31078: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0053`; number: 31078 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0053/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0053.json) ## Question 31079: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0054`; number: 31079 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0054/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0054.json) ## Question 31080: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0055`; number: 31080 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0055/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0055.json) ## Question 31081: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0056`; number: 31081 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0056/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0056.json) ## Question 31082: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0057`; number: 31082 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0057/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0057.json) ## Question 31083: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0058`; number: 31083 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0058/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0058.json) ## Question 31084: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0059`; number: 31084 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0059/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0059.json) ## Question 31085: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0060`; number: 31085 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0060/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0060.json) ## Question 31086: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0061`; number: 31086 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0061/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0061.json) ## Question 31087: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0062`; number: 31087 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0062/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0062.json) ## Question 31088: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0063`; number: 31088 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0063/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0063.json) ## Question 31089: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0064`; number: 31089 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0064/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0064.json) ## Question 31090: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0065`; number: 31090 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0065/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0065.json) ## Question 31091: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0066`; number: 31091 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0066/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0066.json) ## Question 31092: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0067`; number: 31092 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0067/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0067.json) ## Question 31093: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0068`; number: 31093 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0068/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0068.json) ## Question 31094: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0069`; number: 31094 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0069/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0069.json) ## Question 31095: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0070`; number: 31095 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0070/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0070.json) ## Question 31096: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0071`; number: 31096 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0071/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0071.json) ## Question 31097: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0072`; number: 31097 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0072/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0072.json) ## Question 31098: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0073`; number: 31098 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0073/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0073.json) ## Question 31099: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0074`; number: 31099 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0074/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0074.json) ## Question 31100: Restriction Can Remove an Original Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0075`; number: 31100 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-restriction-witness](/en/explore/?family=qf-density17-counter-restriction-witness) - Batch: [batch-20261012-advance-20261017-r07-counterexample-foundations](/en/explore/?batch=batch-20261012-advance-20261017-r07-counterexample-foundations) - [Derivation](/en/questions/q-20261012-advance-20261017-r07-counterexample-0075/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0075.json)