About: Laver table

In mathematics, Laver tables (named after mathematician Richard Laver, who discovered them towards the end of the 1980s in connection with his works on set theory) are tables of numbers that have certain properties.

Property	Value
dbpprop:abstract	In mathematics, Laver tables (named after mathematician Richard Laver, who discovered them towards the end of the 1980s in connection with his works on set theory) are tables of numbers that have certain properties.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Laver_table
dbpprop:reference	http://arxiv.org/abs/math.LO/9204204 http://arxiv.org/abs/math.LO/9205202 http://knot.kaist.ac.kr/2004/proceedings/DEHORNOY.pdf
rdf:type	http://dbpedia.org/class/yago/Combinatorics
rdfs:comment	In mathematics, Laver tables (named after mathematician Richard Laver, who discovered them towards the end of the 1980s in connection with his works on set theory) are tables of numbers that have certain properties.
rdfs:label	Laver table
owl:sameAs	freebase:Laver table
skos:subject	dbpedia:Category:Combinatorics dbpedia:Category:Mathematical_logic
foaf:page	http://en.wikipedia.org/wiki/Laver_table
is owl:sameAs of	yago:Laver table