[{"data": {"name": "Datalog vs. first-order logic", "@type": "ScholarlyArticle", "genre": "proceedings-article", "author": [{"name": "M. Ajtai", "@type": "Person"}, {"name": "Y. Gurevich", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://deepblue.lib.umich.edu/bitstream/2027.42/31164/1/0000063.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "IEEE", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1109/sfcs.1989.63469", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCjewry7u1huZ-CTESXsSGSePBc-CDhRHESasQrkU-CRLy1aVJcv3sk", "propertyID": "ISCC"}], "datePublished": "1989-01-01"}, "schema": "schema.org", "mediatype": "application/ld+json"}]