# 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 9626: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0051`; number: 9626
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0051/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0051.json)

## Question 9627: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0052`; number: 9627
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0052/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0052.json)

## Question 9628: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0053`; number: 9628
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0053/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0053.json)

## Question 9629: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0054`; number: 9629
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0054/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0054.json)

## Question 9630: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0055`; number: 9630
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0055/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0055.json)

## Question 9631: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0056`; number: 9631
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0056/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0056.json)

## Question 9632: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0057`; number: 9632
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0057/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0057.json)

## Question 9633: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0058`; number: 9633
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0058/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0058.json)

## Question 9634: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0059`; number: 9634
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0059/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0059.json)

## Question 9635: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0060`; number: 9635
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0060/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0060.json)

## Question 9636: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0061`; number: 9636
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0061/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0061.json)

## Question 9637: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0062`; number: 9637
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0062/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0062.json)

## Question 9638: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0063`; number: 9638
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0063/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0063.json)

## Question 9639: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0064`; number: 9639
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0064/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0064.json)

## Question 9640: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0065`; number: 9640
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0065/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0065.json)

## Question 9641: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0066`; number: 9641
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0066/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0066.json)

## Question 9642: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0067`; number: 9642
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0067/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0067.json)

## Question 9643: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0068`; number: 9643
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0068/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0068.json)

## Question 9644: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0069`; number: 9644
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0069/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0069.json)

## Question 9645: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0070`; number: 9645
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0070/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0070.json)

## Question 9646: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0071`; number: 9646
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0071/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0071.json)

## Question 9647: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0072`; number: 9647
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0072/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0072.json)

## Question 9648: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0073`; number: 9648
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0073/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0073.json)

## Question 9649: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0074`; number: 9649
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0074/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0074.json)

## Question 9650: Reachable Halt, Stuck, and Active States

- ID: `q-20261013-advance-20261019-r04-computational-model-0075`; number: 9650
- Processing: second_context_reviewed
- MKO: [mko-computational-model](/en/mko/mko-computational-model/)
- Family: [qf-ext19-model-halt-stuck-classification](/en/explore/?family=qf-ext19-model-halt-stuck-classification)
- Batch: [batch-20261013-advance-20261019-r04-computational-model-foundations](/en/explore/?batch=batch-20261013-advance-20261019-r04-computational-model-foundations)
- [Derivation](/en/questions/q-20261013-advance-20261019-r04-computational-model-0075/) / [Markdown](/en/questions/q-20261013-advance-20261019-r04-computational-model-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261013-advance-20261019-r04-computational-model-0075.json)

