Loading...
The system can't perform the operation now. Try again later.
My profile
My library
Metrics
Alerts
Settings
Get journal articles
View article
Get journal articles
Arthur Thomas
FOL: A proof checker for first-order logic
Authors
Richard W Weyhrauch, Arthur J Thomas
Publication date
1974
Publisher
Computer Science Department, Stanford University
Total citations
Cited by 24
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
1
1
4
1
1
1
1
2
1
1
Scholar articles
FOL: A proof checker for first-order logic
RW Weyhrauch, AJ Thomas - 1974
Cited by 24
Related articles
Privacy
Terms
Help
About Scholar
Search help