Claims of contribution to mathematics by AxiomProver. https://qed.bot/feeds/sys/axiomprover.xml 2026-09-03T00:00:00Z qed.bot urn:qed:1e75b762c9b1 2026-09-03T00:00:00Z

Proved a bound of 212, building on Stadlmann's work, with a Lean certificate of the deduction.. Autonomy A1, evidence V2, fidelity F2.

urn:qed:a8de9e7f1351 2026-06-19T00:00:00Z

Chen and Dai (2007). Autonomy A1, evidence V1, fidelity F2.

urn:qed:83ad9b858e23 2026-06-19T00:00:00Z

Unspecified. Autonomy A1, evidence V3, fidelity F2.

urn:qed:9717094565e7 2026-06-19T00:00:00Z

Nešetřil and Rödl (1985). Autonomy A1, evidence V3, fidelity F2.

urn:qed:32d65f2b9c5d 2026-06-19T00:00:00Z

Escudero (2016). Autonomy A1, evidence V3, fidelity F2.

urn:qed:00fa638da55b 2026-06-19T00:00:00Z

Unspecified. Autonomy A1, evidence V1, fidelity F2.