Erdős 165 — qed.bot

Erdős 165 — qed.bot Claims, announcements and changes recorded against Erdős 165. https://qed.bot/feeds/s/erdos-165.xml 2026-06-10T00:00:00Z qed.bot Erdős 165 — partial (Trellis) urn:qed:3d78fb043de4 2026-06-10T00:00:00Z

Hefty, Horn, King and Pfender (2025). Autonomy A1, evidence V1, fidelity F0.