[ Accueil ] [ Prédicats ] [ Arguments ]
[ À propos ] [ Mention légale ] [ Contacts ] 		   Licence Creative Commons - Certains droits réservés
   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  démonstration    de   N  théorème   10. 627  16 
 V  démontrer    obj   N  théorème   8. 782  8 
 V  conclure    suj   N  théorème   8. 471  8 
 V  appliquer    obj   N  théorème   6. 987  5