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:Q959513-2b9330a7-9ffa-497f-885f-8ce6efe60c5a
Goto
Sponge
NotDistinct
Permalink
An Entity of Type :
wikibase:Statement
, within Data Space :
wikidata.demo.openlinksw.com
associated with source
document(s)
Type:
BestRank
Statement
New Facet based on Instances of this Class
Attributes
Values
rdf:type
BestRank
Statement
publication date
2019-12-06 00:00:00Z
(
xsd:dateTime
)
publication date
wdv:7a15a24ee9905effdbfa9b59b57b4e94
prov:wasDerivedFrom
wdref:629127420afb79ee27fbe7d895393c9b9943d008
rank
PreferredRank
software version identifier
6.5.2
download URL
https://github.com/nimble-code/Spin/archive/version-6.5.2.zip
is
software version identifier
of
SPIN model checker
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, 190 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software