wikimedia
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q55886422-EB6FA334-7962-47B2-85A4-28632DD45B7C
Q55886422-EB6FA334-7962-47B2-85A4-28632DD45B7C
BestRank
Statement
http://www.wikidata.org/entity/statement/Q55886422-EB6FA334-7962-47B2-85A4-28632DD45B7C
An informal exposition of proofs of Gödel's theorems and Church's theorem
P2860
Q55886422-EB6FA334-7962-47B2-85A4-28632DD45B7C
BestRank
Statement
http://www.wikidata.org/entity/statement/Q55886422-EB6FA334-7962-47B2-85A4-28632DD45B7C
rank
NormalRank
type
BestRank
Statement
wasDerivedFrom
56b9a9791056f10b12b9fb5a35489898f92c03bc
P2860
General recursive functions of natural numbers