geometry-topology / Combinatorial topology
A record, not an endpoint: whether fewer vertices suffice is posed as an open question in the same paper.
Temporal state
No reconciled state yet.
Append-only history
A record, not an endpoint: whether fewer vertices suffice is posed as an open question in the same paper.
Research memory
A record, not an endpoint: whether fewer vertices suffice is posed as an open question in the same paper.
A record, not an endpoint: whether fewer vertices suffice is posed as an open question in the same paper.
Evidence graph
parent of · event · claim reported
parent of · claim · theorem