{"class":"Bitstream","uri":"https://www.ideals.illinois.edu/items/11113/bitstreams/40943.json","object_uri":"https://www.ideals.illinois.edu/items/11113/bitstreams/40943/object","id":40943,"length":232032,"media_type":"application/pdf","filename":"Learning to Verify Branching Time Properties.pdf","original_filename":"Learning to Verify Branching Time Properties.pdf","bundle_position":0,"primary":false,"description":null,"created_at":"2022-06-06T21:51:51.223Z","updated_at":"2022-09-21T04:32:52.328Z","bundle":"Content","item":{"id":11113,"uri":"https://www.ideals.illinois.edu/items/11113"}}