<http://experiment.worldcat.org/entity/work/data/792312319#Topic/non_resolubilite_logique_mathematique> <http://schema.org/name> "Non-résolubilité (Logique mathématique)" .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/non_resolubilite_logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/792312319.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/792312319> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/logica_matematica> <http://schema.org/name> "Lògica matemàtica" .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/logica_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/no_resolubilidad_logica_matematica> <http://schema.org/name> "No resolubilidad (Lógica matemática)" .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/no_resolubilidad_logica_matematica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/prise_de_decision> <http://schema.org/name> "Prise de décision." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/prise_de_decision> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/insolubilite_logique_mathematique> <http://schema.org/name> "insolubilité logique mathématique." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/insolubilite_logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/calcul_des_predicats> <http://schema.org/name> "Calcul des prédicats." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/calcul_des_predicats> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/probleme_decision> <http://schema.org/name> "problème décision." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/probleme_decision> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/predicate_calculus> <http://schema.org/name> "Predicate calculus." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/predicate_calculus> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/entscheidbarkeit> <http://schema.org/name> "Entscheidbarkeit." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/entscheidbarkeit> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/logica> <http://schema.org/name> "Logica." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/logica> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/mathematiques> <http://schema.org/name> "Mathématiques." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/mathematiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/calcul_predicat> <http://schema.org/name> "calcul prédicat." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/calcul_predicat> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/476000709> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/489979410> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/calcul_predicat> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/name> "The decision problem : solvable classes of quantificional formulas" .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/logika> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/name> "The decision problem solvable classes of quantificational formulas" .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/name> "The decision problem solvable classes of quantificational formulas"@en .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/name> "The decision problem : solvable classes of quantificational formulas" .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/unsolvability_mathematical_logic> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85141199> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/803149078> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/636239933> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/insolubilite_logique_mathematique> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/603630958> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/name> "The decision problem : Solvable classes of quantificational formulas" .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/calcul_des_predicats> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/5412670> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/prise_de_decision> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/name> "The Decision problem : solvable classes of quantificational formulas" .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/909087079> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/681389078> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/no_resolubilidad_logica_matematica> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://id.worldcat.org/fast/1162046> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628571604> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/804048596> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2628547136> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/logica> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/name> "The decision problem" .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/decisions_estadistiques> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/entscheidungsproblem> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/848757879> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/calculo_de_predicados> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/predicate_calculus> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/781129878> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/logica_matematica> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/probleme_decision> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://id.worldcat.org/fast/1075023> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/logique_mathematique> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/644401152> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/mathematiques> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/entscheidbarkeit> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/non_resolubilite_logique_mathematique> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/workExample> <http://www.worldcat.org/oclc/695390297> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2628547136> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85106251> .
<http://worldcat.org/entity/work/id/792312319> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Book> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2719505274> .
<http://worldcat.org/entity/work/id/792312319> <http://schema.org/about> <http://experiment.worldcat.org/entity/work/data/792312319#Topic/pradikatenlogik> .
<http://worldcat.org/entity/work/id/792312319> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/logika> <http://schema.org/name> "Logika." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/logika> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/decisions_estadistiques> <http://schema.org/name> "Decisions estadístiques" .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/decisions_estadistiques> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/pradikatenlogik> <http://schema.org/name> "Prädikatenlogik." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/pradikatenlogik> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/unsolvability_mathematical_logic> <http://schema.org/name> "Unsolvability (Mathematical logic)" .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/unsolvability_mathematical_logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/entscheidungsproblem> <http://schema.org/name> "Entscheidungsproblem." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/entscheidungsproblem> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/calculo_de_predicados> <http://schema.org/name> "Cálculo de predicados." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/calculo_de_predicados> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/logique_mathematique> <http://schema.org/name> "logique mathématique." .
<http://experiment.worldcat.org/entity/work/data/792312319#Topic/logique_mathematique> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/Topic> .