[{"data": {"name": "SMT-LIB Sequences and Regular Expressions", "@type": "ScholarlyArticle", "genre": "proceedings-article", "author": [{"name": "Nikolaj Bjorner", "@type": "Person"}, {"name": "Vijay Ganesh", "@type": "Person"}, {"name": "Rapha\u00ebl Michel", "@type": "Person"}, {"name": "Margus Veanes", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://easychair.org/publications/open/1Cs", "encodingFormat": "application/pdf"}], "publisher": {"name": "EasyChair", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.29007/w5m5", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCUqRM5MCxNqZ-CTUpFraiZNrQZ-CD82SoiE8QQc1-CR8JY8rzsz9RK", "propertyID": "ISCC"}]}, "schema": "schema.org", "mediatype": "application/ld+json"}]