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-, cloud, nicecloud)
 

'énoncé démontrable'
(id=284064568 ; fe=énoncé démontrable ; type=1 ; niveau=200 ; luminosité=25 ; somme entrante=41 creation date=2024-06-09 touchdate=2025-10-22 20:31:34.000)
≈ 9 relations sortantes

  1. énoncé démontrable -- r_aki #666: 2 / 1 -> argument
    n1=énoncé démontrable | n2=argument | rel=r_aki | relid=666 | w=2
  2. énoncé démontrable -- r_aki #666: 2 / 1 -> axiome
    n1=énoncé démontrable | n2=axiome | rel=r_aki | relid=666 | w=2
  3. énoncé démontrable -- r_aki #666: 2 / 1 -> déduction
    n1=énoncé démontrable | n2=déduction | rel=r_aki | relid=666 | w=2
  4. énoncé démontrable -- r_aki #666: 2 / 1 -> induction
    n1=énoncé démontrable | n2=induction | rel=r_aki | relid=666 | w=2
  5. énoncé démontrable -- r_aki #666: 2 / 1 -> logique
    n1=énoncé démontrable | n2=logique | rel=r_aki | relid=666 | w=2
  6. énoncé démontrable -- r_aki #666: 2 / 1 -> mathématiques
    n1=énoncé démontrable | n2=mathématiques | rel=r_aki | relid=666 | w=2
  7. énoncé démontrable -- r_aki #666: 2 / 1 -> preuve
    n1=énoncé démontrable | n2=preuve | rel=r_aki | relid=666 | w=2
  8. énoncé démontrable -- r_aki #666: 2 / 1 -> proposition
    n1=énoncé démontrable | n2=proposition | rel=r_aki | relid=666 | w=2
  9. énoncé démontrable -- r_aki #666: 2 / 1 -> théorème
    n1=énoncé démontrable | 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