Ava peamenüü
Esileht
Juhuslik
Lähikond
Logi sisse
Eelistused
Tiitelandmed
Lahtiütlused
Otsi
Mudel (loogika)
Keel
Jälgi
Redigeeri
Mudel
on
esimest järku predikaatloogikas
struktuur, mis rahuldab antud hulga kõiki
lauseid
.