Sentential formula
http://dbpedia.org/resource/Sentential_formula
rdf:langString
Sentential formula
xsd:integer
1557638
xsd:integer
17238306
xsd:nonNegativeInteger
35