About: http://webisa.webdatacommons.org/287074931

Property	Value
http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/ns/prov#Entity
http://www.w3.org/ns/prov#value	Starting from basic propositional logic, the class will develop the background in automatic proving and system analysis, including ground and free variable tableau procedures for first-order logic.
http://www.w3.org/ns/prov#wasQuotedFrom	cmu.edu