<http://dbpedia.org/resource/Tseitin_transformation>	<http://dbpedia.org/ontology/wikiPageID>	"48528658"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Tseitin_transformation>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"690194397"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Tseitin_transformation>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Tseitin_transformation?oldid=690194397&ns=0> .
<http://dbpedia.org/resource/Tseitin_transformation>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:R_from_move> .
<http://dbpedia.org/resource/Tseitin_transformation>	<http://dbpedia.org/ontology/wikiPageRedirects>	<http://dbpedia.org/resource/Tseytin_transformation> .
<http://dbpedia.org/resource/Tseitin_transformation>	<http://dbpedia.org/ontology/wikiPageLength>	"52"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://dbpedia.org/resource/Tseitin_transformation>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Tseytin_transformation> .
<http://dbpedia.org/resource/Tseitin_transformation>	<http://www.w3.org/2000/01/rdf-schema#label>	"Tseitin transformation"@en .
<http://dbpedia.org/resource/Tseitin_transformation>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://en.wikipedia.org/wiki/Tseitin_transformation> .