Metadata
Author: ParaCrawl Corpus
Data
German[de]
Die Gültigkeit prädikatenlogischer Formeln erster Stufe ist semi-entscheidbar, sofern man bei der Semantik alle Modelle zugrundelegt.
English[en]
The validity of formulas w.r.t. a specification over first-order logic with a semantics based on all models is semi-decidable.