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:
Theorems
Sponge
Permalink
An Entity of Type :
owl:Thing
, within Data Space :
134.155.108.49:8890
associated with source
dataset(s)
Attributes
Values
rdfs:label
Theorems
dbkwik:googology/p...iPageUsesTemplate
dbkwik:resource/bMH48dYn9mGWnYXei4j-mQ==
is
dcterms:subject
of
Friedman's finite ordered tree problem
Strong Law of Small Numbers
Goodstein sequence
Block subsequence theorem
Frivolous Theorem
Bird's Proof
Friedman's circle theorem
Friedman's vector reduction problem
Friedman's finite trees
TREE sequence
Law of Truly Large Numbers
Knuth Arrow Theorem
Subcubic graph 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