# 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 2/8.

## Question 3526: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0076`; number: 3526
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0076/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0076.json)

## Question 3527: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0077`; number: 3527
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0077/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0077.json)

## Question 3528: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0078`; number: 3528
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0078/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0078.json)

## Question 3529: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0079`; number: 3529
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0079/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0079.json)

## Question 3530: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0080`; number: 3530
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0080/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0080.json)

## Question 3531: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0081`; number: 3531
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0081/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0081.json)

## Question 3532: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0082`; number: 3532
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0082/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0082.json)

## Question 3533: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0083`; number: 3533
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0083/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0083.json)

## Question 3534: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0084`; number: 3534
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0084/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0084.json)

## Question 3535: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0085`; number: 3535
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0085/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0085.json)

## Question 3536: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0086`; number: 3536
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0086/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0086.json)

## Question 3537: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0087`; number: 3537
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0087/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0087.json)

## Question 3538: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0088`; number: 3538
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0088/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0088.json)

## Question 3539: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0089`; number: 3539
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0089/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0089.json)

## Question 3540: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0090`; number: 3540
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0090/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0090.json)

## Question 3541: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0091`; number: 3541
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0091/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0091.json)

## Question 3542: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0092`; number: 3542
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0092/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0092.json)

## Question 3543: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0093`; number: 3543
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0093/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0093.json)

## Question 3544: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0094`; number: 3544
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0094/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0094.json)

## Question 3545: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0095`; number: 3545
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0095/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0095.json)

## Question 3546: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0096`; number: 3546
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0096/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0096.json)

## Question 3547: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0097`; number: 3547
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0097/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0097.json)

## Question 3548: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0098`; number: 3548
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0098/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0098.json)

## Question 3549: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0099`; number: 3549
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0099/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0099.json)

## Question 3550: Counterexample Eligibility after Domain Restriction

- ID: `q-20261003-advance-20261004-r02-counterexample-0100`; number: 3550
- Processing: second_context_reviewed
- MKO: [mko-counterexample](/en/mko/mko-counterexample/)
- Family: [qf-counterexample-domain-restriction](/en/explore/?family=qf-counterexample-domain-restriction)
- Batch: [batch-20261003-advance-20261004-r02-counterexample-foundations](/en/explore/?batch=batch-20261003-advance-20261004-r02-counterexample-foundations)
- [Derivation](/en/questions/q-20261003-advance-20261004-r02-counterexample-0100/) / [Markdown](/en/questions/q-20261003-advance-20261004-r02-counterexample-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261003-advance-20261004-r02-counterexample-0100.json)

[Next](/en/explore/index.md?mko=mko-counterexample&page=3)
