# 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 11251: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0076`; number: 11251
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0076/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0076.json)

## Question 11252: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0077`; number: 11252
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0077/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0077.json)

## Question 11253: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0078`; number: 11253
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0078/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0078.json)

## Question 11254: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0079`; number: 11254
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0079/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0079.json)

## Question 11255: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0080`; number: 11255
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0080/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0080.json)

## Question 11256: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0081`; number: 11256
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0081/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0081.json)

## Question 11257: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0082`; number: 11257
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0082/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0082.json)

## Question 11258: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0083`; number: 11258
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0083/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0083.json)

## Question 11259: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0084`; number: 11259
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0084/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0084.json)

## Question 11260: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0085`; number: 11260
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0085/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0085.json)

## Question 11261: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0086`; number: 11261
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0086/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0086.json)

## Question 11262: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0087`; number: 11262
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0087/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0087.json)

## Question 11263: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0088`; number: 11263
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0088/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0088.json)

## Question 11264: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0089`; number: 11264
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0089/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0089.json)

## Question 11265: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0090`; number: 11265
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0090/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0090.json)

## Question 11266: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0091`; number: 11266
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0091/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0091.json)

## Question 11267: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0092`; number: 11267
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0092/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0092.json)

## Question 11268: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0093`; number: 11268
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0093/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0093.json)

## Question 11269: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0094`; number: 11269
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0094/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0094.json)

## Question 11270: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0095`; number: 11270
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0095/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0095.json)

## Question 11271: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0096`; number: 11271
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0096/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0096.json)

## Question 11272: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0097`; number: 11272
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0097/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0097.json)

## Question 11273: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0098`; number: 11273
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0098/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0098.json)

## Question 11274: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0099`; number: 11274
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0099/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0099.json)

## Question 11275: A Zero Combination Must Also Be Nontrivial to Witness Dependence

- ID: `q-20261013-advance-20261024-r01-linear-independence-basis-0100`; number: 11275
- Processing: second_context_reviewed
- MKO: [mko-linear-independence-basis](/en/mko/mko-linear-independence-basis/)
- Family: [qf-mod24-linbasis-dependence-witness-audit](/en/explore/?family=qf-mod24-linbasis-dependence-witness-audit)
- Batch: [batch-20261013-advance-20261024-r01-linear-independence-basis-foundations](/en/explore/?batch=batch-20261013-advance-20261024-r01-linear-independence-basis-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0100/) / [Markdown](/en/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261024-r01-linear-independence-basis-0100.json)