Metadata
Author: ParaCrawl Corpus
Data
German[de]
Die resultierende induktive Gültigkeit ist jedoch nicht mehr semi-entscheidbar -- nicht einmal für die Prädikatenlogik erster Stufe.
English[en]
Proofs are then performed using induction. But, inductive validity is not semi-decidable -- even for first-order logic.