@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000045beadb> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns3:	<http://en.wikipedia.org/wiki/> .
dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems	foaf:page	ns3:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems	dbpprop:reference	<http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems	rdfs:label	"On Formally Undecidable Propositions of Principia Mathematica and Related Systems"@en ;
	dbpprop:abstract	"\u00DCber formal unentscheidbare S\u00E4tze der Principia Mathematica und verwandter Systeme I (\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems I\") is a paper in mathematical logic by Kurt G\u00F6del. Dated November 17, 1930, it was originally published in German in the 1931 volume of Monatshefte f\u00FCr Mathematik. Several English translations have appeared in print, and the paper has been included in two collections of classic mathematical logic papers. The paper is famous for the theorems it contains, which have many implications for consistency proofs in mathematics, and for the techniques that G\u00F6del invented to prove these theorems."@en ;
	rdfs:comment	"\u00DCber formal unentscheidbare S\u00E4tze der Principia Mathematica und verwandter Systeme I (\"On Formally Undecidable Propositions of Principia Mathematica and Related Systems I\") is a paper in mathematical logic by Kurt G\u00F6del. Dated November 17, 1930, it was originally published in German in the 1931 volume of Monatshefte f\u00FCr Mathematik. Several English translations have appeared in print, and the paper has been included in two collections of classic mathematical logic papers."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns7:	<http://dbpedia.org/resource/Category:> .
dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems	skos:subject	ns7:Mathematics_papers ,
		ns7:Mathematical_logic ,
		ns7:Cognitive_science_literature ,
		<http://dbpedia.org/resource/Category:1931_works> ,
		<http://dbpedia.org/resource/Category:1931_in_science> .
@prefix ns8:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems	dbpprop:hasPhotoCollection	ns8:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems .
dbpedia:On_formally_undecidable_propositions_of_principia_mathematica_and_related_systems	dbpprop:redirect	dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems .
dbpedia:On_Formally_Undecidable_Propositions_in_Principia_Mathematica_and_Related_Systems_I	dbpprop:redirect	dbpedia:On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems .