"Church-Rosser property" meaning in All languages combined

{
  "etymology_text": "Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.",
  "forms": [
    {
      "form": "Church-Rosser properties",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Church-Rosser property (plural Church-Rosser properties)",
      "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": "Computer science",
          "orig": "en:Computer science",
          "parents": [
            "Computing",
            "Sciences",
            "Technology",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y."
      ],
      "id": "en-Church-Rosser_property-en-noun-f2BU42XT",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "computer science",
          "computer science"
        ],
        [
          "rewriting",
          "rewriting"
        ],
        [
          "system",
          "system"
        ]
      ],
      "raw_glosses": [
        "(logic, computer science) The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y."
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "human-sciences",
        "logic",
        "mathematics",
        "natural-sciences",
        "philosophy",
        "physical-sciences",
        "science",
        "sciences"
      ]
    }
  ],
  "word": "Church-Rosser property"
}

{
  "etymology_text": "Alonzo Church and J. Barkley Rosser proved in 1936 that lambda calculus has this property.",
  "forms": [
    {
      "form": "Church-Rosser properties",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Church-Rosser property (plural Church-Rosser properties)",
      "name": "en-noun"
    }
  ],
  "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:Computer science",
        "en:Logic"
      ],
      "glosses": [
        "The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "computer science",
          "computer science"
        ],
        [
          "rewriting",
          "rewriting"
        ],
        [
          "system",
          "system"
        ]
      ],
      "raw_glosses": [
        "(logic, computer science) The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y."
      ],
      "topics": [
        "computer",
        "computing",
        "engineering",
        "human-sciences",
        "logic",
        "mathematics",
        "natural-sciences",
        "philosophy",
        "physical-sciences",
        "science",
        "sciences"
      ]
    }
  ],
  "word": "Church-Rosser property"
}