Pages that link to "Item:Q2938046"
From MaRDI portal
The following pages link to A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem (Q2938046):
Displaying 2 items.
The following pages link to A Formal Proof of Borodin-Trakhtenbrot’s Gap Theorem (Q2938046):
Displaying 2 items.