Contact and support
Need help, have a question, or want to contact the ResearchHub team?
© 2026 ResearchHub. Built for responsible scholarly connection.
Privacy-aware community infrastructureResearch graph
References from Automated Natural Deduction in Thinker. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/bf00243811
10.1007/bf00243811 · 1991 · External reference
Unresolved reference
1990 · External reference
10.1007/978-3-642-81952-0_6
10.1007/978-3-642-81952-0_6 · External reference
10.1016/0004-3702(71)90004-x
10.1016/0004-3702(71)90004-x · 1971 · External reference
10.1016/0004-3702(77)90012-1
10.1016/0004-3702(77)90012-1 · 1977 · External reference
Unresolved reference
External reference
Unresolved reference
1993 · External reference
Unresolved reference
1994 · External reference
10.2307/2272366
10.2307/2272366 · External reference
Unresolved reference
1964 · External reference
Unresolved reference
1980 · External reference
10.1023/a:1005749401809
10.1023/a:1005749401809 · 1997 · External reference
10.1007/978-3-642-81952-0_4
10.1007/978-3-642-81952-0_4 · External reference
Unresolved reference
External reference
10.1007/bf02432151
10.1007/bf02432151 · 1986 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1007/bf01058393
10.1007/bf01058393 · External reference
Unresolved reference
1986 · External reference
Unresolved reference
1992 · External reference
10.1016/0004-3702(92)90103-5
10.1016/0004-3702(92)90103-5 · 1992 · External reference
Unresolved reference
External reference
Unresolved reference
1994 · External reference
10.1007/978-3-642-81952-0_13
10.1007/978-3-642-81952-0_13 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
Unresolved reference
1992 · External reference
10.1007/978-3-642-81952-0
10.1007/978-3-642-81952-0 · External reference
10.1007/978-3-642-86718-7
10.1007/978-3-642-86718-7 · External reference
Unresolved reference
External reference
10.1007/978-3-642-81952-0_15
10.1007/978-3-642-81952-0_15 · External reference
Unresolved reference
External reference
