# 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 6/8. ## Question 31051: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0001`; number: 31051 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0001/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0001.json) ## Question 31052: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0002`; number: 31052 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0002/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0002.json) ## Question 31053: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0003`; number: 31053 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0003/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0003.json) ## Question 31054: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0004`; number: 31054 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0004/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0004.json) ## Question 31055: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0005`; number: 31055 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0005/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0005.json) ## Question 31056: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0006`; number: 31056 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0006/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0006.json) ## Question 31057: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0007`; number: 31057 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0007/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0007.json) ## Question 31058: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0008`; number: 31058 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0008/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0008.json) ## Question 31059: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0009`; number: 31059 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0009/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0009.json) ## Question 31060: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0010`; number: 31060 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0010/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0010.json) ## Question 31061: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0011`; number: 31061 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0011/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0011.json) ## Question 31062: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0012`; number: 31062 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0012/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0012.json) ## Question 31063: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0013`; number: 31063 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0013/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0013.json) ## Question 31064: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0014`; number: 31064 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0014/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0014.json) ## Question 31065: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0015`; number: 31065 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0015/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0015.json) ## Question 31066: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0016`; number: 31066 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0016/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0016.json) ## Question 31067: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0017`; number: 31067 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0017/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0017.json) ## Question 31068: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0018`; number: 31068 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0018/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0018.json) ## Question 31069: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0019`; number: 31069 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0019/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0019.json) ## Question 31070: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0020`; number: 31070 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0020/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0020.json) ## Question 31071: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0021`; number: 31071 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0021/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0021.json) ## Question 31072: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0022`; number: 31072 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0022/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0022.json) ## Question 31073: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0023`; number: 31073 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0023/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0023.json) ## Question 31074: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0024`; number: 31074 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0024/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0024.json) ## Question 31075: Complete Failure Set and Least Counterexample - ID: `q-20261012-advance-20261017-r07-counterexample-0025`; number: 31075 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-full-failure-min](/en/explore/?family=qf-density17-counter-full-failure-min) - 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-0025/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0025.json) [Next](/en/explore/index.md?mko=mko-counterexample&page=7)