Multiple modus ponens

http://dbpedia.org/resource/Multiple_modus_ponens

rdf:langString Multiple modus ponens
xsd:integer 7748295
xsd:integer 85350815
xsd:nonNegativeInteger 26

data from the linked data cloud