Facets (new session)
Description
Metadata
Settings
owl:sameAs
Inference Rule:
asEquivalent
b3s
b3sifp
facets
ldp
oplweb
skos-trans
virtrdf-label
virtrdf-url
None
About:
wds:Q85816952-dd5ec528-46c8-f5b9-2ab0-aa6a0889bae1
Goto
Sponge
Distinct
Permalink
An Entity of Type :
wikibase:Statement
, within Data Space :
wikidata.demo.openlinksw.com
associated with source
document(s)
Type:
Statement
New Facet based on Instances of this Class
Attributes
Values
rdf:type
Statement
publication date
2021-12-23 00:00:00Z
(
xsd:dateTime
)
publication date
wdv:6cf26b7561f29c93583e9070b280b036
prov:wasDerivedFrom
wdref:2824c1bdb440f9e790fb191ce16f549298e15aa6
rank
NormalRank
software version identifier
4.8.14
is
software version identifier
of
Z3 Theorem Prover
Faceted Search & Find service v1.16.117 as of May 05 2024
Alternative Linked Data Documents:
ODE
Content Formats:
RDF
ODATA
Microdata
About
OpenLink Virtuoso
version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 195 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software