# 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 1/4. ## Question 9001: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0051`; number: 9001 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0051/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0051.json) ## Question 9002: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0052`; number: 9002 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0052/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0052.json) ## Question 9003: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0053`; number: 9003 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0053/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0053.json) ## Question 9004: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0054`; number: 9004 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0054/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0054.json) ## Question 9005: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0055`; number: 9005 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0055/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0055.json) ## Question 9006: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0056`; number: 9006 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0056/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0056.json) ## Question 9007: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0057`; number: 9007 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0057/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0057.json) ## Question 9008: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0058`; number: 9008 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0058/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0058.json) ## Question 9009: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0059`; number: 9009 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0059/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0059.json) ## Question 9010: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0060`; number: 9010 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0060/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0060.json) ## Question 9011: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0061`; number: 9011 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0061/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0061.json) ## Question 9012: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0062`; number: 9012 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0062/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0062.json) ## Question 9013: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0063`; number: 9013 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0063/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0063.json) ## Question 9014: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0064`; number: 9014 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0064/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0064.json) ## Question 9015: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0065`; number: 9015 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0065/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0065.json) ## Question 9016: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0066`; number: 9016 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0066/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0066.json) ## Question 9017: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0067`; number: 9017 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0067/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0067.json) ## Question 9018: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0068`; number: 9018 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0068/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0068.json) ## Question 9019: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0069`; number: 9019 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0069/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0069.json) ## Question 9020: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0070`; number: 9020 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0070/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0070.json) ## Question 9021: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0071`; number: 9021 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0071/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0071.json) ## Question 9022: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0072`; number: 9022 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0072/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0072.json) ## Question 9023: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0073`; number: 9023 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0073/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0073.json) ## Question 9024: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0074`; number: 9024 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0074/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0074.json) ## Question 9025: Additive Congruence Values, Premises, and Material Implication - ID: `q-20261013-advance-20261018-r05-modular-congruence-0075`; number: 9025 - Processing: second_context_reviewed - MKO: [mko-modular-congruence](/en/mko/mko-modular-congruence/) - Family: [qf-ext18-modeq-add-preservation](/en/explore/?family=qf-ext18-modeq-add-preservation) - 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-0075/) / [Markdown](/en/questions/q-20261013-advance-20261018-r05-modular-congruence-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261018-r05-modular-congruence-0075.json) [Next](/en/explore/index.md?batch=batch-20261013-advance-20261018-r05-modular-congruence-foundations&page=2)