# 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 5701: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0001`; number: 5701 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0001/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0001.json) ## Question 5702: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0002`; number: 5702 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0002/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0002.json) ## Question 5703: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0003`; number: 5703 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0003/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0003.json) ## Question 5704: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0004`; number: 5704 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0004/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0004.json) ## Question 5705: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0005`; number: 5705 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0005/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0005.json) ## Question 5706: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0006`; number: 5706 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0006/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0006.json) ## Question 5707: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0007`; number: 5707 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0007/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0007.json) ## Question 5708: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0008`; number: 5708 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0008/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0008.json) ## Question 5709: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0009`; number: 5709 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0009/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0009.json) ## Question 5710: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0010`; number: 5710 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0010/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0010.json) ## Question 5711: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0011`; number: 5711 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0011/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0011.json) ## Question 5712: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0012`; number: 5712 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0012/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0012.json) ## Question 5713: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0013`; number: 5713 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0013/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0013.json) ## Question 5714: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0014`; number: 5714 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0014/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0014.json) ## Question 5715: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0015`; number: 5715 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0015/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0015.json) ## Question 5716: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0016`; number: 5716 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0016/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0016.json) ## Question 5717: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0017`; number: 5717 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0017/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0017.json) ## Question 5718: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0018`; number: 5718 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0018/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0018.json) ## Question 5719: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0019`; number: 5719 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0019/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0019.json) ## Question 5720: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0020`; number: 5720 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0020/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0020.json) ## Question 5721: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0021`; number: 5721 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0021/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0021.json) ## Question 5722: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0022`; number: 5722 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0022/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0022.json) ## Question 5723: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0023`; number: 5723 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0023/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0023.json) ## Question 5724: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0024`; number: 5724 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0024/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0024.json) ## Question 5725: Closed Comparison Truths and Signed Witnesses - ID: `q-20261008-advance-20261012-r03-proposition-0025`; number: 5725 - Processing: second_context_reviewed - MKO: [mko-proposition](/en/mko/mko-proposition/) - Family: [qf-density12-proposition-comparison-witnesses](/en/explore/?family=qf-density12-proposition-comparison-witnesses) - 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-0025/) / [Markdown](/en/questions/q-20261008-advance-20261012-r03-proposition-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261008-advance-20261012-r03-proposition-0025.json)