[{"data": {"name": "A theory of first-order built-in's of prolog", "@type": "ScholarlyArticle", "genre": "book-chapter", "author": [{"name": "Krzysztof R. Apt", "@type": "Person"}, {"name": "Elena Marchiori", "@type": "Person"}, {"name": "Catuscia Palamidessi", "@type": "Person"}], "@context": "http://schema.org/", "encoding": [{"@type": "MediaObject", "contentUrl": "https://ir.cwi.nl/pub/1972/1972D.pdf", "encodingFormat": "application/pdf"}], "publisher": {"name": "Springer-Verlag", "@type": "Organization"}, "identifier": [{"@type": "PropertyValue", "value": "10.1007/bfb0013820", "propertyID": "DOI"}, {"@type": "PropertyValue", "value": "CCjavT3T5xwS1-CTXC3b6FgEGJZ-CDj5paF1VYZtM-CR1FDhgbZx3Rk", "propertyID": "ISCC"}]}, "schema": "schema.org", "mediatype": "application/ld+json"}]