First Order Logic
http://dbpedia.org/resource/First_Order_Logic
rdf:langString
First Order Logic
xsd:integer
710411
xsd:integer
16524566
xsd:nonNegativeInteger
31