Hans Jürgen Ohlbach

Available identifiers

zbMath Open ohlbach.hans-jurgenMaRDI QIDQ1097715

List of research outcomes

Publication	Date of Publication	Type
SCAN—Elimination of predicate quantifiers	2019-01-15	Paper
Design Patterns für mathematische Beweise	2017-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q3012538	2011-07-06	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2006-07-07	Paper
https://portal.mardi4nfdi.de/entity/Q4781247	2002-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q2751373	2002-09-16	Paper
The Possibility of Generating True Conjectures	2002-06-23	Paper
Functional translation and second-order frame properties of modal logics	2001-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q2702596	2001-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4946227	2000-12-26	Paper
https://portal.mardi4nfdi.de/entity/Q4952317	2000-05-09	Paper
Calendar Logic	2000-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4268478	1999-10-28	Paper
Modal logics, description logics and arithmetic reasoning	1999-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4249899	1999-06-17	Paper
Elimination of self-resolving clauses	1998-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q5688814	1997-11-05	Paper
https://portal.mardi4nfdi.de/entity/Q4877443	1997-03-31	Paper
A multi-dimensional terminological knowledge representation language	1996-03-06	Paper
A note on assumptions about Skolem functions	1995-12-20	Paper
Towards automating duality	1995-02-02	Paper
Translation Methods for Non-Classical Logics: An Overview	1994-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q4282526	1994-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4012252	1992-09-27	Paper
Reduction rules for resolution-based systems	1992-06-28	Paper
Semantics-Based Translation Methods for Modal Logics	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3791114	1988-01-01	Paper
Link inheritance in abstract clause graphs	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3750139	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753517	1986-01-01	Paper
Problem corner: The Lion and the Unicorn	1985-01-01	Paper
Problem corner: Predicate logic hacker tricks	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3338217	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3326884	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hans Jürgen Ohlbach