# 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 27751: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0001`; number: 27751
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0001/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0001.json)

## Question 27752: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0002`; number: 27752
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0002/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0002.json)

## Question 27753: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0003`; number: 27753
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0003/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0003.json)

## Question 27754: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0004`; number: 27754
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0004/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0004.json)

## Question 27755: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0005`; number: 27755
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0005/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0005.json)

## Question 27756: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0006`; number: 27756
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0006/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0006.json)

## Question 27757: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0007`; number: 27757
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0007/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0007.json)

## Question 27758: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0008`; number: 27758
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0008/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0008.json)

## Question 27759: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0009`; number: 27759
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0009/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0009.json)

## Question 27760: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0010`; number: 27760
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0010/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0010.json)

## Question 27761: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0011`; number: 27761
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0011/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0011.json)

## Question 27762: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0012`; number: 27762
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0012/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0012.json)

## Question 27763: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0013`; number: 27763
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0013/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0013.json)

## Question 27764: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0014`; number: 27764
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0014/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0014.json)

## Question 27765: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0015`; number: 27765
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0015/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0015.json)

## Question 27766: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0016`; number: 27766
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0016/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0016.json)

## Question 27767: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0017`; number: 27767
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0017/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0017.json)

## Question 27768: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0018`; number: 27768
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0018/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0018.json)

## Question 27769: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0019`; number: 27769
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0019/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0019.json)

## Question 27770: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0020`; number: 27770
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0020/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0020.json)

## Question 27771: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0021`; number: 27771
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0021/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0021.json)

## Question 27772: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0022`; number: 27772
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0022/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0022.json)

## Question 27773: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0023`; number: 27773
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0023/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0023.json)

## Question 27774: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0024`; number: 27774
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0024/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0024.json)

## Question 27775: Wilson Congruence and Primality Agree at the Specified Modulus

- ID: `q-20261015-advance-20261118-r04-wilson-theorem-0025`; number: 27775
- Processing: second_context_reviewed
- MKO: [mko-wilson-theorem](/en/mko/mko-wilson-theorem/)
- Family: [qf-mod49-wilson-domain-factorial](/en/explore/?family=qf-mod49-wilson-domain-factorial)
- Batch: [batch-20261015-advance-20261118-r04-wilson-theorem-foundations](/en/explore/?batch=batch-20261015-advance-20261118-r04-wilson-theorem-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0025/) / [Markdown](/en/questions/q-20261015-advance-20261118-r04-wilson-theorem-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261118-r04-wilson-theorem-0025.json)

