Method of analytic tableaux

Property	Value
rdf:type	Method of proof owl:NamedIndividual
rdfs:label	Method of analytic tableaux
owl:sameAs	dbr:Method_of_analytic_tableaux
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Automated_theorem_proving http://en.wikipedia.org/wiki/Category:Methods_of_proof
skos:prefLabel	Method of analytic tableaux
skos:altLabel	tableaux Tableaux analytic tableau method of analytic tableaux method of semantic tableaux proof-trees semantic tableaux tableau calculi tableau method tableaux method tableaux prover truth trees
is clgo:notableIdea of	Richard Jeffrey

About: clgr:Method_of_analytic_tableaux