{"class":"Bitstream","uri":"https://www.ideals.illinois.edu/items/11318/bitstreams/41485.json","object_uri":"https://www.ideals.illinois.edu/items/11318/bitstreams/41485/object","id":41485,"length":438759,"media_type":"application/pdf","filename":"On the Completeness of Context-Sensitive Order-sorted Specifications.pdf","original_filename":"On the Completeness of Context-Sensitive Order-sorted Specifications.pdf","bundle_position":0,"primary":false,"description":null,"created_at":"2022-06-06T21:51:54.481Z","updated_at":"2022-09-21T04:34:22.175Z","bundle":"Content","item":{"id":11318,"uri":"https://www.ideals.illinois.edu/items/11318"}}