The decision problem solvable classes of quantificational formulas

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/Book
http://schema.org/CreativeWork

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/792312319#Topic/calcul_predicat
http://experiment.worldcat.org/entity/work/data/792312319#Topic/logika
http://experiment.worldcat.org/entity/work/data/792312319#Topic/unsolvability_mathematical_logic
http://id.loc.gov/authorities/subjects/sh85141199
http://experiment.worldcat.org/entity/work/data/792312319#Topic/insolubilite_logique_mathematique
http://experiment.worldcat.org/entity/work/data/792312319#Topic/calcul_des_predicats
http://experiment.worldcat.org/entity/work/data/792312319#Topic/prise_de_decision
http://experiment.worldcat.org/entity/work/data/792312319#Topic/no_resolubilidad_logica_matematica
http://id.worldcat.org/fast/1162046
http://experiment.worldcat.org/entity/work/data/792312319#Topic/logica
http://experiment.worldcat.org/entity/work/data/792312319#Topic/decisions_estadistiques
http://experiment.worldcat.org/entity/work/data/792312319#Topic/entscheidungsproblem
http://experiment.worldcat.org/entity/work/data/792312319#Topic/calculo_de_predicados
http://experiment.worldcat.org/entity/work/data/792312319#Topic/predicate_calculus
http://experiment.worldcat.org/entity/work/data/792312319#Topic/logica_matematica
http://experiment.worldcat.org/entity/work/data/792312319#Topic/probleme_decision
http://id.worldcat.org/fast/1075023
http://experiment.worldcat.org/entity/work/data/792312319#Topic/logique_mathematique
http://experiment.worldcat.org/entity/work/data/792312319#Topic/mathematiques
http://experiment.worldcat.org/entity/work/data/792312319#Topic/entscheidbarkeit
http://experiment.worldcat.org/entity/work/data/792312319#Topic/non_resolubilite_logique_mathematique
http://id.loc.gov/authorities/subjects/sh85106251
http://experiment.worldcat.org/entity/work/data/792312319#Topic/pradikatenlogik

http://schema.org/contributor

http://worldcat.org/entity/person/id/2628571604
http://worldcat.org/entity/person/id/2628547136
http://worldcat.org/entity/person/id/2719505274

http://schema.org/creator

http://worldcat.org/entity/person/id/2628547136

http://schema.org/name

"The decision problem : solvable classes of quantificional formulas"
"The decision problem solvable classes of quantificational formulas"
"The decision problem solvable classes of quantificational formulas"@en
"The decision problem : solvable classes of quantificational formulas"
"The decision problem : Solvable classes of quantificational formulas"
"The Decision problem : solvable classes of quantificational formulas"
"The decision problem"

http://schema.org/workExample

http://www.worldcat.org/oclc/476000709
http://www.worldcat.org/oclc/489979410
http://www.worldcat.org/oclc/803149078
http://www.worldcat.org/oclc/636239933
http://www.worldcat.org/oclc/603630958
http://www.worldcat.org/oclc/5412670
http://www.worldcat.org/oclc/909087079
http://www.worldcat.org/oclc/681389078
http://www.worldcat.org/oclc/804048596
http://www.worldcat.org/oclc/848757879
http://www.worldcat.org/oclc/781129878
http://www.worldcat.org/oclc/644401152
http://www.worldcat.org/oclc/695390297

Calcul des prédicats.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Calcul des prédicats."