[{"data": {"name": "A superposition decision procedure for the guarded fragment with equality", "@type": "ScholarlyArticle", "genre": "proceedings-article", "author": [{"name": "H. Ganzinger", "@type": "Person"}, {"name": "H. de Nivelle", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "http://edoc.mpg.de/get.epl?fid=72790&did=519693&ver=0", "encodingFormat": "application/pdf"}], "publisher": {"name": "IEEE Comput. Soc", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1109/lics.1999.782624", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCciy9mZEB2mt-CTWzhQ6cBRvpY-CDj24AEfe9vXU-CR3pFRUJRYXqa", "propertyID": "ISCC"}], "datePublished": null}, "schema": "schema.org", "mediatype": "application/ld+json"}]