<http://experiment.worldcat.org/entity/work/data/837048899#Topic/deduction_automatique> <http://schema.org/name> "déduction automatique." .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/deduction_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/theoremes_demonstration_automatique> <http://schema.org/name> "Théorèmes Démonstration automatique." .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/theoremes_demonstration_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/837048899.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/837048899.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/837048899> .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/razonamiento_automatizado> <http://schema.org/name> "Razonamiento automatizado." .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/razonamiento_automatizado> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/inteligencia_artificial_computacao> <http://schema.org/name> "Inteligencia artificial (computacao)" .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/inteligencia_artificial_computacao> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/workExample> <http://www.worldcat.org/oclc/832989631> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/workExample> <http://www.worldcat.org/oclc/468383269> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/837048899#Topic/deduction_automatique> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/837048899#Topic/logique> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://id.worldcat.org/fast/822777> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/workExample> <http://www.worldcat.org/oclc/492901986> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/837048899#Topic/theoremes_demonstration_automatique> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/837048899#Topic/raisonnement_automatique> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://worldcat.org/entity/person/id/2642636128> .
<http://worldcat.org/entity/work/id/837048899> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/837048899#Topic/razonamiento_automatizado> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2642636128> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/workExample> <http://www.worldcat.org/oclc/911293275> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628903917> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/name> "Automated reasoning and it's applications : essays in honor of Larry Wos" .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/name> "Automated reasoning and its applications : essays in honor of Larry Wos" .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/workExample> <http://www.worldcat.org/oclc/36103675> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/workExample> <http://www.worldcat.org/oclc/782252036> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2634562373> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010111> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/author> <http://worldcat.org/entity/person/id/2628903917> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/editor> <http://worldcat.org/entity/person/id/2634562373> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/workExample> <http://www.worldcat.org/oclc/750836951> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/837048899#Topic/intelligence_artificielle> .
<http://worldcat.org/entity/work/id/837048899> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/837048899#Topic/inteligencia_artificial_computacao> .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/logique> <http://schema.org/name> "logique." .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/intelligence_artificielle> <http://schema.org/name> "intelligence artificielle." .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/intelligence_artificielle> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/raisonnement_automatique> <http://schema.org/name> "raisonnement automatique." .
<http://experiment.worldcat.org/entity/work/data/837048899#Topic/raisonnement_automatique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .