"Skolem function" meaning in English

{
  "etymology_text": "Named after Thoralf Skolem (1887–1963), Norwegian mathematician.",
  "forms": [
    {
      "form": "Skolem functions",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Skolem function (plural Skolem functions)",
      "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": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "coordinate_terms": [
        {
          "word": "Herbrand function"
        }
      ],
      "glosses": [
        "A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced)."
      ],
      "id": "en-Skolem_function-en-noun-l-Dy3K7Q",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "existential quantifier",
          "existential quantifier"
        ]
      ],
      "raw_glosses": [
        "(logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced)."
      ],
      "related": [
        {
          "word": "Skolemization"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "Thoralf Skolem"
      ]
    }
  ],
  "word": "Skolem function"
}

{
  "coordinate_terms": [
    {
      "word": "Herbrand function"
    }
  ],
  "etymology_text": "Named after Thoralf Skolem (1887–1963), Norwegian mathematician.",
  "forms": [
    {
      "form": "Skolem functions",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "Skolem function (plural Skolem functions)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "Skolemization"
    }
  ],
  "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:Logic"
      ],
      "glosses": [
        "A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced)."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "existential quantifier",
          "existential quantifier"
        ]
      ],
      "raw_glosses": [
        "(logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced)."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "Thoralf Skolem"
      ]
    }
  ],
  "word": "Skolem function"
}