# 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.

125 results; page 3/5.

## Question 5751: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0026`; number: 5751
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0026/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0026.json)

## Question 5752: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0027`; number: 5752
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0027/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0027.json)

## Question 5753: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0028`; number: 5753
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0028/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0028.json)

## Question 5754: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0029`; number: 5754
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0029/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0029.json)

## Question 5755: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0030`; number: 5755
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0030/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0030.json)

## Question 5756: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0031`; number: 5756
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0031/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0031.json)

## Question 5757: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0032`; number: 5757
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0032/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0032.json)

## Question 5758: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0033`; number: 5758
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0033/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0033.json)

## Question 5759: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0034`; number: 5759
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0034/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0034.json)

## Question 5760: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0035`; number: 5760
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0035/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0035.json)

## Question 5761: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0036`; number: 5761
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0036/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0036.json)

## Question 5762: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0037`; number: 5762
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0037/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0037.json)

## Question 5763: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0038`; number: 5763
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0038/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0038.json)

## Question 5764: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0039`; number: 5764
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0039/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0039.json)

## Question 5765: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0040`; number: 5765
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0040/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0040.json)

## Question 5766: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0041`; number: 5766
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0041/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0041.json)

## Question 5767: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0042`; number: 5767
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0042/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0042.json)

## Question 5768: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0043`; number: 5768
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0043/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0043.json)

## Question 5769: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0044`; number: 5769
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0044/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0044.json)

## Question 5770: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0045`; number: 5770
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0045/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0045.json)

## Question 5771: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0046`; number: 5771
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0046/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0046.json)

## Question 5772: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0047`; number: 5772
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0047/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0047.json)

## Question 5773: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0048`; number: 5773
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0048/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0048.json)

## Question 5774: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0049`; number: 5774
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0049/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0049.json)

## Question 5775: Open-Sentence Binding and Truth Eligibility

- ID: `q-20261008-advance-20261012-r03-proposition-0050`; number: 5775
- Processing: second_context_reviewed
- MKO: [mko-proposition](/en/mko/mko-proposition/)
- Family: [qf-density12-proposition-open-binding](/en/explore/?family=qf-density12-proposition-open-binding)
- Batch: [batch-20261008-advance-20261012-r03-proposition-foundations](/en/explore/?batch=batch-20261008-advance-20261012-r03-proposition-foundations)
- [Derivation](/en/questions/q-20261008-advance-20261012-r03-proposition-0050/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0050.json)

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