[{"data": {"name": "An evaluation semantics for classical proofs", "@type": "ScholarlyArticle", "genre": "proceedings-article", "author": [{"name": "C.R. Murthy", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://ecommons.cornell.edu/bitstream/1813/7053/1/91-1213.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "IEEE Comput. Sco. Press", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1109/lics.1991.151634", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCj9bsXqjJ3Bv-CTMPXy1d2G52M-CDATZhUduuUDs-CRF1QnH9UVo4d", "propertyID": "ISCC"}], "datePublished": null}, "schema": "schema.org", "mediatype": "application/ld+json"}]