Searches , social queries for SPASS
Search references for SPASS. Phrases containing SPASS
See searches and references containing SPASS!
Search references for SPASS. Phrases containing SPASS
See searches and references containing SPASS!SPASS
SPASS is an automated theorem prover for first-order logic with equality developed at the Max Planck Institute for Computer Science and using the superposition
SPASS
Village in Vologda Oblast, Russia
Spass (Russian: Спасс) is a rural locality (a village) in Markovskoye Rural Settlement, Vologodsky District, Vologda Oblast, Russia. The population was
Spass
1787 composition by W. A. Mozart
A Musical Joke (German: Ein musikalischer Spaß, lit. 'A Musical Fun') K. 522, (divertimento for two horns in F, and string quartet) is a composition by
A_Musical_Joke
Part of the 1960s German student protest movement
The Spaßguerilla or Spaßgerilja (lit. 'fun guerrilla') was a grouping within the student protest movement of the 1960s in Germany that agitated for social
Spaßguerilla
2003 studio album by Tanzwut
Ihr wolltet Spass (German for "You wanted fun") is the third full-length studio album by the German industrial rock/medieval metal band Tanzwut. It was
Ihr_wolltet_Spass
German television presenter
evening show Verstehen Sie Spaß?, the German equivalent of Candid Camera. Elstner presented his final episode of Verstehen Sie Spaß? on 21 November 2009. Until
Frank_Elstner
1970 film
Did a Nice Girl Like You Get Into This Business? (German: Mir hat es immer Spaß gemacht (also: Wie kommt ein so reizendes Mädchen zu diesem Gewerbe?) and
How Did a Nice Girl Like You Get Into This Business?
How_Did_a_Nice_Girl_Like_You_Get_Into_This_Business?
1983 German film
Gib Gas – Ich will Spass (German for "Step on the gas – I want fun") is a 1983 film which helped to launch the career of the German pop singer Nena, although
Gib_Gas_–_Ich_will_Spass
German Schlager singer, actor, and entertainer
hit albums. His music career peaked in 1972 with the song "Ein bisschen Spass muss sein" (A little fun is a must) and "Der Puppenspieler von Mexiko" (The
Roberto_Blanco
German television presenter
Since 2010 he has been presenting the German television show Verstehen Sie Spaß?. He lives with his family in Cologne. 2000–2011: Karnevalissimo 2001: Unter
Guido_Cantz
German actor (born 1976)
as Ulf Steinke in the TV series Stromberg. Queitsch, Tilman (10 March 2011). ""Spaß ist nicht mein Ding"". sueddeutsche.de. Oliver Wnuk at IMDb v t e
Oliver_Wnuk
British actress (b.1992)
UK Tour TBA Three Sisters Masha Philip Weaver East 15 TBA The House of Spass (Brecht) Cabaret Dancer / Ensemble Philip Weaver East 15 TBA Hamlet Gertrude
Olivia_Swann
Type of artificial intelligence approach
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Blackboard_system
Professional basketball team in Ulm, Germany
approximately 6,000 spectators. The mascot of the team is a rabbit named Spass ("fun"), who somewhat resembles Bugs Bunny. The main sponsor of the team
Ratiopharm_Ulm
Type of knowledge base
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Knowledge_graph
Inference engine in an expert system
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Forward_chaining
Artificial intelligence project
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Open_Mind_Common_Sense
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
State-space_planning
German footballer (born 2006)
Roland (11 February 2025). "Großes Spiel für Ahrensbökerin: „Habt einfach Spaß!"". HL Sports (in German). Retrieved 6 June 2026. "HSV verliert Ausnahmetalent
Lisa_Baum
Computer program that uses a knowledge base and reasoning to solve problems
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Knowledge-based_systems
german Quelle mail-order store sold them under their own name as "Zeit & Spaß" (literally "Time & Fun"). "Vtech Handheld games". www.handheldmuseum.com
List of VTech handheld electronic games
List_of_VTech_handheld_electronic_games
German scientist (born 1978)
University Campus für Fresh-Millionaires, N-TV Deluxe Deluxe – Alles was Spaß macht, 11.9 September 2015 Innovator invests into Croatia, Vecernji List
Chris_Tomic
German singer (1961–2023)
(Otre-Media), the hits "Ohne Zweifel" (2004), and "Lass mir doch mal meinen Spass" (2005) in Germany. In May 2022, Patty was diagnosed with lung cancer. Patty
Patty_Ryan
Untouchables (1987)[citation needed] Wolfgang Amadeus Mozart Ein musikalischer Spass Sergei Prokofiev Lieutenant Kijé Suite (mov. V, "The Burial of Kijé")[citation
List_of_polytonal_pieces
German rapper (born 1997)
lebt nur einmal ich Scheiß jetzt auf alles und mach einfach das was mir Spaß macht.“ [“I've always loved listening to rap and partying, freestyling with
Ikkimel
German Medieval metal band
halls as far away from their home country as Mexico. Since Ihr wolltet Spass, the band gravitated towards a more industrial metal approach, incorporating
Tanzwut
Method in artificial intelligence
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Argumentation_framework
Appearance of wet clothing
com. Trend Hunter. November 24, 2008. Retrieved April 4, 2013. "Nass mit Spaß in Lünen". www.wetfans-luenen.de. Radöli. Retrieved April 6, 2013. "16. Beach
Wetlook
Italian actor (born 1941)
subtitled) "Dass Franco Nero in diesem Film mitspielt, macht wirklich großen Spaß – schade nur, dass nach seinen Auftritten noch so viel Film übrig ist." Baumgarten
Franco_Nero
American hidden camera reality television series (1948–2014)
d'une caméra. A German variant of Candid Camera, known as Verstehen Sie Spaß?, was begun in 1980 and continues to air as of 2025. A wave of other American
Candid_Camera
2005 studio album by Corvus Corax
project) used the poems "Fautue" and "Caupona" in their album Ihr Wolltet Spass. The Cantus Buranus CD was released August 8, 2005 by Roadrunner Records
Cantus_Buranus
Type of software system
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Reasoning_system
German punk band
period. In 1983 Vorkriegsjugend released a double 7" record and an LP Heute Spaß, morgen Tod on Weird System Records. Only 900 records were pressed. In 1982/83
Vorkriegsjugend
German singer (born 1960)
Nena has also acted in the 1983 musical comedy film Gib Gas – Ich will Spass (released in the US as Hangin' Out) opposite fellow musician Markus Mörl [de]
Nena
Program that generates ASCII pictures of a cow with a message
Language; Network World. networkworld.com. Retrieved 21 September 2023. c't Spaß mit Technik (2018): Einfache Computerprojekte zum Selbermachen. p. 120. c't-Redaktion;
Cowsay
Swiss television presenter and entertainer
Surprise. Felix and his wife, singer Paola Del Medico, hosted Verstehen Sie Spaß?, a Candid Camera-style show, for the German TV station ARD between 1981
Kurt Felix (television presenter)
Kurt_Felix_(television_presenter)
German children's television program
that. Closing verse (when he leaves): Kinder, liebe Kinder, das hat mir Spaß gemacht. Nun schnell ins Bett und schlaft recht schön. Dann will auch ich
Sandmännchen
American actor and director (born 1938)
Stillwell 1965 The Incredible Sex Revolution Harold Morton 1970 Mir hat es immer Spaß gemacht Gino 1975 The Other Side of the Mountain Lee Zadroga 1976 Survive
Hampton_Fancher
Ontology language
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
F-logic
2014 video game
Cormac Developer Ubisoft Sofia Publisher Ubisoft Directors Mikhail Lozanov Spass Kroushkov Martin Capel Producer Ivan Balabanov Designer Martin Capel Artist
Assassin's_Creed_Rogue
American actress and comedian (1922–2009)
Hollingsworth Episodes: "Seems Like Old Times" (Parts 1 & 2) Verstehen Sie Spaß? The 1992 Pacific Center HIV-AIDS Benefit 1993 The 7th Annual American Comedy
Bea_Arthur
Methods for developing expert systems
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Knowledge_engineering
2018 board game
so einfach zu erlernen sei, dass es sogar seiner eigenen Schwiegermutter Spaß machen würde" Law, Keith (August 13, 2018). "The Best Games at Gen Con 2018"
Just_One_(board_game)
Men's lifestyle magazine (1985–2016)
genießen Laura Laura Wohnen Kreativ Lecker Lissy Mach mal Pause Maxi Mehr Spass Mein Hund & Ich Mein Lieblingsrezept Mein TV & Ich Meine Melodie Meins Mini
FHM
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Deductive_classifier
Field of artificial intelligence
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Knowledge representation and reasoning
Knowledge_representation_and_reasoning
German footballer (born 2005)
2025. p. 15. Retrieved 11 June 2025. "Wagner über Krattenmacher: "Macht Spaß, ein solches Toptalent zu trainieren"". kicker. "Transfermarkt: 1. FC Köln
Maurice_Krattenmacher
River in Germany
Sachsen-Anhalt in die Elbe – die Saale ist ein Fluss, der alles verbindet. Und jedem Spaß macht: dem Sportler, dem Kulturfreund, dem Faulenzer. In: stern Nr. 26 (22
Saale
Tool for building expert systems
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
CLIPS
Information repository with multiple applications
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Knowledge_base
Ontology language
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
CycL
Uninflected words used in colloquial spoken German
explicit by a phrase with aber ("but"): Ich war schon auf der Party, aber Spaß hatte ich nicht. ("I was indeed at the party, but I did not enjoy myself
German_modal_particles
Contactless RFID smart card system
Bangladesh: Rapid Pass, a multipurpose payment card for public transport. SPASS card, Bangladesh Road Transport Corporation, Dhaka, Bangladesh. Indonesia:
FeliCa
German singer (born 1980)
Connor in 2002 at Verstehen Sie Spaß?
Sarah_Connor_(singer)
American retired model, actress and singer
Did a Nice Girl Like You Get Into This Business? (a.k.a. Mir hat es immer Spaß gemacht) (1970, West Germany) The Great American Beauty Contest (1973, TV
Barbi_Benton
Luxembourgish television series
Partners, Characters". Upcoming Season. 9 July 2022. Retrieved 4 August 2022. "Spâss an Iérscht. Liddercher a Gedichten" [Fun and Fun. Songs and Poems]. autorenlexikon
Capitani_(TV_series)
Form of automated planning and scheduling
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Preference-based_planning
Method of forming inferences
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Backward_chaining
1965 book by Barney Glaser
ein Stück Leiden damit verbunden. Deshalb muss es auf der anderen Seite Spaß machen". Anselm Strauss interviewed by Heiner Legewie and Barbara Schervier-Legewie
Awareness_of_Dying
Austrian environmentalist and politician
2017-03-20. Retrieved 2020-05-30. Metzger, Ida (2019-09-03). "Schmidauer entdeckt Spaß an First-Lady-Rolle". Kurier. Archived from the original on 2019-09-03. Retrieved
Doris_Schmidauer
Computer system emulating human expert
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Expert_system
2021 tactical shooter game by CI Games
2021. Penzhorn, Sascha (7 June 2021). "Test: Sniper Contracts 2 macht mehr Spaß, wenn ihr mehr dafür bezahlt". GameStar. Retrieved 7 June 2021. "Sniper:
Sniper Ghost Warrior Contracts 2
Sniper_Ghost_Warrior_Contracts_2
Inference method used in AI expert systems
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Model-based_reasoning
2011 German TV series or program
television under the motto "Fernsehen macht blöd, aber auch unglaublich viel Spaß!" (TV makes you stupid, but also is incredibly much fun!) The show was discontinued
Walulis_sieht_fern
Radio show
genießen Laura Laura Wohnen Kreativ Lecker Lissy Mach mal Pause Maxi Mehr Spass Mein Hund & Ich Mein Lieblingsrezept Mein TV & Ich Meine Melodie Meins Mini
Scotland's_Hot_20
German filmmaker (1941–2022)
Retrieved 17 August 2022. "Trauer um Michael Ballhaus: "Er hat mir den Spaß am Filmen zurückgegeben"". FAZ.NET (in German). 1 January 1970. Archived
Wolfgang_Petersen
Motor vehicle
Sturgis". thedrive.com. SPS (2019-02-01). "Vanderhall expandiert nach Europa: Spaß auf drei Rädern". Focus Online. Thomas Harloff (2019-10-10). "Vanderhall
Vanderhall_Venice
Overview of television comedy in Germany
from the studios more and more; the Candid Camera-style show Verstehen Sie Spaß appeared, which is still running, in the original format, today. Unlike other
German_television_comedy
American actor
Ivy Tower" 1969-74 Room 222 Mr. Dragen 18 episodes 1970 Mir hat es immer Spaß gemacht Ward Collins 1970 Pieces of Dreams Father Paul Schaeffer 1970 Ironside
Ivor_Francis
Topic in automated planning
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Partial-order_planning
British music magazine and online publication
genießen Laura Laura Wohnen Kreativ Lecker Lissy Mach mal Pause Maxi Mehr Spass Mein Hund & Ich Mein Lieblingsrezept Mein TV & Ich Meine Melodie Meins Mini
Q_(magazine)
German playwright and poet (1898–1956)
collected edition of Brecht's works. Röhl, Bettina (2018). So macht Kommunismus Spaß: Ulrike Meinhof, Klaus Rainer Röhl und die Akte Konkret. Wilhelm Heyne Verlag
Bertolt_Brecht
Knowledge base to enhance search results
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Knowledge_Graph_(Google)
1996 novel by David Foster Wallace
Infinite Jest has been translated: Blumenbach, Ulrich (2009). Unendlicher Spaß (in German). Köln: Kiepenheuer & Witsch. ISBN 978-3-462-04112-5. In 2010
Infinite_Jest
German footballer (born 1992)
Lokalkompass. 11 April 2017. Presseabteilung, MSV Duisburg- (10 July 2023). "MSV verlängert mit Freutel: "Spaß am Fußball wiedergefunden"". MSV Duisburg. v t e
Sarah_Freutel
Light-weight convertible sports car
Manuel Lehbrink (2021-11-04). "Hurtan Grand Albaycin Cabrio Heritage (2021) im Test: Retro-Spaß". de.motor1.com. Retrieved 2022-01-17. Official website
Hurtan_Grand_Albaycín
NA, PAL • Hello Kitty: C'est la Fête! FR • Hello Kitty: Der Große Party-Spaß DE • Hello Kitty: Feliz Fiesta de Amigos ES • Hello Kitty: Happy Party IT
List of Game Boy Advance games
List_of_Game_Boy_Advance_games
Olympiapark München GmbH, Events, Konzerte, Sport, Gesundheit, Wellness, Spaß, Action, Fitness, Tennis, Wassersport, Walking, Kondition, Entspannung, Vereinssport
List of track and field stadiums by capacity
List_of_track_and_field_stadiums_by_capacity
German actor, comedian and television presenter
when Schmidt started hosting the popular Saturday night show Verstehen Sie Spaß? (a variation of Candid Camera). Schmidt was awarded Germany's most important
Harald_Schmidt
British monthly film magazine
genießen Laura Laura Wohnen Kreativ Lecker Lissy Mach mal Pause Maxi Mehr Spass Mein Hund & Ich Mein Lieblingsrezept Mein TV & Ich Meine Melodie Meins Mini
Empire_(magazine)
Subfield of computer science and logic
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Automated_reasoning
Scottish comic book writer and playwright (born 1960)
of cosmic horror, it stars a monstrous Hollywood screenwriter named Ray Spass in his attempts to finish the script for the next tentpole blockbuster,
Grant_Morrison
Process of solving new problems based on the solutions of similar past problems
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Case-based_reasoning
American sociologist (1916–1996)
ein Stück Leiden damit verbunden. Deshalb muss es auf der anderen Seite Spaß machen". Anselm Strauss interviewed by Heiner Legewie and Barbara Schervier-Legewie
Anselm_Strauss
German actor and comedian
his role in Nonstop Nonsens) 1996: Telestar (Best Host in "Verstehen Sie Spaß?") 2003: Deutscher Comedypreis (Honorary Award) 2005: Bayerischer Kabarettpreis
Dieter_Hallervorden
April 2021, retrieved 2023-08-13 Toyota GR Yaris im sport auto Supertest: Spaß auf der Nordschleife?| auto motor und sport, 11 April 2021, retrieved 2023-08-13
List of Nürburgring Nordschleife lap times
List_of_Nürburgring_Nordschleife_lap_times
German multimedia conglomerate
genießen Laura Laura Wohnen Kreativ Lecker Lissy Mach mal Pause Maxi Mehr Spass Mein Hund & Ich Mein Lieblingsrezept Mein TV & Ich Meine Melodie Meins Mini
Bauer_Media_Group
2021 video game
Matthias (December 26, 2021). "WRC 10 im Test: Warum das Anti-Forza so viel Spaß macht" [WRC 10 Review: Why the Anti-Forza is so much fun]. GameStar (in German)
WRC_10
German actor (born 1955)
Richard Siebert Das Boot (1981), as 2nd Lieutenant - 2WO Gib Gas – Ich will Spass (1983), as Andy Eckelmann (voice, uncredited) The Old Fox - Von Mord war
Martin_Semmelrogge
Slovak radio station
genießen Laura Laura Wohnen Kreativ Lecker Lissy Mach mal Pause Maxi Mehr Spass Mein Hund & Ich Mein Lieblingsrezept Mein TV & Ich Meine Melodie Meins Mini
Rádio_Expres
Single-board computer developed for educational usage
BBC micro:bit Raspberry Pi Arduino Open Roberta "Calliope mini: Weil coden Spaß macht". "Founding contract of Calliope gGmbH" (PDF). Archived from the original
Calliope_mini
Higher-order logic (HOL) automated theorem prover
CVC4) and resolution-based automated theorem provers (ATPs), including E, SPASS, and Vampire (the Metis proof method reconstructs resolution proofs generated
Isabelle_(proof_assistant)
Radio station in England
genießen Laura Laura Wohnen Kreativ Lecker Lissy Mach mal Pause Maxi Mehr Spass Mein Hund & Ich Mein Lieblingsrezept Mein TV & Ich Meine Melodie Meins Mini
Minster_FM
Dutch theatrical producer
Germany (Ich war noch niemals in New York, Der Schuh des Manitu, Ich will Spass!) and the Netherlands (3 Musketiers, Ciske, Petticoat, Hij Gelooft in Mij)
Joop_van_den_Ende
German band
played in Fiddler's Green, which is alluded to in the song "Arschloch und Spaß dabei" ('Asshole and enjoying it'): "man sagt sogar, dass Wolfram früher
JBO_(band)
2022 video game
Penzhorn, Sascha (29 January 2022). "Das neue Serious Sam macht im Test Spaß - bis die Technik zickt" [The new Serious Sam is fun in the test - until
Serious_Sam:_Siberian_Mayhem
26 July 2 August "Ich will Spaß" Markus 9 August "Maid of Orleans (The Waltz Joan of Arc)" † OMD 16 August "Ich will Spaß" Markus 23 August "Adiós Amor"
List of number-one hits of 1982 (Germany)
List_of_number-one_hits_of_1982_(Germany)
German rapper and singer
"Grün-weiße Liebe" 2021 – "Intro" 2021 – "Eule" (featuring Marteria) 2021 – "Spass" (featuring Denyo) 2021 – "Kinginmeimding" (featuring Summer Cem) 2022 –
Jan_Delay
German public-service television channel
(co-production with ORF and SRF), hosted by Jörg Pilawa (2015–present) Verstehen Sie Spaß? [de] (SDR/SWR), hosted by Guido Cantz (1980–2021) ARD-Morgenmagazin (WDR)
Das_Erste
Approach to handling inferred information
Legal expert systems Theorem provers CARINE E Nqthm Otter Paradox Prover9 SPASS TPS Z3 Logic programs Prolog Datalog ASP Constraint solvers Constraint Handling
Reason_maintenance
travel, tourism, insurance
SPASS
SPASS
SPASS
SPASS
SPASS
SPASS
SPASS
SPASS
SPASS
travel, tourism, insurance