EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN (Q4295256)
From MaRDI portal
scientific article; zbMATH DE number 584655
Language | Label | Description | Also known as |
---|---|---|---|
English | EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN |
scientific article; zbMATH DE number 584655 |
Statements
EIN NEUER BEWEIS UND EINE VERSCHÄRFUNG FÜR DEN REDUKTIONSTYP ∀∃∀∞(0, 1) MIT EINER ANWENDUNG AUF DIE SPEKTRALE DARSTELLUNG VON PRÄDIKATEN (English)
0 references
3 November 1994
0 references
semantical reduction
0 references
spectral representation of predicates
0 references
syntactical reduction
0 references
satisfiability of first order formulae
0 references