<http://experiment.worldcat.org/entity/work/data/33382989#Topic/concurrence> <http://schema.org/name> "concurrence." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/concurrence> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_logique> <http://schema.org/name> "Programmation logique." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/negation> <http://schema.org/name> "négation." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/negation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_avec_contrainte> <http://schema.org/name> "programmation avec contrainte." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_avec_contrainte> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/prolog_langage_de_programmation> <http://schema.org/name> "Prolog (langage de programmation)" .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/prolog_langage_de_programmation> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_en_logique> <http://schema.org/name> "programmation en logique." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_en_logique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/logische_programmierung> <http://schema.org/name> "Logische Programmierung." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/logische_programmierung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/godel> <http://schema.org/name> "Gödel." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/godel> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/godel> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/negation> .
<http://worldcat.org/entity/work/id/33382989> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/author> <http://worldcat.org/entity/person/id/2637027453> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_logique> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2637027453> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://id.worldcat.org/fast/1002056> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/logica_simbolica_y_matematica> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/prolog> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/concurrence> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/488890156> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/prolog_langage_de_programmation> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/813411924> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/name> "Advences in logic programming theory" .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/aufsatzsammlung> .
<http://worldcat.org/entity/work/id/33382989> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/468435494> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_en_logique> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/name> "Advances in logic programming theory" .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/840278842> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/name> "Advances in logic programming theory"@en .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh86003454> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/preuve> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/621953738> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/programmation_avec_contrainte> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/31375407> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/644547194> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/33382989#Topic/logische_programmierung> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636802977> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/contributor> <http://experiment.worldcat.org/entity/work/data/33382989#Meeting/international_school_for_computer_science_researchers_on_foundations_of_logic_programming_4_1992_acireale> .
<http://worldcat.org/entity/work/id/33382989> <http://schema.org/workExample> <http://www.worldcat.org/oclc/876024361> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/preuve> <http://schema.org/name> "preuve." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/preuve> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/33382989.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/33382989> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/logica_simbolica_y_matematica> <http://schema.org/name> "Lógica simbólica y matemática." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/logica_simbolica_y_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/aufsatzsammlung> <http://schema.org/name> "Aufsatzsammlung." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/aufsatzsammlung> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/33382989#Meeting/international_school_for_computer_science_researchers_on_foundations_of_logic_programming_4_1992_acireale> <http://schema.org/name> "International School for Computer Science Researchers on Foundations of Logic Programming (4 ; 1992 ; Acireale)" .
<http://experiment.worldcat.org/entity/work/data/33382989#Meeting/international_school_for_computer_science_researchers_on_foundations_of_logic_programming_4_1992_acireale> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.productontology.org/id/Meeting> .
<http://experiment.worldcat.org/entity/work/data/33382989#Meeting/international_school_for_computer_science_researchers_on_foundations_of_logic_programming_4_1992_acireale> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Event> .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/prolog> <http://schema.org/name> "PROLOG." .
<http://experiment.worldcat.org/entity/work/data/33382989#Topic/prolog> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .