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:454086960
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
On the other hand, ML provides just enough types to structure the AST's and basic datatypes for modeling environments, values and such, but without the complexities of the monadic types.
prov:wasQuotedFrom
lambda-the-ultimate.org
is
prov:wasDerivedFrom
of
isap:240006543
isap:172050704
isap:204111372
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