"Satz von Herbrand"@de . . "A K Peters" . . "33"^^ . . "Recherches sur la theorie de la demonstration"@de . . . "Addison-Wesley" . . . . "Fundamentals of Mathematical Logic"@de . "265013"^^ . . "2005"^^ . "Peter G. Hinman"^^ . . "1930"^^ . . . . . . "1967"^^ . "Der Satz von Herbrand ist ein Satz der mathematischen Logik, der 1930 vom franz\u00F6sischen Logiker Jacques Herbrand publiziert wurde. Er macht eine Aussage dar\u00FCber, wann eine pr\u00E4dikatenlogische Formel allgemeing\u00FCltig oder erf\u00FCllbar ist und erlaubt eine Reduktion auf Allgemeing\u00FCltigkeit oder Erf\u00FCllbarkeit in der Aussagenlogik. Der Satz besagt: Sei eine geschlossene pr\u00E4dikatenlogische Formel.Dann gibt es eine (aus berechenbare) quantorenfreie Formel , sodass gilt: ist eine Tautologie genau dann, wenn es variablenfreie Substitutionsinstanzen von gibt, sodass eine aussagenlogische Tautologie ist."@de . "Mathematical Logic"@de . "Der Satz von Herbrand ist ein Satz der mathematischen Logik, der 1930 vom franz\u00F6sischen Logiker Jacques Herbrand publiziert wurde. Er macht eine Aussage dar\u00FCber, wann eine pr\u00E4dikatenlogische Formel allgemeing\u00FCltig oder erf\u00FCllbar ist und erlaubt eine Reduktion auf Allgemeing\u00FCltigkeit oder Erf\u00FCllbarkeit in der Aussagenlogik. Der Satz besagt: Sei eine geschlossene pr\u00E4dikatenlogische Formel.Dann gibt es eine (aus berechenbare) quantorenfreie Formel , sodass gilt: ist eine Tautologie genau dann, wenn es variablenfreie Substitutionsinstanzen von gibt, sodass eine aussagenlogische Tautologie ist."@de . . "Travaux de la Societe des Sciences et des Lettres de Varsovie, Class III, Sciences Mathematiques et Physiques"^^ . . "Joseph R. Shoenfield"^^ . . "136681417"^^ .