_:b19117798	<http://schema.org/name>	"Lispish (not verified)" .
_:b19117798	<http://www.w3.org/2007/05/powder-s#describedby>	<http://dev.restore.ovi.cnr.it:8890/about/id/https/scienceblogs.com/goodmath/2006/07/17/a-brief-diversion-sequent-calc> .
_:b19117798	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://schema.org/Person> .