@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix bf: <http://id.loc.gov/ontologies/bibframe/> .
@prefix bibo: <http://purl.org/ontology/bibo/> .
@prefix bibtex: <http://purl.org/net/nknouf/ns/bibtex#> .
@prefix cito: <http://purl.org/spar/cito/> .
@prefix datacite: <http://purl.org/spar/datacite/> .
@prefix dbo: <http://dbpedia.org/ontology/> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix litre: <http://purl.org/spar/literal/> .
@prefix locid: <http://id.loc.gov/vocabulary/identifiers/> .
@prefix locrel: <http://id.loc.gov/vocabulary/relators/> .
@prefix schema: <https://schema.org/> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix dblp: <https://dblp.org/rdf/schema#> .

<https://dblp.org/rec/conf/cade/Wen-Tsun97>
	owl:sameAs <https://doi.org/10.1007/3-540-63104-6_1>, <http://dx.doi.org/10.1007/3-540-63104-6_1> ;
	rdfs:label "Wu Wen-Ts\u00FCn: The Char-Set Method and Its Applications to Automated Reasoning. (1997)" ;
	dblp:doi <https://doi.org/10.1007/3-540-63104-6_1> ;
	datacite:hasIdentifier [
		datacite:usesIdentifierScheme datacite:dblp-record ;
		litre:hasLiteralValue "conf/cade/Wen-Tsun97" ;
		a datacite:ResourceIdentifier, datacite:Identifier
	], [
		datacite:usesIdentifierScheme datacite:doi ;
		litre:hasLiteralValue "10.1007/3-540-63104-6_1" ;
		a datacite:ResourceIdentifier, datacite:Identifier
	] ;
	dblp:title "The Char-Set Method and Its Applications to Automated Reasoning." ;
	dblp:bibtexType bibtex:Inproceedings ;
	dblp:authoredBy <https://dblp.org/pid/06/241-3> ;
	dblp:createdBy <https://dblp.org/pid/06/241-3> ;
	dblp:numberOfCreators 1 ;
	dblp:hasSignature [
		dblp:signatureDblpName "Wu Wen-Ts\u00FCn" ;
		dblp:signatureCreator <https://dblp.org/pid/06/241-3> ;
		dblp:signatureOrdinal 1 ;
		dblp:signaturePublication <https://dblp.org/rec/conf/cade/Wen-Tsun97> ;
		a dblp:AuthorSignature, dblp:Signature
	] ;
	dblp:primaryDocumentPage <https://doi.org/10.1007/3-540-63104-6_1> ;
	dblp:documentPage <https://doi.org/10.1007/3-540-63104-6_1> ;
	dblp:listedOnTocPage <https://dblp.org/db/conf/cade/cade97> ;
	dblp:publishedInStream <https://dblp.org/streams/conf/cade>, <https://dblp.org/streams/series/lncs> ;
	dblp:pagination "1-3" ;
	dblp:publishedIn "CADE" ;
	dblp:publishedInBook "CADE" ;
	dblp:yearOfEvent "1997"^^<http://www.w3.org/2001/XMLSchema#gYear> ;
	dblp:yearOfPublication "1997"^^<http://www.w3.org/2001/XMLSchema#gYear> ;
	dblp:publishedAsPartOf <https://dblp.org/rec/conf/cade/1997> ;
	a dblp:Publication, dblp:Inproceedings .
<https://dblp.org/rec/conf/cade/Wen-Tsun97.ttl>
	rdfs:label "provenance information for RDF data of dblp record 'conf/cade/Wen-Tsun97'" ;
	dct:creator <https://dblp.org> ;
	dct:isPartOf <https://dblp.org/rdf/dblp.ttl> ;
	dct:modified "2017-05-21T00:17:16+0200" ;
	dct:license <https://creativecommons.org/publicdomain/zero/1.0/> .