# 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 31101: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0026`; number: 31101 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0026/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0026.json) ## Question 31102: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0027`; number: 31102 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0027/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0027.json) ## Question 31103: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0028`; number: 31103 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0028/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0028.json) ## Question 31104: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0029`; number: 31104 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0029/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0029.json) ## Question 31105: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0030`; number: 31105 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0030/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0030.json) ## Question 31106: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0031`; number: 31106 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0031/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0031.json) ## Question 31107: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0032`; number: 31107 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0032/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0032.json) ## Question 31108: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0033`; number: 31108 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0033/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0033.json) ## Question 31109: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0034`; number: 31109 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0034/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0034.json) ## Question 31110: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0035`; number: 31110 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0035/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0035.json) ## Question 31111: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0036`; number: 31111 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0036/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0036.json) ## Question 31112: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0037`; number: 31112 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0037/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0037.json) ## Question 31113: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0038`; number: 31113 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0038/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0038.json) ## Question 31114: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0039`; number: 31114 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0039/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0039.json) ## Question 31115: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0040`; number: 31115 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0040/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0040.json) ## Question 31116: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0041`; number: 31116 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0041/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0041.json) ## Question 31117: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0042`; number: 31117 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0042/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0042.json) ## Question 31118: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0043`; number: 31118 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0043/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0043.json) ## Question 31119: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0044`; number: 31119 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0044/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0044.json) ## Question 31120: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0045`; number: 31120 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0045/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0045.json) ## Question 31121: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0046`; number: 31121 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0046/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0046.json) ## Question 31122: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0047`; number: 31122 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0047/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0047.json) ## Question 31123: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0048`; number: 31123 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0048/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0048.json) ## Question 31124: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0049`; number: 31124 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0049/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0049.json) ## Question 31125: Three Domain Guards before Counterexample Evaluation - ID: `q-20261012-advance-20261017-r07-counterexample-0050`; number: 31125 - Processing: second_context_reviewed - MKO: [mko-counterexample](/en/mko/mko-counterexample/) - Family: [qf-density17-counter-three-candidate-guards](/en/explore/?family=qf-density17-counter-three-candidate-guards) - 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-0050/) / [Markdown](/en/questions/q-20261012-advance-20261017-r07-counterexample-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261012-advance-20261017-r07-counterexample-0050.json)