"sequent" meaning in Anglais

{
  "categories": [
    {
      "kind": "other",
      "name": "Lemmes en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Mots en anglais issus d’un mot en ancien français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Noms communs en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Références nécessaires en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Anglais",
      "orig": "anglais",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    "De l’ancien français sequent, du latin sequens, participe présent de sequi (« suivre ») emprunté au grec ancien έπεσθαι (« suivre ») Référence nécessaire."
  ],
  "forms": [
    {
      "form": "sequents",
      "ipas": [
        "\\ˈsiːkwənts\\"
      ],
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Anglais",
  "lang_code": "en",
  "pos": "noun",
  "pos_title": "Nom commun",
  "related": [
    {
      "word": "subsequent"
    }
  ],
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Lexique en anglais de la logique",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "Un élément d'une séquence, habituellement une séquence dans laquelle chaque entrée est un axiome ou peut être inféré des éléments précédents."
      ],
      "id": "fr-sequent-en-noun-HjyXf3-r",
      "topics": [
        "logic"
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "name": "Lexique en anglais de la logique",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "Une entité de la théorie des séquents, qui est un système logique de démonstration, qui constitué d'une ensemble de proposition, lantécédent et d'une proposition le conséquent (ou la conséquence)."
      ],
      "id": "fr-sequent-en-noun-NtVUVGhC",
      "topics": [
        "logic"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\ˈsiːkwənt\\"
    }
  ],
  "word": "sequent"
}

{
  "categories": [
    "Lemmes en anglais",
    "Mots en anglais issus d’un mot en ancien français",
    "Noms communs en anglais",
    "Références nécessaires en anglais",
    "anglais"
  ],
  "etymology_texts": [
    "De l’ancien français sequent, du latin sequens, participe présent de sequi (« suivre ») emprunté au grec ancien έπεσθαι (« suivre ») Référence nécessaire."
  ],
  "forms": [
    {
      "form": "sequents",
      "ipas": [
        "\\ˈsiːkwənts\\"
      ],
      "tags": [
        "plural"
      ]
    }
  ],
  "lang": "Anglais",
  "lang_code": "en",
  "pos": "noun",
  "pos_title": "Nom commun",
  "related": [
    {
      "word": "subsequent"
    }
  ],
  "senses": [
    {
      "categories": [
        "Lexique en anglais de la logique"
      ],
      "glosses": [
        "Un élément d'une séquence, habituellement une séquence dans laquelle chaque entrée est un axiome ou peut être inféré des éléments précédents."
      ],
      "topics": [
        "logic"
      ]
    },
    {
      "categories": [
        "Lexique en anglais de la logique"
      ],
      "glosses": [
        "Une entité de la théorie des séquents, qui est un système logique de démonstration, qui constitué d'une ensemble de proposition, lantécédent et d'une proposition le conséquent (ou la conséquence)."
      ],
      "topics": [
        "logic"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\ˈsiːkwənt\\"
    }
  ],
  "word": "sequent"
}