# 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 26076: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0026`; number: 26076 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0026/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0026.json) ## Question 26077: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0027`; number: 26077 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0027/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0027.json) ## Question 26078: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0028`; number: 26078 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0028/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0028.json) ## Question 26079: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0029`; number: 26079 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0029/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0029.json) ## Question 26080: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0030`; number: 26080 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0030/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0030.json) ## Question 26081: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0031`; number: 26081 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0031/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0031.json) ## Question 26082: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0032`; number: 26082 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0032/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0032.json) ## Question 26083: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0033`; number: 26083 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0033/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0033.json) ## Question 26084: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0034`; number: 26084 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0034/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0034.json) ## Question 26085: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0035`; number: 26085 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0035/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0035.json) ## Question 26086: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0036`; number: 26086 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0036/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0036.json) ## Question 26087: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0037`; number: 26087 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0037/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0037.json) ## Question 26088: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0038`; number: 26088 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0038/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0038.json) ## Question 26089: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0039`; number: 26089 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0039/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0039.json) ## Question 26090: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0040`; number: 26090 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0040/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0040.json) ## Question 26091: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0041`; number: 26091 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0041/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0041.json) ## Question 26092: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0042`; number: 26092 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0042/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0042.json) ## Question 26093: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0043`; number: 26093 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0043/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0043.json) ## Question 26094: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0044`; number: 26094 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0044/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0044.json) ## Question 26095: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0045`; number: 26095 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0045/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0045.json) ## Question 26096: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0046`; number: 26096 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0046/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0046.json) ## Question 26097: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0047`; number: 26097 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0047/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0047.json) ## Question 26098: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0048`; number: 26098 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0048/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0048.json) ## Question 26099: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0049`; number: 26099 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0049/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0049.json) ## Question 26100: An Explicit Smaller Cover Refutes Minimum Cardinality - ID: `q-20261015-advance-20261115-r06-minimum-vertex-cover-0050`; number: 26100 - Processing: second_context_reviewed - MKO: [mko-minimum-vertex-cover](/en/mko/mko-minimum-vertex-cover/) - Family: [qf-mod46-mincover-nonminimum-witness](/en/explore/?family=qf-mod46-mincover-nonminimum-witness) - Batch: [batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r06-minimum-vertex-cover-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0050/) / [Markdown](/en/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r06-minimum-vertex-cover-0050.json)