"bisimulation" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "bi-",
        "4": "simulation",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nProto-Indo-European *dwóh₁\nProto-Indo-European *dwi-\nProto-Italic *dwi-\nLatin bi-bor.\nEnglish bi-\nEnglish simulation\nEnglish bisimulation\n[Appendix:Glossary#loanword|Borrowed]] from\", \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"bi-\", \"children\" : [ { \"terms\" : [ { \"id\" : \"two\", \"children\" : [ { \"terms\" : [ { \"id\" : \"two\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*dwóh₁\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*dwi-\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*dwi-\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"Latin\", \"term\" : \"bi-\", \"status\" : \"ok\", \"lang\" : \"la\" } ], \"keyword\" : \"bor\" } ], \"lang_name\" : \"English\", \"term\" : \"bi-\", \"status\" : \"ok\", \"lang\" : \"en\" }, { \"children\" : [ ], \"lang_name\" : \"English\", \"term\" : \"simulation\", \"status\" : \"missing\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"bisimulation\", \"status\" : \"ok\", \"lang\" : \"en\" }\" data-lang=\"en\" data-title=\"bisimulation\">\nFrom bi- + simulation.",
      "name": "ety"
    }
  ],
  "etymology_text": "Etymology tree\nProto-Indo-European *dwóh₁\nProto-Indo-European *dwi-\nProto-Italic *dwi-\nLatin bi-bor.\nEnglish bi-\nEnglish simulation\nEnglish bisimulation\nFrom bi- + simulation.",
  "forms": [
    {
      "form": "bisimulations",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "bisimulation (plural bisimulations)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries referencing missing etymons",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries referencing pages with etymology sections missing etymons",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with etymology texts",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with etymology trees",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with etymon",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms prefixed with bi-",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Entries with translation boxes",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages using etymon with no ID",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with etymology trees",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with etymon",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Terms with Spanish translations",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [],
          "source": "w"
        }
      ],
      "glosses": [
        "an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa"
      ],
      "id": "en-bisimulation-en-noun-Kr7TnVHw",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "equivalence relation",
          "equivalence relation"
        ],
        [
          "state transition system",
          "state transition system"
        ]
      ],
      "raw_glosses": [
        "(logic) an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa"
      ],
      "related": [
        {
          "word": "bisimilar"
        },
        {
          "word": "simulation preorder"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "translations": [
        {
          "code": "es",
          "lang": "Spanish",
          "lang_code": "es",
          "sense": "equivalence relation between state transition systems",
          "tags": [
            "feminine"
          ],
          "word": "bisimulación"
        }
      ]
    }
  ],
  "word": "bisimulation"
}

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": ":af",
        "3": "bi-",
        "4": "simulation",
        "text": "+",
        "tree": "1"
      },
      "expansion": "Etymology tree\nProto-Indo-European *dwóh₁\nProto-Indo-European *dwi-\nProto-Italic *dwi-\nLatin bi-bor.\nEnglish bi-\nEnglish simulation\nEnglish bisimulation\n[Appendix:Glossary#loanword|Borrowed]] from\", \"terms\" : [ { \"children\" : [ { \"terms\" : [ { \"id\" : \"bi-\", \"children\" : [ { \"terms\" : [ { \"id\" : \"two\", \"children\" : [ { \"terms\" : [ { \"id\" : \"two\", \"children\" : [ ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*dwóh₁\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"From\", \"keyword\" : \"from\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Indo-European\", \"term\" : \"*dwi-\", \"lang\" : \"ine-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"status\" : \"ok\", \"lang_name\" : \"Proto-Italic\", \"term\" : \"*dwi-\", \"lang\" : \"itc-pro\" } ], \"keyword_label\" : \"Inherited from\", \"keyword\" : \"inherited\" } ], \"lang_name\" : \"Latin\", \"term\" : \"bi-\", \"status\" : \"ok\", \"lang\" : \"la\" } ], \"keyword\" : \"bor\" } ], \"lang_name\" : \"English\", \"term\" : \"bi-\", \"status\" : \"ok\", \"lang\" : \"en\" }, { \"children\" : [ ], \"lang_name\" : \"English\", \"term\" : \"simulation\", \"status\" : \"missing\", \"lang\" : \"en\" } ], \"keyword_label\" : \"From\", \"is_group\" : true, \"keyword\" : \"affix\" } ], \"lang_name\" : \"English\", \"term\" : \"bisimulation\", \"status\" : \"ok\", \"lang\" : \"en\" }\" data-lang=\"en\" data-title=\"bisimulation\">\nFrom bi- + simulation.",
      "name": "ety"
    }
  ],
  "etymology_text": "Etymology tree\nProto-Indo-European *dwóh₁\nProto-Indo-European *dwi-\nProto-Italic *dwi-\nLatin bi-bor.\nEnglish bi-\nEnglish simulation\nEnglish bisimulation\nFrom bi- + simulation.",
  "forms": [
    {
      "form": "bisimulations",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "bisimulation (plural bisimulations)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "bisimilar"
    },
    {
      "word": "simulation preorder"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries referencing missing etymons",
        "English entries referencing pages with etymology sections missing etymons",
        "English entries with etymology texts",
        "English entries with etymology trees",
        "English entries with etymon",
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English terms derived from the Proto-Indo-European word *dwóh₁",
        "English terms prefixed with bi-",
        "Entries with translation boxes",
        "Pages using etymon with no ID",
        "Pages with 1 entry",
        "Pages with entries",
        "Pages with etymology trees",
        "Pages with etymon",
        "Terms with Spanish translations",
        "en:Logic"
      ],
      "glosses": [
        "an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa"
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "equivalence relation",
          "equivalence relation"
        ],
        [
          "state transition system",
          "state transition system"
        ]
      ],
      "raw_glosses": [
        "(logic) an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "translations": [
    {
      "code": "es",
      "lang": "Spanish",
      "lang_code": "es",
      "sense": "equivalence relation between state transition systems",
      "tags": [
        "feminine"
      ],
      "word": "bisimulación"
    }
  ],
  "word": "bisimulation"
}