"cas de base" meaning in Français

{
  "anagrams": [
    {
      "word": "abcédasse"
    },
    {
      "word": "décabasse"
    },
    {
      "word": "décabassé"
    }
  ],
  "antonyms": [
    {
      "word": "cas récursif"
    }
  ],
  "categories": [
    {
      "kind": "other",
      "name": "Dates manquantes en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Locutions nominales en français",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Traductions en anglais",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Français",
      "orig": "français",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_texts": [
    " ",
    "(Date à préciser) → voir cas, de et base"
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "Exemples en français",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français de l’informatique",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français des mathématiques",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "Le cas de base du type des listes est la liste vide."
        }
      ],
      "glosses": [
        "Partie non récursive d’une définition récursive ou d’un algorithme récursif."
      ],
      "id": "fr-cas_de_base-fr-noun-AWvGuupQ",
      "topics": [
        "computing",
        "mathematics"
      ]
    },
    {
      "categories": [
        {
          "kind": "other",
          "name": "Exemples en français",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Lexique en français des mathématiques",
          "parents": [],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "Pour prouver la propriété P pour tout entier naturel par récurrence, on prouve le cas de base qui est P(0) et on prouve l’hérédité, c’est-à-dire ∀ n ∈ ℕ, P(n) ⇒ P(n + 1)."
        }
      ],
      "glosses": [
        "Propriété dite d’initialisation dans un raisonnement par induction."
      ],
      "id": "fr-cas_de_base-fr-noun-ZCvINp2B",
      "topics": [
        "mathematics"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\kɑ də bɑz\\"
    },
    {
      "audio": "LL-Q150 (fra)-0x010C-cas de base.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/a/a0/LL-Q150_(fra)-0x010C-cas_de_base.wav/LL-Q150_(fra)-0x010C-cas_de_base.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/a/a0/LL-Q150_(fra)-0x010C-cas_de_base.wav/LL-Q150_(fra)-0x010C-cas_de_base.wav.ogg",
      "raw_tags": [
        "France (Muntzenheim)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-0x010C-cas de base.wav"
    },
    {
      "audio": "LL-Q150 (fra)-LoquaxFR-cas de base.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/02/LL-Q150_(fra)-LoquaxFR-cas_de_base.wav/LL-Q150_(fra)-LoquaxFR-cas_de_base.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/02/LL-Q150_(fra)-LoquaxFR-cas_de_base.wav/LL-Q150_(fra)-LoquaxFR-cas_de_base.wav.ogg",
      "raw_tags": [
        "France (Vosges)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-LoquaxFR-cas de base.wav"
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Anglais",
      "lang_code": "en",
      "sense": "Partie non récursive",
      "sense_index": 1,
      "word": "base case"
    },
    {
      "lang": "Anglais",
      "lang_code": "en",
      "sense": "Propriété d’initialisation",
      "sense_index": 2,
      "word": "base case"
    }
  ],
  "word": "cas de base"
}

{
  "anagrams": [
    {
      "word": "abcédasse"
    },
    {
      "word": "décabasse"
    },
    {
      "word": "décabassé"
    }
  ],
  "antonyms": [
    {
      "word": "cas récursif"
    }
  ],
  "categories": [
    "Dates manquantes en français",
    "Locutions nominales en français",
    "Traductions en anglais",
    "français"
  ],
  "etymology_texts": [
    " ",
    "(Date à préciser) → voir cas, de et base"
  ],
  "lang": "Français",
  "lang_code": "fr",
  "pos": "noun",
  "pos_title": "Locution nominale",
  "senses": [
    {
      "categories": [
        "Exemples en français",
        "Lexique en français de l’informatique",
        "Lexique en français des mathématiques"
      ],
      "examples": [
        {
          "text": "Le cas de base du type des listes est la liste vide."
        }
      ],
      "glosses": [
        "Partie non récursive d’une définition récursive ou d’un algorithme récursif."
      ],
      "topics": [
        "computing",
        "mathematics"
      ]
    },
    {
      "categories": [
        "Exemples en français",
        "Lexique en français des mathématiques"
      ],
      "examples": [
        {
          "text": "Pour prouver la propriété P pour tout entier naturel par récurrence, on prouve le cas de base qui est P(0) et on prouve l’hérédité, c’est-à-dire ∀ n ∈ ℕ, P(n) ⇒ P(n + 1)."
        }
      ],
      "glosses": [
        "Propriété dite d’initialisation dans un raisonnement par induction."
      ],
      "topics": [
        "mathematics"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "\\kɑ də bɑz\\"
    },
    {
      "audio": "LL-Q150 (fra)-0x010C-cas de base.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/a/a0/LL-Q150_(fra)-0x010C-cas_de_base.wav/LL-Q150_(fra)-0x010C-cas_de_base.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/a/a0/LL-Q150_(fra)-0x010C-cas_de_base.wav/LL-Q150_(fra)-0x010C-cas_de_base.wav.ogg",
      "raw_tags": [
        "France (Muntzenheim)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-0x010C-cas de base.wav"
    },
    {
      "audio": "LL-Q150 (fra)-LoquaxFR-cas de base.wav",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/02/LL-Q150_(fra)-LoquaxFR-cas_de_base.wav/LL-Q150_(fra)-LoquaxFR-cas_de_base.wav.mp3",
      "ogg_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/0/02/LL-Q150_(fra)-LoquaxFR-cas_de_base.wav/LL-Q150_(fra)-LoquaxFR-cas_de_base.wav.ogg",
      "raw_tags": [
        "France (Vosges)"
      ],
      "wav_url": "https://commons.wikimedia.org/wiki/Special:FilePath/LL-Q150 (fra)-LoquaxFR-cas de base.wav"
    }
  ],
  "tags": [
    "masculine"
  ],
  "translations": [
    {
      "lang": "Anglais",
      "lang_code": "en",
      "sense": "Partie non récursive",
      "sense_index": 1,
      "word": "base case"
    },
    {
      "lang": "Anglais",
      "lang_code": "en",
      "sense": "Propriété d’initialisation",
      "sense_index": 2,
      "word": "base case"
    }
  ],
  "word": "cas de base"
}