"Wortproblem" meaning in All languages combined

{
  "categories": [
    {
      "kind": "other",
      "name": "Anagramm sortiert (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Deutsch",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Einträge mit Endreim (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Grundformeintrag (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Roter Audiolink",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Rückläufige Wörterliste (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Rückläufige Wörterliste Grundformeintrag (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Substantiv (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Substantiv n (Deutsch)",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Wiktionary:Audio-Datei",
      "parents": [],
      "source": "w"
    },
    {
      "kind": "other",
      "name": "Siehe auch",
      "orig": "siehe auch",
      "parents": [],
      "source": "w"
    }
  ],
  "etymology_text": "Determinativkompositum aus den Substantiven Wort und Problem",
  "forms": [
    {
      "form": "das Wortproblem",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "die Wortprobleme",
      "tags": [
        "nominative",
        "plural"
      ]
    },
    {
      "form": "des Wortproblems",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "der Wortprobleme",
      "tags": [
        "genitive",
        "plural"
      ]
    },
    {
      "form": "dem Wortproblem",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "den Wortproblemen",
      "tags": [
        "dative",
        "plural"
      ]
    },
    {
      "form": "das Wortproblem",
      "tags": [
        "accusative",
        "singular"
      ]
    },
    {
      "form": "die Wortprobleme",
      "tags": [
        "accusative",
        "plural"
      ]
    }
  ],
  "hypernyms": [
    {
      "sense_index": "1",
      "word": "Entscheidungsproblem"
    }
  ],
  "hyphenation": "Wort·pro·b·lem",
  "lang": "Deutsch",
  "lang_code": "de",
  "pos": "noun",
  "senses": [
    {
      "examples": [
        {
          "author": "Renate Winter",
          "isbn": "3-486-25808-7",
          "pages": "149",
          "place": "Wien",
          "publisher": "Oldenbourg",
          "ref": "Renate Winter: Theoretische Informatik. Grundlagen mit Übungsaufgaben und Lösungen. Oldenbourg, Wien 2002, ISBN 3-486-25808-7, Seite 149 (Online-Version)",
          "text": "„Das Wortproblem für endliche Automaten ist in Linearzeit entscheidbar.“",
          "title": "Theoretische Informatik",
          "title_complement": "Grundlagen mit Übungsaufgaben und Lösungen",
          "url": "Online-Version",
          "year": "2002"
        },
        {
          "author": "Rolf Socher",
          "edition": "3., aktualisierte und erweiterte",
          "isbn": "978-3-446-41260-6",
          "pages": "73",
          "place": "München",
          "publisher": "Carl Hanser",
          "ref": "Rolf Socher: Theoretische Grundlagen der Informatik. 3., aktualisierte und erweiterte Auflage. Carl Hanser, München 2008, ISBN 978-3-446-41260-6, Seite 73 (Online-Version)",
          "text": "„Eine Sprache, deren Wortproblem nicht entscheidbar ist, scheidet somit als Programmiersprache sofort aus, denn für sie kann es keinen Compiler geben.“",
          "title": "Theoretische Grundlagen der Informatik",
          "url": "Online-Version",
          "year": "2008"
        },
        {
          "edition": "3.",
          "editor": "Kai-Uwe Carstensen et al.",
          "isbn": "978-3-8274-2023-7",
          "pages": "91",
          "place": "Heidelberg",
          "publisher": "Spektrum Akademischer Verlag",
          "ref": "Kai-Uwe Carstensen et al. (Herausgeber): Computerlinguistik und Sprachtechnologie. Eine Einführung. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg 2010, ISBN 978-3-8274-2023-7, Seite 91 (Online-Version)",
          "text": "„Aus computerlinguistischer Sicht sind die Entscheidbarkeitseigenschaften des Wortproblems besonders interessant.“",
          "title": "Computerlinguistik und Sprachtechnologie",
          "title_complement": "Eine Einführung",
          "url": "Online-Version",
          "year": "2010"
        },
        {
          "author": "Hans Werner Lang",
          "edition": "3.",
          "isbn": "978-3-486-71406-7",
          "pages": "268",
          "place": "München",
          "publisher": "Oldenbourg",
          "ref": "Hans Werner Lang: Algorithmen in Java. 3. Auflage. Oldenbourg, München 2012, ISBN 978-3-486-71406-7, Seite 268 (Online-Version)",
          "text": "„Durch eine geeignete Codierung lässt sich ein Entscheidungsproblem in ein Wortproblem umwandeln.“",
          "title": "Algorithmen in Java",
          "url": "Online-Version",
          "year": "2012"
        }
      ],
      "glosses": [
        "die Frage, ob ein gegebenes Wort zu einer formalen Sprache gehört"
      ],
      "id": "de-Wortproblem-de-noun-qlkBrx9W",
      "sense_index": "1",
      "topics": [
        "computing"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "ˈvɔʁtpʁoˌbleːm"
    },
    {
      "audio": "De-Wortproblem.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/44/De-Wortproblem.ogg/De-Wortproblem.ogg.mp3",
      "ogg_url": "https://commons.wikimedia.org/wiki/Special:FilePath/De-Wortproblem.ogg"
    },
    {
      "rhymes": "ɔʁtpʁobleːm"
    }
  ],
  "tags": [
    "neuter"
  ],
  "word": "Wortproblem"
}

{
  "categories": [
    "Anagramm sortiert (Deutsch)",
    "Deutsch",
    "Einträge mit Endreim (Deutsch)",
    "Grundformeintrag (Deutsch)",
    "Roter Audiolink",
    "Rückläufige Wörterliste (Deutsch)",
    "Rückläufige Wörterliste Grundformeintrag (Deutsch)",
    "Substantiv (Deutsch)",
    "Substantiv n (Deutsch)",
    "Wiktionary:Audio-Datei",
    "siehe auch"
  ],
  "etymology_text": "Determinativkompositum aus den Substantiven Wort und Problem",
  "forms": [
    {
      "form": "das Wortproblem",
      "tags": [
        "nominative",
        "singular"
      ]
    },
    {
      "form": "die Wortprobleme",
      "tags": [
        "nominative",
        "plural"
      ]
    },
    {
      "form": "des Wortproblems",
      "tags": [
        "genitive",
        "singular"
      ]
    },
    {
      "form": "der Wortprobleme",
      "tags": [
        "genitive",
        "plural"
      ]
    },
    {
      "form": "dem Wortproblem",
      "tags": [
        "dative",
        "singular"
      ]
    },
    {
      "form": "den Wortproblemen",
      "tags": [
        "dative",
        "plural"
      ]
    },
    {
      "form": "das Wortproblem",
      "tags": [
        "accusative",
        "singular"
      ]
    },
    {
      "form": "die Wortprobleme",
      "tags": [
        "accusative",
        "plural"
      ]
    }
  ],
  "hypernyms": [
    {
      "sense_index": "1",
      "word": "Entscheidungsproblem"
    }
  ],
  "hyphenation": "Wort·pro·b·lem",
  "lang": "Deutsch",
  "lang_code": "de",
  "pos": "noun",
  "senses": [
    {
      "examples": [
        {
          "author": "Renate Winter",
          "isbn": "3-486-25808-7",
          "pages": "149",
          "place": "Wien",
          "publisher": "Oldenbourg",
          "ref": "Renate Winter: Theoretische Informatik. Grundlagen mit Übungsaufgaben und Lösungen. Oldenbourg, Wien 2002, ISBN 3-486-25808-7, Seite 149 (Online-Version)",
          "text": "„Das Wortproblem für endliche Automaten ist in Linearzeit entscheidbar.“",
          "title": "Theoretische Informatik",
          "title_complement": "Grundlagen mit Übungsaufgaben und Lösungen",
          "url": "Online-Version",
          "year": "2002"
        },
        {
          "author": "Rolf Socher",
          "edition": "3., aktualisierte und erweiterte",
          "isbn": "978-3-446-41260-6",
          "pages": "73",
          "place": "München",
          "publisher": "Carl Hanser",
          "ref": "Rolf Socher: Theoretische Grundlagen der Informatik. 3., aktualisierte und erweiterte Auflage. Carl Hanser, München 2008, ISBN 978-3-446-41260-6, Seite 73 (Online-Version)",
          "text": "„Eine Sprache, deren Wortproblem nicht entscheidbar ist, scheidet somit als Programmiersprache sofort aus, denn für sie kann es keinen Compiler geben.“",
          "title": "Theoretische Grundlagen der Informatik",
          "url": "Online-Version",
          "year": "2008"
        },
        {
          "edition": "3.",
          "editor": "Kai-Uwe Carstensen et al.",
          "isbn": "978-3-8274-2023-7",
          "pages": "91",
          "place": "Heidelberg",
          "publisher": "Spektrum Akademischer Verlag",
          "ref": "Kai-Uwe Carstensen et al. (Herausgeber): Computerlinguistik und Sprachtechnologie. Eine Einführung. 3. Auflage. Spektrum Akademischer Verlag, Heidelberg 2010, ISBN 978-3-8274-2023-7, Seite 91 (Online-Version)",
          "text": "„Aus computerlinguistischer Sicht sind die Entscheidbarkeitseigenschaften des Wortproblems besonders interessant.“",
          "title": "Computerlinguistik und Sprachtechnologie",
          "title_complement": "Eine Einführung",
          "url": "Online-Version",
          "year": "2010"
        },
        {
          "author": "Hans Werner Lang",
          "edition": "3.",
          "isbn": "978-3-486-71406-7",
          "pages": "268",
          "place": "München",
          "publisher": "Oldenbourg",
          "ref": "Hans Werner Lang: Algorithmen in Java. 3. Auflage. Oldenbourg, München 2012, ISBN 978-3-486-71406-7, Seite 268 (Online-Version)",
          "text": "„Durch eine geeignete Codierung lässt sich ein Entscheidungsproblem in ein Wortproblem umwandeln.“",
          "title": "Algorithmen in Java",
          "url": "Online-Version",
          "year": "2012"
        }
      ],
      "glosses": [
        "die Frage, ob ein gegebenes Wort zu einer formalen Sprache gehört"
      ],
      "sense_index": "1",
      "topics": [
        "computing"
      ]
    }
  ],
  "sounds": [
    {
      "ipa": "ˈvɔʁtpʁoˌbleːm"
    },
    {
      "audio": "De-Wortproblem.ogg",
      "mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/4/44/De-Wortproblem.ogg/De-Wortproblem.ogg.mp3",
      "ogg_url": "https://commons.wikimedia.org/wiki/Special:FilePath/De-Wortproblem.ogg"
    },
    {
      "rhymes": "ɔʁtpʁobleːm"
    }
  ],
  "tags": [
    "neuter"
  ],
  "word": "Wortproblem"
}