Automated theorem proving

Harald Ganzinger

Harald Ganzinger (31 October 1950, Werneck – 3 June 2004, Saarbrücken) was a German computer scientist who together with developed the superposition calculus, which is (as of 2007) used in most of the state-of-the-art automated theorem provers for first-order logic. He received his Ph.D. from the Technical University of Munich in 1978. Before 1991 he was a Professor of Computer Science at University of Dortmund. Then he joined the Max Planck Institute for Computer Science in Saarbrücken shortly after it was founded in 1991. Until 2004 he was the Director of the Programming Logics department of the Max Planck Institute for Computer Science and honorary professor at Saarland University. His research group created the SPASS automated theorem prover. He received the Herbrand Award in 2004 (posthumous) for his important contributions to automated theorem proving. (Wikipedia).

Video thumbnail

Wissenschaftsfreiheit – Prof. Ulrich Becker – 70 Jahre Grundgesetz

Prof. Dr. Ulrich Becker, Direktor am Max-Planck-Institut für Sozialrecht und Sozialpolitik, erläuterte im Forum „70 Jahre Grundgesetz: Wissenschaftsfreiheit in Gefahr?“ die Regelung der Wissenschaftsfreiheit im Grundgesetz, historische und europäische Hintergründe, ging aber auch auf poten

From playlist Videos auf Deutsch

Video thumbnail

Der Nürnberger Prozess - Das Urteil (2/9) / Hauptkriegsverbrecher-Prozess

Plädoyer, Robert Jackson, Beweismaterial, der historische Text der Schande und Verderbtheit der 20. Jahrhunderts, Joachim von Ribbentrop, Wilhelm Keitel, Wehrmacht, Ernst Kaltenbrunner, Großinquisitor, Terror, Gefügigkeit, Alfred Rosenberg, Vernichtung des Judentums, Julius Streicher, obsz

From playlist Der Nürnberger Prozess - Das Urteil

Video thumbnail

Hitler and the Hohenzollerns - The Kaiser's Family & the Nazis

During the Nazi period, the former Imperial Family of Kaiser Wilhelm II maintained a strange relationship with Hitler, hoping that he would re-instate one of them to the post of Emperor. Dr. Mark Felton FRHistS, FRSA, is a well-known British historian, the author of 22 non-fiction books

From playlist Hitler Various Subjects

Video thumbnail

Hitler - The Road to Revenge

Portraits of Power - Hitler - The Road to Revenge Narrated by Henry Fonda Adolf Hitler (20 April 1889 -- 30 April 1945) was an Austrian-born German politician and the leader of the Nazi Party (German: Nationalsozialistische Deutsche Arbeiterpartei (NSDAP); National Socialist German Worker

From playlist Portraits of Power - Those who shaped the Twentieth Century

Video thumbnail

Der Nürnberger Prozess - Das Urteil (4/9) / Hauptkriegsverbrecher-Prozess

Wolfram Heinrich Friedrich Sievers, Geschäftsführer der nationalsozialistischen Forschungsgemeinschaft Deutsches Ahnenerbe, Anatomisches Institut, Reichsuniversität Straßburg, Skelettsammlung, Anklage für den Generalstab und der deutschen Wehrmacht, Telford Taylor, Kommissarbefehl, politis

From playlist Der Nürnberger Prozess - Das Urteil

Video thumbnail

Der Nürnberger Prozess - Die Verteidigung (7/8) / Hauptkriegsverbrecher-Prozess

Generaloberst, Alfred Jodl, Luise Jodl, Hilfsverteidigerin, Prof. Dr. Franz Exner, Wehrmachtsführungsstab, Feldmarschall, Wilhelm Keitel, Wilhelm Bodewin Johann Gustav Keitel, Befehlshaber, Arbeitspflichtgesetz, Arthur Seyß-Inquart, Reichskommissar, Zwangsarbeit, Judenverfolgung, Deportati

From playlist Der Nürnberger Prozess - Die Verteidigung

Video thumbnail

Norwegian Monarchs Family Tree

Buy the chart: https://usefulcharts.com/products/european-royal-family-tree-north-east Danish Monarchs Family Tree: https://youtu.be/zkEjcl21n8I Swedish Monarchs Family Tree: https://youtu.be/wlRafgsG5ms CREDITS: Chart: Matt Baker Script/Narration: @JackRackam Intro animation: @AlMuqa

From playlist Royal Family Trees

Video thumbnail

Ten Minute History - The Viking Age (Short Documentary)

Twitter: https://twitter.com/Tenminhistory Patreon: https://www.patreon.com/user?u=4973164 Merch: https://teespring.com/stores/ten-minute-historys-store Frolicking Caption was provided by FuzzytheFair. Special Thanks to the following Patrons for their support on Patreon: Franco La Bruna

From playlist Ten Minute World History

Video thumbnail

Harald Juhnke - letztes großes Interview vor Erkrankung (1998)

Das Interview wurde 1998 anlässlich des 50. Bühnenjubiläum von Harald Juhnke im Rahmen der Dreharbeiten der CHRONOS-MEDIA/Juhnke-Entertainment ARD-Dokumentation „Bühne auf! Applaus“ produziert. In der Dokumentation waren nur Auszüge zu sehen. Hier ist nun erstmals das ganze Interview zu se

From playlist Interview-Rohmaterial aus unserem Archiv

Video thumbnail

Harald Fairhair Ravages the Western Isles // Extract from an Old Norse Saga - Heimskringla

This is an extract from Heimskringla, arguably the most important of the norse sagas. Written in Old Norse in the early 13th Century by Icelandic poet and historian Snorri Sturluson. History Time is now a podcast. You can find us on iTunes. Become a patron for as little as a dollar a mo

From playlist Vikings

Video thumbnail

Finding Hitler's Forgotten Office

In Munich, Hitler's personal office still exists. In this video, I try and gain access to the infamous office where the 1938 Munich Agreement was signed by Hitler, Neville Chamberlain and Eduard Daladier, the treaty that set Europe on the path to another world war. Dr. Mark Felton FRHistS

From playlist Hitler Various Subjects

Video thumbnail

HIS120 - The OE Period

This E-Lecture discusses the period of Old English with its main phases: from the arrival of the Anglo-Saxons, via the constant invasions of the Vikings up to a detailed account of what happend in 1066. Thus, the E-Lecture is more or less socio-culturally oriented, rather than linguistic.

From playlist VLC203 - The History of English

Video thumbnail

Karen Uhlenbeck receives the Abel Prize from H.M. King Harald of Norway

This clip is from the 2019 Abel Prize Award Ceremony. The Chair of the Abel Committee, Hans Munthe-Kaas asks Karen Uhlenbeck and His Majesty King Harald V of Norway to come forth. Karen Uhlenbeck receives the Abel Prize from His Majesty King Harald V of Norway. Thumbnail photo credit: E

From playlist Karen K. Uhlenbeck

Video thumbnail

Ten Minute English and British History #07 - The Late Anglo-Saxons and King Cnut

Twitter: https://twitter.com/Tenminhistory Patreon: https://www.patreon.com/user?u=4973164 This episode covers the reign of Æthelred the Unready and the many problems he faced, most notably the Vikings. The reign of Cnut and his many achievements and his legacy alongside those of his two

From playlist English and British History

Video thumbnail

The Settlement of Iceland // Book of the Icelanders (1122-1133) // Primary Source

This is an extract from 'The Book of the Icelanders', written during the early Twelfth Century. How do we actually know about history? Voices of the Past is a channel dedicated to recreating the original accounts from the people who lived through events, or who lived far closer to them th

From playlist Vikings

Video thumbnail

Der Nürnberger Prozess - Die Verteidigung (6/8) / Hauptkriegsverbrecher-Prozess

assassination of hitler, Ermordung von Hitler, Robert H. Jackson, Hjalmar Schacht, Karl Dönitz, Planung und Durchführung von Angriffskriegen, Verbrechen gegen das Kriegsrecht, Reichskriegsmarine, U-Boot-Waffe, Großadmiral, Oberbefehlshaber der Kriegsmarine, Korvettenkapitän Otto Kranzbühle

From playlist Der Nürnberger Prozess - Die Verteidigung

Video thumbnail

Vikings: Queen Lagertha Receives News | Season 5 Premieres Nov. 29 | History

King Harald (Peter Franzén) returns to Kattegat to bring good news to Queen Lagertha (Katheryn Winnick) but can she trust what he says? HISTORY’s hit drama series “Vikings” returns on Wednesday, November 29 at 9 PM ET/PT with a two-hour season five premiere. Season five begins with Ivar th

From playlist Vikings: Season 5 - Official Playlist | History

Related pages

Automated theorem proving | Herbrand Award | Superposition calculus | First-order logic