# 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 25826: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0076`; number: 25826
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0076/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0076.json)

## Question 25827: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0077`; number: 25827
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0077/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0077.json)

## Question 25828: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0078`; number: 25828
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0078/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0078.json)

## Question 25829: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0079`; number: 25829
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0079/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0079.json)

## Question 25830: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0080`; number: 25830
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0080/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0080.json)

## Question 25831: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0081`; number: 25831
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0081/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0081.json)

## Question 25832: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0082`; number: 25832
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0082/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0082.json)

## Question 25833: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0083`; number: 25833
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0083/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0083.json)

## Question 25834: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0084`; number: 25834
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0084/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0084.json)

## Question 25835: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0085`; number: 25835
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0085/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0085.json)

## Question 25836: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0086`; number: 25836
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0086/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0086.json)

## Question 25837: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0087`; number: 25837
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0087/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0087.json)

## Question 25838: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0088`; number: 25838
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0088/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0088.json)

## Question 25839: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0089`; number: 25839
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0089/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0089.json)

## Question 25840: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0090`; number: 25840
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0090/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0090.json)

## Question 25841: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0091`; number: 25841
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0091/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0091.json)

## Question 25842: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0092`; number: 25842
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0092/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0092.json)

## Question 25843: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0093`; number: 25843
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0093/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0093.json)

## Question 25844: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0094`; number: 25844
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0094/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0094.json)

## Question 25845: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0095`; number: 25845
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0095/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0095.json)

## Question 25846: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0096`; number: 25846
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0096/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0096.json)

## Question 25847: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0097`; number: 25847
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0097/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0097.json)

## Question 25848: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0098`; number: 25848
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0098/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0098.json)

## Question 25849: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0099`; number: 25849
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0099/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0099.json)

## Question 25850: Equal Objective Values and Finite Grids Do Not Replace Theorem Premises

- ID: `q-20261015-advance-20261115-r04-linear-program-duality-0100`; number: 25850
- Processing: second_context_reviewed
- MKO: [mko-linear-program-duality](/en/mko/mko-linear-program-duality/)
- Family: [qf-mod46-lpdual-strong-boundary](/en/explore/?family=qf-mod46-lpdual-strong-boundary)
- Batch: [batch-20261015-advance-20261115-r04-linear-program-duality-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r04-linear-program-duality-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0100/) / [Markdown](/en/questions/q-20261015-advance-20261115-r04-linear-program-duality-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r04-linear-program-duality-0100.json)

