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:
isa:447894341
Sponge
Permalink
An Entity of Type :
prov:Entity
, within Data Space :
webisa.webdatacommons.org
associated with source
dataset(s)
Type:
prov:Entity
New Facets Session with This Class
Attributes
Values
rdf:type
prov:Entity
prov:value
In any case, I now seem to see that it is quite correct to say that the statements which are proposed as axioms for arithmetic need pass no special test since they are all among the statements already known to say true things about the numbers.
prov:wasQuotedFrom
sorites.org
is
prov:wasDerivedFrom
of
isap:150800613
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