Javascript doit fonctionner ! Activez-le et rechargez cette page.
Le Rézo de JeuxDeMots
• Types de relations
• Types de noeuds
• Consolider
le terme
  Options  
             

  Filtrage type relations : +   - (ex: 4, 12, 18, 36, 444, 555, 777)
  Filtrage valeur :          min   max
  Filtrage type noeuds :   +   - (ex: 4, 6, 8, 9, 10, 12, 18, 36, 444, 555, 777)

  Présentation de sortie :   (ex: -rien-, code, cloud, nicecloud)
 

'logique de Horn'
(id=225254236 ; fe=logique de Horn ; type=1 ; niveau=200 ; luminosité=25 ; somme entrante=506 creation date=2023-10-16 touchdate=2025-11-03 05:57:55.000)
≈ 17 relations sortantes

  1. logique de Horn -- r_aki #666: 3 / 1 -> inférence
    n1=logique de Horn | n2=inférence | rel=r_aki | relid=666 | w=3
  2. logique de Horn -- r_aki #666: 2 / 0.667 -> algèbre
    n1=logique de Horn | n2=algèbre | rel=r_aki | relid=666 | w=2
  3. logique de Horn -- r_aki #666: 2 / 0.667 -> déduction
    n1=logique de Horn | n2=déduction | rel=r_aki | relid=666 | w=2
  4. logique de Horn -- r_aki #666: 2 / 0.667 -> déduction logique
    n1=logique de Horn | n2=déduction logique | rel=r_aki | relid=666 | w=2
  5. logique de Horn -- r_aki #666: 2 / 0.667 -> formule
    n1=logique de Horn | n2=formule | rel=r_aki | relid=666 | w=2
  6. logique de Horn -- r_aki #666: 2 / 0.667 -> logique du premier ordre
    n1=logique de Horn | n2=logique du premier ordre | rel=r_aki | relid=666 | w=2
  7. logique de Horn -- r_aki #666: 2 / 0.667 -> logique modale
    n1=logique de Horn | n2=logique modale | rel=r_aki | relid=666 | w=2
  8. logique de Horn -- r_aki #666: 2 / 0.667 -> logique propositionnelle
    n1=logique de Horn | n2=logique propositionnelle | rel=r_aki | relid=666 | w=2
  9. logique de Horn -- r_aki #666: 2 / 0.667 -> logique temporelle
    n1=logique de Horn | n2=logique temporelle | rel=r_aki | relid=666 | w=2
  10. logique de Horn -- r_aki #666: 2 / 0.667 -> preuve
    n1=logique de Horn | n2=preuve | rel=r_aki | relid=666 | w=2
  11. logique de Horn -- r_aki #666: 2 / 0.667 -> programmation logique
    n1=logique de Horn | n2=programmation logique | rel=r_aki | relid=666 | w=2
  12. logique de Horn -- r_aki #666: 2 / 0.667 -> règle
    n1=logique de Horn | n2=règle | rel=r_aki | relid=666 | w=2
  13. logique de Horn -- r_aki #666: 2 / 0.667 -> règles de production
    n1=logique de Horn | n2=règles de production | rel=r_aki | relid=666 | w=2
  14. logique de Horn -- r_aki #666: 2 / 0.667 -> relation
    n1=logique de Horn | n2=relation | rel=r_aki | relid=666 | w=2
  15. logique de Horn -- r_aki #666: 2 / 0.667 -> résolution
    n1=logique de Horn | n2=résolution | rel=r_aki | relid=666 | w=2
  16. logique de Horn -- r_aki #666: 2 / 0.667 -> système
    n1=logique de Horn | n2=système | rel=r_aki | relid=666 | w=2
  17. logique de Horn -- r_aki #666: 2 / 0.667 -> théorème
    n1=logique de Horn | n2=théorème | rel=r_aki | relid=666 | w=2
≈ 0 relations entrantes

    Le service Rézo permet d'énumérer les relations existant pour un terme. Ce service est interrogeable par programme.
    Projet JeuxDeMots - url: http://www.jeuxdemots.org
    contact: mathieu.lafourcade@lirmm.fr