Revision history for entry Glivický, Petr; Pudlák, Pavel: A wild model of linear arithmetic and discretel.. [GLIAWM]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2023-09-30T01:54:06updateSystem / admin update
2022-01-04T13:11:48updateSystem / admin update
2019-02-05T23:59:21updateSystem / admin update
2018-01-15T06:37:02updateSystem / admin update
2017-12-20T19:50:23addSystem / admin update