schlüsse ziehen
91Typinferenz nach Hindley-Milner — Hindley Milner (HM) ist ein klassisches Verfahren der Typinferenz mit parametrischem Polymorphismus für den Lambda Kalkül. Es wurde erstmals von J. Roger Hindley[1] beschrieben und später von Robin Milner[2] wiederentdeckt. Luis Damas trug eine… …
92Cybertracker — Dieser Artikel wurde aufgrund von inhaltlichen Mängeln auf der Qualitätssicherungsseite der Redaktion Informatik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Informatik auf ein akzeptables Niveau zu bringen. Hilf… …
93French-American Mid-Ocean Undersea Study — (abgekürzt FAMOUS, französisch amerikanische Mittelatlantik Unterseestudie) war die Bezeichnung für ein 1971 begonnenes Forschungsvorhaben, in dessen Verlauf es 1973/74 zu Tauchfahrten zum Mittelatlantischen Rücken kam, wobei neue Erkenntnisse… …
94OPERA-Neutrino-Anomalie — Zeitmessung der CNGS Neutrinos durch OPERA Die OPERA Neutrino Anomalie bezieht sich auf möglicherweise überlichtschnelle Neutrinos, deren Messung von der OPERA Gruppe von CERN im September bzw. November 2011 präsentiert wurde. Dies sorgte für… …
95St. Benedikt (Herbern) — Die Kirche St. Benedikt ist die Pfarrkirche der katholischen Gemeinde in Herbern. Ihr heutiges Aussehen stammt aus dem 17. Jahrhundert. Die Pfarrkirche ist eine nachgotische Hallenkirche mit den Maßen von 16 m Breite für das Kirchenschiff… …
96Sprache — Sprechvermögen; Ausdrucksform * * * Spra|che [ ʃpra:xə], die; , n: 1. <ohne Plural> das Sprechen; die Fähigkeit zu sprechen: durch den Schock verlor er die Sprache; die Sprache wiederfinden. 2. System von Zeichen und Lauten, das von… …
97minoische Religion: Weibliche Gottheiten — Die Vielzahl von Darstellungen weiblicher Gottheiten auf Kreta weist auf eine zentrale Rolle des Weiblichen in der minoischen Religion hin. Eindeutige Aussagen fallen jedoch schwer, da die zahlreichen Bilddenkmäler von Gottheiten und… …
98entnehmen — 1. fortnehmen, herausnehmen, herausziehen, wegnehmen; (ugs.): herausangeln, herausfischen, rausnehmen. 2. ableiten, ersehen, folgern, herauslesen, herleiten, schließen, Schlüsse ziehen. * * * entnehmen:⇨herausnehmen(1) I… …
99messerscharf — denken: logische, schnelle, Schlüsse ziehen; literarisch bei Christian Morgenstern (1871 1914) im Gedicht: ›Die unmögliche Tatsache‹:{{ppd}} {{ppd}} Weil, so schließt er messerscharf,{{ppd}} nicht sein kann, was nicht sein darf …
100Stoppel(n) — Das Stoppel abgrasen: seinen Acker ausmergeln, Raubbau treiben, eigentlich sein Stoppelfeld nach der Ernte noch von den Schafen abgrasen lassen. Die Wendung ist auf allgemeine Anstrengung und schädliche Ausbeutung und Ausnutzung des Letzten… …
