@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix wikipedia-en:	<http://en.wikipedia.org/wiki/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
wikipedia-en:Frege_system	foaf:primaryTopic	dbr:Frege_system .
@prefix dbo:	<http://dbpedia.org/ontology/> .
dbr:Propositional_proof_system	dbo:wikiPageWikiLink	dbr:Frege_system .
dbr:Proof_complexity	dbo:wikiPageWikiLink	dbr:Frege_system .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Frege_system	owl:sameAs	<http://rdf.freebase.com/ns/m.0cc5yt0> ,
		dbr:Frege_system .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
dbr:Frege_system	owl:sameAs	wikidata:Q5501318 ,
		<https://global.dbpedia.org/id/4jpx3> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbr:Frege_system	rdfs:label	"Frege system"@en .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
dbr:Frege_system	dct:subject	dbc:Logic_in_computer_science ,
		dbc:Gottlob_Frege ,
		dbc:Propositional_calculus ;
	foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/Proofstrength.png> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
dbr:Frege_system	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/Frege_system?oldid=1292404312&ns=0> ;
	dbo:wikiPageWikiLink	dbr:Sequent_calculus ,
		<http://dbpedia.org/resource/Frege\u0027s_propositional_calculus> ,
		<http://dbpedia.org/resource/Clause_(logic)> ,
		dbr:Proof_theory ,
		<http://dbpedia.org/resource/Resolution_(logic)> ,
		dbr:Soundness ,
		dbr:Proof_complexity ,
		dbr:Natural_deduction ,
		dbr:Propositional_calculus ,
		dbr:Inference_rules ,
		dbr:Propositional_proof_system ,
		dbr:Boolean_circuit ,
		dbr:Bounded_arithmetic ,
		dbc:Logic_in_computer_science ,
		dbc:Propositional_calculus ,
		dbr:Sequence ,
		dbr:Hilbert_system ,
		<http://dbpedia.org/resource/Substitution_(logic)> ,
		dbr:Gottlob_Frege ,
		dbr:Functional_completeness ,
		dbr:Propositional_formula ,
		dbr:Pigeonhole_principle ;
	dbo:description	"propositional proof system"@en ;
	dbo:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/Proofstrength.png?width=300> .
@prefix dbp:	<http://dbpedia.org/property/> .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
dbr:Frege_system	dbp:wikiPageUsesTemplate	dbt:Citation_needed ,
		dbt:Short_description .
@prefix gold:	<http://purl.org/linguistics/gold/> .
dbr:Frege_system	gold:hypernym	dbr:System ;
	foaf:isPrimaryTopicOf	wikipedia-en:Frege_system .
dbr:Toniann_Pitassi	dbo:wikiPageWikiLink	dbr:Frege_system .
dbr:Frege_proof_system	dbo:wikiPageWikiLink	dbr:Frege_system ;
	dbo:wikiPageRedirects	dbr:Frege_system .
dbr:Gottlob_Frege	dbo:wikiPageWikiLink	dbr:Frege_system .
dbr:Bounded_arithmetic	dbo:wikiPageWikiLink	dbr:Frege_system .
<http://dbpedia.org/resource/Haj\u00F3s_construction>	dbo:wikiPageWikiLink	dbr:Frege_system .