{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1361418520101959424.json","@type":"Article","productIdentifier":[{"identifier":{"@type":"DOI","@value":"10.1007/978-3-540-27775-0_19"}},{"identifier":{"@type":"URI","@value":"http://link.springer.com/content/pdf/10.1007/978-3-540-27775-0_19.pdf"}}],"dc:title":[{"@value":"αProlog: A Logic Programming Language with Names, Binding and α-Equivalence"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1381418520101959425","@type":"Researcher","foaf:name":[{"@value":"James Cheney"}]},{"@id":"https://cir.nii.ac.jp/crid/1381418520101959424","@type":"Researcher","foaf:name":[{"@value":"Christian Urban"}]}],"publication":{"publicationIdentifier":[{"@type":"PISSN","@value":"03029743"},{"@type":"EISSN","@value":"16113349"},{"@type":"ISBN","@value":"9783540226710"},{"@type":"ISBN","@value":"9783540277750"}],"prism:publicationName":[{"@value":"Lecture Notes in Computer Science"}],"dc:publisher":[{"@value":"Springer Berlin Heidelberg"}],"prism:publicationDate":"2004","prism:startingPage":"269","prism:endingPage":"283"},"reviewed":"false","url":[{"@id":"http://link.springer.com/content/pdf/10.1007/978-3-540-27775-0_19.pdf"}],"createdAt":"2010-09-15","modifiedAt":"2021-05-03","relatedProduct":[{"@id":"https://cir.nii.ac.jp/crid/1390282679357901696","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["isReferencedBy"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Name Binding is Easy with Hypergraphs"}]}],"dataSourceIdentifier":[{"@type":"CROSSREF","@value":"10.1007/978-3-540-27775-0_19"},{"@type":"CROSSREF","@value":"10.1587/transinf.2017edp7257_references_DOI_WwjZMgJYVhoNMWT5DwRg3mTAyKc"}]}