| dbo:description
|
- Teilgebiet der mathematischen Logik (de)
- логика с предикатами от предикатов (кванторами) (ru)
- extensão da lógica de primeira ordem (pt)
- logiko permesanta kvantizi funkciojn kaj rilatojn (eo)
- model (cs)
- extension of first-order logic allowing quantification over functions and relations (en)
- logik der tillader kvantifikation over prædikater og giver mulighed for mere komplekse analyser af egenskaber og relationer mellem prædikater inden for logik, matematik og filosofi (da)
- étend celle du premier ordre par l'ajout de variables relationnelles, qui peuvent donc être quantifiées (fr)
- extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores (es)
- logik som tillåter kvantifiering över predikat och möjliggör mer komplexa analyser av egenskaper och relationer mellan predikat inom logik, matematik och filosofi (sv)
|
