[ 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  théorème    _   N  démonstration   10. 627  16 
 N  théorème    _   V  démontrer   8. 782  8 
 N  théorème    _   V  conclure   8. 471  8 
 N  théorème    _   V  appliquer   6. 987  5