# 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.

100 results; page 2/4.

## Question 9026: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0026`; number: 9026
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0026/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0026.json)

## Question 9027: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0027`; number: 9027
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0027/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0027.json)

## Question 9028: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0028`; number: 9028
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0028/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0028.json)

## Question 9029: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0029`; number: 9029
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0029/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0029.json)

## Question 9030: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0030`; number: 9030
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0030/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0030.json)

## Question 9031: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0031`; number: 9031
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0031/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0031.json)

## Question 9032: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0032`; number: 9032
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0032/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0032.json)

## Question 9033: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0033`; number: 9033
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0033/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0033.json)

## Question 9034: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0034`; number: 9034
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0034/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0034.json)

## Question 9035: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0035`; number: 9035
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0035/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0035.json)

## Question 9036: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0036`; number: 9036
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0036/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0036.json)

## Question 9037: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0037`; number: 9037
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0037/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0037.json)

## Question 9038: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0038`; number: 9038
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0038/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0038.json)

## Question 9039: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0039`; number: 9039
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0039/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0039.json)

## Question 9040: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0040`; number: 9040
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0040/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0040.json)

## Question 9041: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0041`; number: 9041
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0041/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0041.json)

## Question 9042: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0042`; number: 9042
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0042/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0042.json)

## Question 9043: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0043`; number: 9043
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0043/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0043.json)

## Question 9044: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0044`; number: 9044
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0044/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0044.json)

## Question 9045: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0045`; number: 9045
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0045/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0045.json)

## Question 9046: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0046`; number: 9046
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0046/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0046.json)

## Question 9047: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0047`; number: 9047
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0047/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0047.json)

## Question 9048: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0048`; number: 9048
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0048/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0048.json)

## Question 9049: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0049`; number: 9049
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0049/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0049.json)

## Question 9050: A Natural Congruence Class in an Inclusive Window

- ID: `q-20261013-advance-20261018-r05-modular-congruence-0050`; number: 9050
- Processing: second_context_reviewed
- MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/)
- Family: [qf-ext18-modeq-equivalence-class](/en/explore/?family=qf-ext18-modeq-equivalence-class)
- Batch: [batch-20261013-advance-20261018-r05-modular-congruence-foundations](/en/explore/?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0050/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0050.json)

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