<?xml version='1.0'  encoding="UTF-8" ?>
<rdf:RDF xmlns:cc="http://web.resource.org/cc/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
	<cc:Work rdf:about="http://knowino.org/wiki/Bibliography:Proof_assistant">
		<dc:title>Proof assistant</dc:title>
		<dc:publisher rdf:resource="http://knowino.org/wiki/Knowino:About" />
		<dc:language>en</dc:language>
		<dc:type>Text</dc:type>
		<dc:format>text/html</dc:format>
		<dc:identifier>http://knowino.org/wiki/Bibliography:Proof_assistant</dc:identifier>
		<dc:date>2010-12-18</dc:date>
		<dc:creator>Boris Tsirelson</dc:creator>
		<dc:rights rdf:resource="http://creativecommons.org/licenses/by-sa/3.0" />
		<cc:license rdf:resource="http://creativecommons.org/licenses/by-sa/3.0" />
	</cc:Work>
</rdf:RDF>