[
Accueil
] [
Prédicats
] [
Arguments
]
[
À propos
] [
Mention légale
] [
Contacts
]
Couples prédicats arguments
Couples trouvés
Affichage :
[
XML
]
[
Texte
]
Export :
[
XML
]
[
Texte
]
Prédicat
Argument
Catégorie
Lemme
Relation
Catégorie
Lemme
IM
Fréquence
N
équation
_
N
paramètre
9.
702
8
N
équation
_
N
inconnue
9.
575
6
N
équation
_
V
résoudre
8.
124
116
N
équation
_
V
compliquer
7.
212
11
N
équation
_
N
solution
6.
393
10
N
équation
_
N
donnée
6.
33
7
N
équation
_
N
théorie
6.
079
5
N
équation
_
V
mettre
6.
029
17
N
équation
_
N
terme
5.
899
37
N
équation
_
N
résolution
5.
791
6
N
équation
_
V
tenter
5.
633
5
N
équation
_
V
poser
5.
427
25
N
équation
_
N
élément
5.
327
8
N
équation
_
V
reposer
5.
304
6
N
équation
_
V
ajouter
5.
2
5
N
équation
_
V
réduire
5.
149
6
N
équation
_
V
confronter
4.
953
6
N
équation
_
V
appliquer
4.
878
6
N
équation
_
V
modifier
4.
792
7
N
équation
_
V
établir
4.
531
7
N
équation
_
V
chercher
4.
485
6
N
équation
_
V
tenir
4.
409
7
N
équation
_
V
sortir
4.
243
5
N
équation
_
N
système
4.
203
11
N
équation
_
V
paraître
4.
187
5
N
équation
_
N
résultat
3.
96
7
N
équation
_
V
sembler
3.
482
7
N
équation
_
V
trouver
2.
992
5
N
équation
_
V
pouvoir
2.
06
9