{"class":"Bitstream","uri":"https://www.ideals.illinois.edu/items/11558/bitstreams/42230.json","object_uri":"https://www.ideals.illinois.edu/items/11558/bitstreams/42230/object","id":42230,"length":222647,"media_type":"application/pdf","filename":"Circular Coinduction A Proof Theoretical Foundation.pdf","original_filename":"Circular Coinduction A Proof Theoretical Foundation.pdf","bundle_position":0,"primary":false,"description":null,"created_at":"2022-06-06T21:51:58.291Z","updated_at":"2022-09-21T04:36:33.206Z","bundle":"Content","item":{"id":11558,"uri":"https://www.ideals.illinois.edu/items/11558"}}