Affichage :	[ XML ]	[ Texte ]
Export :	[ XML ]	[ Texte ]

Prédicat Argument  Catégorie   Lemme   Relation   Catégorie   Lemme  IM  Fréquence   NP  gödel    _   N  théorème   13. 483  5   NP  pythagore    _   N  théorème   13. 483  15   NP  fermat    _   N  théorème   13. 386  49   N  perroquet    _   N  théorème   12. 528  5   NP  apt    _   N  théorème   11. 734  8   NP  schmidt    _   N  théorème   10. 998  5   NP  pasolini    _   N  théorème   10. 983  11