Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
None
About:
dbkwik:resource/7cBS1V3uWaVowycFZIqhOg==
Sponge
Permalink
An Entity of Type :
owl:Thing
, within Data Space :
134.155.108.49:8890
associated with source
dataset(s)
Attributes
Values
dbkwik:googology/p...iPageUsesTemplate
dbkwik:resource/1FJ--w3X5258nl2BJYdfyg==
dbkwik:resource/5x1APRTUfgPa2xblbNO-SQ==
Transcendental integer
Finite promise games
Friedman's finite ordered tree problem
Block subsequence theorem
Beklemishev's worms
Greedy clique sequence
Fusible number
Laver table
Friedman's circle theorem
Friedman's vector reduction problem
Friedman's finite trees
Exploding Tree Function
Factorial
TREE sequence
Kirby-Paris hydra
Subcubic graph number
Buchholz hydra
Graham's Number
Folkman's number
Mythical tree problem
Alternative Linked Data Views:
ODE
Raw Data in:
CXML
|
CSV
| RDF (
N-Triples
N3/Turtle
JSON
XML
) | OData (
Atom
JSON
) | Microdata (
JSON
HTML
) |
JSON-LD
About
OpenLink Virtuoso
version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software