Multiple modus ponens
http://dbpedia.org/resource/Multiple_modus_ponens
rdf:langString
Multiple modus ponens
xsd:integer
7748295
xsd:integer
85350815
xsd:nonNegativeInteger
26