# 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 3/4.

## Question 21551: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0051`; number: 21551
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0051/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0051.json)

## Question 21552: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0052`; number: 21552
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0052/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0052.json)

## Question 21553: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0053`; number: 21553
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0053/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0053.json)

## Question 21554: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0054`; number: 21554
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0054/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0054.json)

## Question 21555: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0055`; number: 21555
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0055/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0055.json)

## Question 21556: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0056`; number: 21556
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0056/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0056.json)

## Question 21557: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0057`; number: 21557
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0057/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0057.json)

## Question 21558: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0058`; number: 21558
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0058/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0058.json)

## Question 21559: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0059`; number: 21559
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0059/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0059.json)

## Question 21560: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0060`; number: 21560
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0060/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0060.json)

## Question 21561: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0061`; number: 21561
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0061/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0061.json)

## Question 21562: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0062`; number: 21562
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0062/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0062.json)

## Question 21563: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0063`; number: 21563
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0063/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0063.json)

## Question 21564: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0064`; number: 21564
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0064/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0064.json)

## Question 21565: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0065`; number: 21565
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0065/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0065.json)

## Question 21566: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0066`; number: 21566
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0066/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0066.json)

## Question 21567: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0067`; number: 21567
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0067/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0067.json)

## Question 21568: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0068`; number: 21568
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0068/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0068.json)

## Question 21569: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0069`; number: 21569
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0069/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0069.json)

## Question 21570: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0070`; number: 21570
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0070/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0070.json)

## Question 21571: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0071`; number: 21571
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0071/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0071.json)

## Question 21572: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0072`; number: 21572
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0072/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0072.json)

## Question 21573: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0073`; number: 21573
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0073/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0073.json)

## Question 21574: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0074`; number: 21574
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0074/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0074.json)

## Question 21575: A Valid Start-to-Terminal Derivation Proves Word Membership

- ID: `q-20261014-advance-20261109-r07-context-free-grammar-0075`; number: 21575
- Processing: second_context_reviewed
- MKO: [mko-context-free-grammar](/en/mko/mko-context-free-grammar/)
- Family: [qf-mod40-cfg-membership-witness](/en/explore/?family=qf-mod40-cfg-membership-witness)
- Batch: [batch-20261014-advance-20261109-r07-context-free-grammar-foundations](/en/explore/?batch=batch-20261014-advance-20261109-r07-context-free-grammar-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0075/) / [Markdown](/en/questions/q-20261014-advance-20261109-r07-context-free-grammar-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261109-r07-context-free-grammar-0075.json)

[Next](/en/explore/index.md?mko=mko-context-free-grammar&page=4)