awgldk
/
wikidata
/
Login
Register
TriplyDB
Wikidata
Browser
Table
SPARQL
Graphs
1
1
Services
1
1
Assets
0
0
Insights
Schema
BETA
Class frequency
Class hierarchy
Q57382547-5FC5886F-830A-440A-B5FD-7EB93EAE1CD4
Q57382547-5FC5886F-830A-440A-B5FD-7EB93EAE1CD4
BestRank
Statement
http://www.wikidata.org/entity/statement/Q57382547-5FC5886F-830A-440A-B5FD-7EB93EAE1CD4
A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS
P50
Q57382547-5FC5886F-830A-440A-B5FD-7EB93EAE1CD4
BestRank
Statement
http://www.wikidata.org/entity/statement/Q57382547-5FC5886F-830A-440A-B5FD-7EB93EAE1CD4
rank
NormalRank
type
BestRank
Statement
P1545
1
http://www.w3.org/2001/XMLSchema#string
P1932
LAWRENCE C. PAULSON
http://www.w3.org/2001/XMLSchema#string
P50
Lawrence Paulson