Опубликованный пакет / CLIR
baker_gill_solovay.relativization_1975
v0.1.0Baker, Gill, Solovay (1975): relativization barrier — oracles A, B with P^A=NP^A and P^B!=NP^B, a limit on the class of relativizing proof methods
| Версия | contentHash | Размер |
|---|---|---|
| 0.1.0 | sha256:d550fc070902… | 19 KB |
Версия одна: корпус пока не публиковал вторую редакцию ни одного пакета. Список остаётся списком намеренно — колонки «дата публикации» здесь не будет, время в артефакты не попадает.