[
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
paramètre
de
N
équation
9.
702
8
N
inconnue
de
N
équation
9.
575
6
V
résoudre
obj
N
équation
8.
124
116
V
compliquer
obj
N
équation
7.
212
11
N
solution
de
N
équation
6.
393
10
N
donnée
de
N
équation
6.
33
7
N
théorie
de
N
équation
6.
079
5
V
mettre
en
N
équation
6.
029
17
N
terme
de
N
équation
5.
899
37
N
résolution
de
N
équation
5.
791
6
V
tenter
obj
N
équation
5.
633
5
V
poser
obj
N
équation
5.
427
25
N
élément
de
N
équation
5.
327
8
V
reposer
sur
N
équation
5.
304
6
V
ajouter
obj
N
équation
5.
2
5
V
réduire
à
N
équation
5.
149
6
V
confronter
à
N
équation
4.
953
6
V
appliquer
obj
N
équation
4.
878
6
V
modifier
obj
N
équation
4.
792
7
V
établir
obj
N
équation
4.
531
7
V
chercher
obj
N
équation
4.
485
6
V
tenir
suj
N
équation
4.
409
7
V
sortir
obj
N
équation
4.
243
5
N
système
de
N
équation
4.
203
11
V
paraître
suj
N
équation
4.
187
5
N
résultat
de
N
équation
3.
96
7
V
sembler
suj
N
équation
3.
482
7
V
trouver
obj
N
équation
2.
992
5
V
pouvoir
suj
N
équation
2.
06
9