<rdf:RDF
    xmlns:iw="http://inferenceweb.stanford.edu/2004/03/iw.owl#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:owl="http://www.w3.org/2002/07/owl#">
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Team"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Person"/>
  <owl:Class rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#Publication"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#URL"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#name"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#firstSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#hasAuthor"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#lastSubmissionDate"/>
  <rdf:Property rdf:about="http://inferenceweb.stanford.edu/2004/03/iw.owl#submitter"/>
  <iw:Person rdf:about="http://inferenceweb.stanford.edu/registry/PER/Logemann.owl#Logemann"/>
  <rdf:List rdf:about="http://www.w3.org/1999/02/22-rdf-syntax-ns#nil"/>
  <iw:Team rdf:about="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
  <iw:Person rdf:about="http://inferenceweb.stanford.edu/registry/PER/MDavis.owl#MDavis"/>
  <iw:Person rdf:about="http://inferenceweb.stanford.edu/registry/PER/Loveland.owl#Loveland"/>
  <iw:Publication rdf:about="http://inferenceweb.stanford.edu/registry/PUB/DLL1962.owl#DLL1962"
     iw:firstSubmissionDate="20031117183400"
     iw:lastSubmissionDate="20040317174947">
    <iw:name>A Machine Program for Theorem-Proving, CACM 5(7), pp. 394-397</iw:name>
    <iw:URL>http://portal.acm.org/citation.cfm?doid=368273.368557</iw:URL>
    <iw:submitter rdf:resource="http://inferenceweb.stanford.edu/registry/TM/IW-TEAM.owl#IW-TEAM"/>
    <iw:hasAuthor rdf:parseType="Collection">
      <iw:Person rdf:about="http://inferenceweb.stanford.edu/registry/PER/Logemann.owl#Logemann"/>
      <iw:Person rdf:about="http://inferenceweb.stanford.edu/registry/PER/Loveland.owl#Loveland"/>
      <iw:Person rdf:about="http://inferenceweb.stanford.edu/registry/PER/MDavis.owl#MDavis"/>
    </iw:hasAuthor>
  </iw:Publication>
</rdf:RDF>