@prefix d2r:     <http://sites.wiwiss.fu-berlin.de/suhl/bizer/d2r-server/config.rdf#> .
@prefix swrc:    <http://swrc.ontoware.org/ontology#> .
@prefix dcterms:  <http://purl.org/dc/terms/> .
@prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
@prefix dc:      <http://purl.org/dc/elements/1.1/> .
@prefix map:     <file:///home/diederich/d2r-server-0.3.2/dblp-mapping.n3#> .
@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@prefix foaf:    <http://xmlns.com/foaf/0.1/> .
@prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix owl:     <http://www.w3.org/2002/07/owl#> .

foaf:Document
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fxmlns.com%2Ffoaf%2F0.1%2FDocument%3E> .

<http://dx.doi.org/10.1007/11499107_8>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdx.doi.org%2F10.1007%2F11499107_8%3E> .

<http://dblp.uni-trier.de/db/conf/sat/sat2005.html#Goldberg05>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdblp.uni-trier.de%2Fdb%2Fconf%2Fsat%2Fsat2005.html%23Goldberg05%3E> .

<http://dblp.l3s.de/d2r/resource/publications/conf/sat/Goldberg05>
      a       foaf:Document , swrc:InProceedings ;
      rdfs:label "Equivalence Checking of Circuits with Parameterized Specifications."^^xsd:string ;
      rdfs:seeAlso <http://dx.doi.org/10.1007/11499107_8> , <http://dblp.uni-trier.de/db/conf/sat/sat2005.html#Goldberg05> ;
      dc:creator <http://dblp.l3s.de/d2r/resource/authors/Eugene_Goldberg> ;
      dc:identifier "DOI 10.1007%2F11499107%5F8"^^xsd:string , "DBLP conf/sat/Goldberg05"^^xsd:string ;
      dc:title "Equivalence Checking of Circuits with Parameterized Specifications."^^xsd:string ;
      dc:type <http://purl.org/dc/dcmitype/Text> ;
      dcterms:bibliographicCitation
              <http://dblp.uni-trier.de/rec/bibtex/conf/sat/Goldberg05> ;
      dcterms:issued "2005"^^xsd:gYear ;
      dcterms:partOf <http://dblp.l3s.de/d2r/resource/publications/conf/sat/2005> ;
      swrc:pages "107-121"^^xsd:string ;
      swrc:series <http://dblp.l3s.de/d2r/resource/conferences/sat> ;
      =       <http://bibsonomy.org/uri/bibtexkey/conf/sat/Goldberg05/dblp> , <http://dblp.rkbexplorer.com/id/conf/sat/Goldberg05> ;
      foaf:homepage <http://dx.doi.org/10.1007/11499107_8> , <http://dx.doi.org/10.1007%2F11499107%5F8> ;
      foaf:maker <http://dblp.l3s.de/d2r/resource/authors/Eugene_Goldberg> .

<http://bibsonomy.org/uri/bibtexkey/conf/sat/Goldberg05/dblp>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fbibsonomy.org%2Furi%2Fbibtexkey%2Fconf%2Fsat%2FGoldberg05%2Fdblp%3E> .

swrc:InProceedings
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fswrc.ontoware.org%2Fontology%23InProceedings%3E> .

<http://dblp.l3s.de/d2r/data/publications/conf/sat/Goldberg05>
      rdfs:label "RDF Description of Equivalence Checking of Circuits with Parameterized Specifications." ;
      dc:license <http://www.informatik.uni-trier.de/~ley/db/copyright.html> ;
      foaf:primaryTopic <http://dblp.l3s.de/d2r/resource/publications/conf/sat/Goldberg05> .

<http://purl.org/dc/dcmitype/Text>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fpurl.org%2Fdc%2Fdcmitype%2FText%3E> .

<http://dblp.rkbexplorer.com/id/conf/sat/Goldberg05>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdblp.rkbexplorer.com%2Fid%2Fconf%2Fsat%2FGoldberg05%3E> .

<http://dblp.uni-trier.de/rec/bibtex/conf/sat/Goldberg05>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdblp.uni-trier.de%2Frec%2Fbibtex%2Fconf%2Fsat%2FGoldberg05%3E> .

<http://dx.doi.org/10.1007%2F11499107%5F8>
      rdfs:seeAlso <http://dblp.l3s.de/d2r/sparql?query=DESCRIBE+%3Chttp%3A%2F%2Fdx.doi.org%2F10.1007%252F11499107%255F8%3E> .