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

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