About: Kleene–Rosser paradox

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://plato.stanford.edu/entries/paradoxes-contemporary-logic/%23IncCerForLog
dbo:wikiPageWikiLink	dbr:Mathematics dbr:Formal_logic dbr:Alonzo_Church dbr:Combinatory_logic dbr:Haskell_Curry dbr:Annals_of_Mathematics dbr:Curry's_paradox dbr:Lambda_calculus dbr:Richard's_paradox dbr:List_of_paradoxes dbc:Mathematical_paradoxes dbc:Lambda_calculus dbc:Self-referential_paradoxes dbr:Stephen_Kleene dbr:Inconsistent dbr:J._B._Rosser
dbp:wikiPageUsesTemplate	dbt:Mathlogic-stub dbt:Paradoxes dbt:Cite_journal dbt:Short_description
dct:subject	dbc:Mathematical_paradoxes dbc:Lambda_calculus dbc:Self-referential_paradoxes
gold:hypernym	dbr:Paradox
rdfs:label	Kleene–Rosser paradox (en) Παράδοξο Κλέινι–Ρόσερ (el) 클레이니-로서 역설 (ko) Paradoxo Kleene-Rosser (pt) Парадокс Клини — Россера (ru)
owl:sameAs	freebase:Kleene–Rosser paradox wikidata:Kleene–Rosser paradox dbpedia-pt:Kleene–Rosser paradox dbpedia-ru:Kleene–Rosser paradox dbpedia-el:Kleene–Rosser paradox dbpedia-ko:Kleene–Rosser paradox dbpedia-fa:Kleene–Rosser paradox dbpedia-global:Kleene–Rosser paradox
prov:wasDerivedFrom	wikipedia-en:Kleene–Rosser_paradox?oldid=1136515418&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Kleene–Rosser_paradox
is dbo:knownFor of	dbr:J._Barkley_Rosser dbr:Stephen_Cole_Kleene
is dbo:wikiPageRedirects of	dbr:Kleene-Rosser_paradox
is dbo:wikiPageWikiLink of	dbr:Recursion_(computer_science) dbr:Russell's_paradox dbr:Type_theory dbr:Haskell_Curry dbr:Curry's_paradox dbr:J._Barkley_Rosser dbr:Lambda_calculus dbr:Stephen_Cole_Kleene dbr:Richard's_paradox dbr:Sterling_Hall_bombing dbr:Deductive_lambda_calculus dbr:Kleene-Rosser_paradox
is dbp:knownFor of	dbr:J._Barkley_Rosser
is foaf:primaryTopic of	wikipedia-en:Kleene–Rosser_paradox