| dbo:description
|
- në logjikën matematikore, një formulë e mirëformuar pa variabla të lirë (sq)
- v matematični logiki dobro oblikovana formula brez prostih spremenljivk (tj. ni kvantificirana) (sl)
- in logica matematica, una formula ben formata senza variabili libere (ovvero, non quantificate) (it)
- in mathematical logic, a well-formed formula with no free variables (en)
- fórmula matemática ben formada sen variables libres (gl)
- coincheap sa loighic (ga)
- logická formule, která nemá volné proměnné (cs)
- logische Formel ohne freie Variablen (de)
- fórmula matemática bien formada sin variables libres (es)
- গাণিতিক যুক্তিতে কোনো মুক্ত চলক ছাড়াই সুগঠিত সূত্র (bn)
- inden for matematikken, en helstøbt formel uden frie variabler (da)
- ریاضیاتی منطق میں کلیہ (ur)
- 論理学 (ja)
- корректная формула в исчислении предикатов, в которой все переменные связаны (ru)
|
