WikicatLogicalExpressions

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

Property	Value
rdfs:subClassOf	yago:Expression104679738
owl:equivalentClass	yago-res:wikicat_Logical_expressions
owl:sameAs	yago:WikicatLogicalExpressions
is rdf:type of	dbr:Propositional_formula dbr:Universal_quantification dbr:Cornish–Fisher_expansion dbr:Polish_notation dbr:Propositional_function dbr:Well-formed_formula dbr:Atomic_formula dbr:Tautology_(logic) dbr:Theory_(mathematical_logic) dbr:Ground_expression dbr:Rule_of_inference dbr:Sequent dbr:Expression_(mathematics) dbr:Rule_of_replacement dbr:Open_sentence dbr:T-schema

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License