<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageLength>	"478"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"16310583"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageWikiLinkText>	"Heytingova algebra"@cs .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://www.w3.org/2000/01/rdf-schema#label>	"Heytingova algebra"@cs .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://cs.wikipedia.org/wiki/Heytingova_algebra?oldid=16310583> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Tertium_non_datur> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageOutDegree>	"4"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Kategorie:Logika> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://purl.org/dc/terms/subject>	<http://cs.dbpedia.org/resource/Kategorie:Logika> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Modus_ponens> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://cs.wikipedia.org/wiki/Heytingova_algebra> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://cs.dbpedia.org/resource/Intuicionistick\u00E1_logika> .
<http://cs.dbpedia.org/resource/Heytingova_algebra>	<http://dbpedia.org/ontology/wikiPageID>	"1401663"^^<http://www.w3.org/2001/XMLSchema#integer> .