NOM PROPRE
/ɛtiŋ/
Syllabes : ɛ.tiŋ
Orthocode : H°ey.ting
Formes fléchies
| Forme | Phonétique | Traits | Syllabes | Orthocode |
|---|---|---|---|---|
| Heyting | /ɛtiŋ/ | None | ɛ.tiŋ | H°ey.ting |
Heyting
Entités liées (4)
| Nom | Relation | Type | Notoriété | Popularité |
|---|---|---|---|---|
| Algèbre de Heyting | Nom de famille | Concept | 15 | 1.9 |
| Arend Heyting | Nom de famille | Personne | 22 | 2.3 |
| Arithmétique de Heyting | Nom de famille | Concept | 5 | 0.4 |
| Interprétation de Brouwer-heyting-kolmogorov | Lié | Concept | 7 | 0.8 |