Entscheidungsproblem

== English == === Etymology === Unadapted borrowing from German Entscheidungsproblem. === Pronunciation === IPA(key): /ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/ (dated RP) IPA(key): /entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/ === Noun === Entscheidungsproblem (mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system. ==== Hypernyms ==== problem === Further reading === Entscheidungsproblem on Wikipedia.Wikipedia == German == === Etymology === From Entscheidung +‎ -s- +‎ Problem. === Pronunciation === IPA(key): /ɛntˈʃaɪ̯dʊŋspʁoˌbleːm/ Hyphenation: Ent‧schei‧dungs‧prob‧lem === Noun === Entscheidungsproblem n (strong, genitive Entscheidungsproblems, plural Entscheidungsprobleme) (mathematics, logic) Entscheidungsproblem ==== Declension ==== ==== Hypernyms ==== Problem ==== Descendants ==== → English: Entscheidungsproblem === Further reading === “Entscheidungsproblem” in Digitales Wörterbuch der deutschen Sprache “Entscheidungsproblem” in Uni Leipzig: Wortschatz-Lexikon entscheidbar on the German Wikipedia.Wikipedia de