Person:287328

Available identifiers

zbMath Open bibel.wolfgangDBLPb/WBibelWikidataQ92897 ScholiaQ92897MaRDI QIDQ287328

List of research outcomes

Publication	Date of Publication	Type
Reminiscences of Kurt Schütte	2021-12-03	Paper
From Schütte’s Formal Systems to Modern Automated Deduction	2021-12-03	Paper
Learning from Łukasiewicz and Meredith: investigations into proof structures	2021-12-01	Paper
KoMeT	2020-01-21	Paper
A vision for automated deduction rooted in the connection method	2018-02-02	Paper
In memory of Mark Stickel	2016-05-26	Paper
Mind the Divide Surrounding Knowledge Representation	2015-02-04	Paper
Specifying and Verifying Organizational Security Properties in First-Order Logic	2010-11-22	Paper
Transition Logic Revisited	2008-11-13	Paper
Mechanizing Mathematical Reasoning	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4470527	2004-07-01	Paper
IeanCOP: lean connection-based theorem proving	2003-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4411522	2003-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4524786	2001-07-29	Paper
https://portal.mardi4nfdi.de/entity/Q4264713	1999-10-07	Paper
Let's plan it deductively!	1999-01-12	Paper
Reduction of cycle unification of type \(Cpg+r\)	1998-04-20	Paper
Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution	1998-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q3134856	1993-09-20	Paper
https://portal.mardi4nfdi.de/entity/Q4692618	1993-06-05	Paper
Short proofs of the pigeonhole formulas based on the connection method	1990-01-01	Paper
Constraint satisfaction from a deductive viewpoint	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3833651	1988-01-01	Paper
A deductive solution for plan generation	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3732939	1986-01-01	Paper
A bibliography on parallel inference machines	1985-01-01	Paper
Automated inferencing	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3217641	1984-01-01	Paper
Matings in matrices	1983-01-01	Paper
A comparative study of several proof procedures	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3667967	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3945616	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3954845	1982-01-01	Paper
On Matrices with Connections	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3917511	1980-01-01	Paper
Tautology testing with a generalized matrix reduction method	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184327	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4144784	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4131707	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4103198	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4069801	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4072826	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4088305	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122842	1975-01-01	Paper
An approach to a systematic theorem proving procedure in first-order logic	1974-01-01	Paper
Schnittelimination in einem Teilsystem der einfachen Typenlogik	1969-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: Wolfgang Bibel