Laver tree

http://dbpedia.org/resource/Laver_tree

rdf:langString Laver tree
xsd:integer 15582811
xsd:integer 964128042
xsd:nonNegativeInteger 152
<http://dbpedia.org/resource/Category:Trees_(set_theory)>
<http://dbpedia.org/resource/List_of_forcing_notions>
<http://dbpedia.org/resource/Category:Trees_(set_theory)>
<http://dbpedia.org/resource/List_of_forcing_notions>
<http://dbpedia.org/resource/Template:R_to_list_entry>
<http://dbpedia.org/resource/Template:R_to_section>
<http://dbpedia.org/resource/Template:Redirect_category_shell>
<http://en.wikipedia.org/wiki/Laver_tree?oldid=964128042&ns=0>
<http://en.wikipedia.org/wiki/Laver_tree>

data from the linked data cloud