[{"data": {"name": "Propositions as [Types]", "@type": "ScholarlyArticle", "genre": "journal-article", "author": [{"name": "S. Awodey", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://pdfs.semanticscholar.org/8be0/d520ae13e63e82a3bd52e3cbd59bfd871bc2.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Oxford University Press (OUP)", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1093/logcom/14.4.447", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCd3iA7EzK6Pw-CTB4xS4fXafip-CD9Ka5phndYsY-CRBhgSnTJMRvT", "propertyID": "ISCC"}], "datePublished": "2004-08-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]