"Kleene algebra" meaning in English

{
  "etymology_text": "Named for Stephen Cole Kleene.",
  "forms": [
    {
      "form": "Kleene algebras",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Kleene algebra (plural Kleene algebras)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Algebra",
          "orig": "en:Algebra",
          "parents": [
            "Mathematics",
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where \"∼\" here denotes the De Morgan involution."
      ],
      "hypernyms": [
        {
          "sense": "Ockham algebra",
          "word": "distributive lattice"
        }
      ],
      "hyponyms": [
        {
          "word": "Boolean algebra"
        }
      ],
      "id": "en-Kleene_algebra-en-noun-bNS7DO9M",
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "De Morgan algebra",
          "De Morgan algebra"
        ],
        [
          "inequation",
          "inequation"
        ],
        [
          "involution",
          "involution"
        ]
      ],
      "raw_glosses": [
        "(algebra) A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where \"∼\" here denotes the De Morgan involution."
      ],
      "topics": [
        "algebra",
        "mathematics",
        "sciences"
      ],
      "wikipedia": [
        "Kleene algebra",
        "Stephen Cole Kleene"
      ]
    }
  ],
  "word": "Kleene algebra"
}

{
  "etymology_text": "Named for Stephen Cole Kleene.",
  "forms": [
    {
      "form": "Kleene algebras",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Kleene algebra (plural Kleene algebras)",
      "name": "en-noun"
    }
  ],
  "hypernyms": [
    {
      "sense": "Ockham algebra",
      "word": "distributive lattice"
    }
  ],
  "hyponyms": [
    {
      "word": "Boolean algebra"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "en:Algebra"
      ],
      "glosses": [
        "A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where \"∼\" here denotes the De Morgan involution."
      ],
      "links": [
        [
          "algebra",
          "algebra"
        ],
        [
          "De Morgan algebra",
          "De Morgan algebra"
        ],
        [
          "inequation",
          "inequation"
        ],
        [
          "involution",
          "involution"
        ]
      ],
      "raw_glosses": [
        "(algebra) A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where \"∼\" here denotes the De Morgan involution."
      ],
      "topics": [
        "algebra",
        "mathematics",
        "sciences"
      ],
      "wikipedia": [
        "Kleene algebra",
        "Stephen Cole Kleene"
      ]
    }
  ],
  "word": "Kleene algebra"
}