%0 Journal Article %1 journals/ndjfl/FreundP20 %A Freund, Anton %A Pakhomov, Fedor %D 2020 %J Notre Dame J. Formal Log. %K dblp %N 1 %P 31-49 %T Short Proofs for Slow Consistency. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl61.html#FreundP20 %V 61

@article{journals/ndjfl/FreundP20, added-at = {2023-08-28T00:00:00.000+0200}, author = {Freund, Anton and Pakhomov, Fedor}, biburl = {https://www.bibsonomy.org/bibtex/24cdd557b87292f7c5b8c934c8b0311dc/dblp}, ee = {https://www.wikidata.org/entity/Q113751503}, interhash = {80f9282a65d8df3152543a3e4da5ccd2}, intrahash = {4cdd557b87292f7c5b8c934c8b0311dc}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 1, pages = {31-49}, timestamp = {2024-04-08T18:22:02.000+0200}, title = {Short Proofs for Slow Consistency.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl61.html#FreundP20}, volume = 61, year = 2020 }